명제는 현실 세계를 간략하고 정확하게 판별하도록 표현한 문장이며, 수학적 논리를 구성하는 가장 기본적인 단위이다.
참이나 거짓을 가리키는 값
객관적인 기준으로 진리값을 구분할 수 있는 무장이나 수식
일반 적으로 명제 하나를 단순명제라고 한다.
하나 이상의 명제들이 논리 연산자에 의해 결합된 명제
합성명제를 구성하는 단순명제의 진리값에 따른 논리 연산결과를 나타낸 표
명제 $p$에 대하여 ‘$p$가 아니다’를 의미하고 명제 $p$와 반대의 진릿값을 갖는 연산이다
명제 $p, q$에 대하여, ‘$p$ 그리고 $q$’를 의미하고 명제 $p, q$의 진리값이 모두 참일 때만 결과가 참인 연산이다