명제 논리는 참이나 거짓으로 판단할 수 있는 명제와 논리 연결사의 관계를 다루는 논리 체계이다.
원리
부정·논리곱·논리합·함의 등으로 복합 명제를 구성한다. 명제의 내부 구조보다 각각의 진릿값이 전체 식에 미치는 영향을 살핀다.
예시
p가 비가 온다, q가 우산을 쓴다라면 p→q는 비가 오는데 우산을 쓰지 않는 경우에 거짓이다.
주의할 점
수학적 함의는 일상 언어의 인과관계와 같지 않다. 전제가 거짓일 때의 진릿값과 필요조건·충분조건의 방향을 구별한다.