本文概述
- 重言式
- 矛盾
- 偶然性
示例：证明（p?q）?（?q??p）是重言式。
解决方案：制作上述语句的真值表：
| p | q | p→q | ~q | ~p | ~q?～p | (p→q)?( ~q?~p) |
| T | T | T | F | F | T | T |
| T | F | F | T | F | F | T |
| F | T | T | F | T | T | T |
| F | F | T | T | T | T | T |
矛盾【重言式与矛盾】始终为假的陈述被称为矛盾。
示例：证明语句p∧p是矛盾的。
解：
| p | ～p | p ∧～p |
| T | F | F |
| F | T | F |
偶然性根据其变量的真值, 可以为真或为假的语句称为偶然性。
| p | q | p→q | p∧q | （p→q）?（p∧q） |
| T | T | T | T | T |
| T | F | F | F | T |
| F | T | T | F | F |
| F | F | T | F | F |
