slide 4：命题逻辑：有效的推理

著名的有效推理

肯定前件 Modus ponens

如果 ，则 ；且 为真，故 为真。

否定后件 Modus tollens

如果 ，则 。非 。所以，非 。

常见的逻辑运算定律

运算律	示例 1	示例 2
交换律
结合律
分配律
德摩根
吸收律
条件句

逻辑等价

当 且 ，则 与 等价。

当 与 等价，则它们俩的真值表的每一行都一模一样。即对于任何估值函数 ，有 。