等价式与蕴含式
设和是两个命题公式,若对和的任何相同解释,和总是取得相同的真值,则称命题公式和是逻辑等价(Logically Equivalent)的, 记做.
称为等价式。
""不是联结词。 不是一个公式,它表示两个公式间的逻辑等价关系。
而""是联结词,是一个公式。
当且仅当为真。
可通过真值表来判定逻辑等价关系。
例如:
以下是一些常用的逻辑等价式:
双重否定律 (Double negation law)
等幂律 (Idempotent laws)
结合律 (Associative laws)
交换律 (Commutative laws)
分配律 (Distributive laws)
吸收律 (Absorption laws)
德摩根律 (De Morgan's laws)
同一律 (Identity laws)
零律 (Domination laws)
补余律 (Negation laws)
条件转化律 (Conditionals, Material Implication)
双条件转化律 (Biconditionals, Material Equivalence)
归缪律 (Reductio ad absurdum)
输入输出律(Exportation, Importation)
设为两个命题公式,若为真,即,则称为永真蕴含式, 也称命题公式永真蕴含命题公式, 记作
""不是联结词,""不是公式,它表示公式与之间存在永真蕴含关系。
""是联结词,是一个公式。
当且仅当为真。
以下是一些常用的永真蕴含式:
化简式 (Simplification)
附加式 (Addition)
假言推理 (Modus ponens)
拒取式 (Modus tollens)
析取三段论 (Disjunctive syllogism)
假言三段论 (Hypothetical syllogism)
双条件三段论
构造性二难 (Constructive dilemma)
二难推论 (Disjunction elimination)