第二章 命题逻辑语义
2.1 命题合式公式语义
2.1.1 合式公式语义
我们如何定义一个命题合式公式的语义呢？这里需要引入指派函数。
2.1.2 合式公式语义方法
基本判断（命题）合式公式语义的方法有指派函数法、真值表法、python程序法，最后者考试肯定用不到，中者考试除非强制要求，一般不用，因为工程量太大，第一个常用，可以用来判断一个合式公式的语义（真值），后面学习到推论式和等价式时也可以用来判断一个推论式是否为真，一个等价式是否为真，当然对于等价式，我们有另一种方法——等值演算的方法更加直接简洁地证明。后期学到谓词逻辑合式公式时，指派函数法仍然适用，真值表对于谓词逻辑来说不太适用，因为谓词逻辑的论域（研究对象）多样，其每一个项，个体常元本身是没有真值定义的，只有谓词合式公式存在真值语义，所以对于按命题变元的真值讨论的真值表法，在证明谓词逻辑合式公式的真值情况，推论式和等价式的证明，都不再适用，指派函数仍然适用，因此==需要掌握指派函数法，是通法==。
2.2 推论式与等价式的语义
推论式语义的判断或证明，可以适用指派函数法、真值表法、python程序法，最后者考试不考虑，真值表性价比不高，熟练掌握指派函数法来解决语义判断和证明问题，真值表有些题会针对性考，本身不难，熟练掌握。
对于等价式，除了证明推论式的三种方法都适用外，还可以进行等值演算证明命题逻辑合式公式等价。
2.3 变换合式公式的语义
基本除了对偶式会改变合式公式本身的语法逻辑，其它两种变换变换前后不影响语义判断，换啥按啥算真值。
2.3.1 代换式语义
2.3.2 替换式语义
2.3.3 对偶式语义
2.3.4 变换公式基本定理
2.4 命题公式范式
对于五花八门的命题合式公式，是否有一种统一的规范的式子形式可以将一些语义等价的式子统一起来呢？这就是范式存在的意义。顾名思义，范式也可以用来解决等价式的证明，其本质还是等值演算，只是这种范式为等式演算给了一种明确可行的演算方向，不至于使得等式演算充满技巧性和灵活性。