命题公式分类
重言式
逻辑等价式与逻辑蕴含式
逻辑等价式的情况下连接的命题真值相等
一些重要的逻辑等价式
逻辑蕴含式
重言式的代入和命题公式的替换原理
证明逻辑等价式与逻辑蕴含式
范式及基本术语
任意文字都是析取子句与合取子句，因此任意文字都是析取范式与合取范式
析取范式是合取子句或者若干个合取子句的析取，也就是说单纯的文字或凡是只有“^"的子句都是析取范式
合取范式是析取子句或者若干个析取子句的合取，也就是说单纯的文字或凡是只有“V"的子句都是合取范式
求范式的一般步骤
主范式
联结词集完备性
推理规则
前提为真那结论一定为真的命题叫做重言式也称永真式
推理举例
标签：逻辑,析取,命题逻辑,合取,子句,析取范式,重言式,形式系统,数理逻辑 From： https://www.cnblogs.com/zaiyewujiang/p/16793274.html