命题逻辑的应用
自然语言命题的符号化
为什么要将自然语言命题符号化？
自然语言命题转换为逻辑公式的过程也称为自然语言命题的符号化
是将命题逻辑知识（等值演算和推理理论）用于求解应用问题的第一步
- $p→q的逆命题是q→p$
- $p→q的否命题是¬p→¬q$
- $p→q的逆否命题是¬q→¬p$
普通逻辑问题的符号化分析
- 约束某个方案或说某个问题的解的一些条件组合称为规范(specification)
- 对于约束求解问题的计算机软硬件系统的条件称为计算机软硬件系统的规范
- 说规范是一致(consistent)的，如果它对应的逻辑公式是可满足式