Per ardua ad astra.

명제 현실 세계를 간략하고 정확하게 판별하도록 표현한 문장 수학적 논리를 구성하는 가장 기본적인 단위 명제는 누구나 객관적으로 참(T)과 거짓(F)을 구분할 수 있어야 한다. 진릿값(Truth Value) 참(True : T)이나 거짓(False : F)을 가리키는 값 명제(Proposition) 객관적인 기준으로 진릿값을 구분할 수 있는 문장이나 수식 일반적으로 명제는 영문 소문자 $p, \;q, \;r, \;\cdots$ 로 표현 명제는 객관적으로 참(T)과 거짓(F)을 구분할 수 있는 문자이어야 한다. 명제가 아닌 예 '짜장면은 맛있다.' 와 같은 문장은 주관적 판단에 따라 답이 달라질 수 있는 문장이다. `x + 1 = 2` 와 같은 식은 미지수 `x` 값에 따라 참(T)과 거짓(F)이 달라질 수..