왜 "거짓 → 참"과 "거짓 → 거짓" 참일까?
| p | q | p→q |
| T | T | T |
| T | F | F |
| F | T | ? |
| F | F | ? |
일단 여기까지는 이견이 없을 것이다.
남은 칸을 여러가지 방법으로 채워보자.
먼저 두 칸 다 참으로 채워보면
| p | q | p→q |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
이건 문제가 없다.
하나를 참으로 채워보면
| p | q | p→q |
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | F |
이건 그냥 p랑 같다. 굳이 이런 기호 따위를 정의할 필요가 없다.
| p | q | p→q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
이건 p 
q이다. 역시 이런 기호는 필요없다.
마지막으로 둘 다 거짓으로 채우면?
| p | q | p→q |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | F |
이건 p ∧ q다. 역시 기호가 필요없다.
따라서 "거짓 → 참"과 "거짓 → 거짓"은 모두 참으로 정의하는 것이 적당하다.
