真值表公式分类命题定律代入置换.pptVIP

等价公式 定义：设A和B是两个命题公式，设P1,P2, …,Pn为所有出现于A和B中的命题变元, 若给P1,P2, …,Pn任一组真值指派, A和B的真值都是相同的，则称A和B是等价的，或逻辑相等，记作A?B，读作A等价B，称A?B为等价式。 若公式A和B的真值表是相同的，则A和B等价。因此，验证两公式是否等价，只需做出它们的真值表即可。 第23页，共39页，编辑于2022年，星期五 ?和?的区别与联系 区别：?是逻辑联结词，属于目标语言中的符号，它出现在命题公式中；?不是逻辑联结词，属于元语言中的符号，表示两个命题公式的一种关系，不属于这两个公式的任何一个公式中的符号。 联系： 定理： A ? B当且仅当A?B是永真式。 第24页，共39页，编辑于2022年，星期五 等价公式的性质 ① 自反性，即对任意公式A，有A ? A。 ② 对称性，即对任意公式A和B，若A ? B，则B ? A。 ③ 传递性，即对任意公式A、B和C，若A ? B、B ? C，则A ? C。 第25页，共39页，编辑于2022年，星期五 基本等价式——命题定律 在判定公式间是否等价，有一些简单而又经常使用的等价式，称为基本等价式或称命题定律。牢固地记住它并能熟练运用，是学好数理逻辑的关键之一。 第26页，共39页，编辑于2022年，星期五 (1)双否定：??A?A。 (2)交换