文章目录 abstract 等值式 等值的判断 真值表法 等值演算法 任意置换命题 重言式和矛盾式的置换性质性质 等值模式 常用等值式模式 等值演算 等值演算置换规则 等值式模式的代入实例 等值演算示例 小结 abstract 命题公式等值演算@常用等值式模式 等值式 表示的是等价式命题:是一个重言式 若有相同的真值表,意味着在任意赋值下都有相同的真值,那么根据等价联结词的为真的定义,复合公式的真值总是真,从而是重言式 反之,若是重言式,根据等价联结词的定义,在任何赋值下都相等,所以有相同的真值表 定义:若两个命题构成的等价式为重言式,则是等...