若等价式 式重言式, 则称 与 等值, 记作 , 称为等值式.
基本等值式
双重否定律 幂等律 , 交换律 , 结合律 , 分配律 , 德摩根律 , 吸收律 , 零律 , 同一律 , 排中律 矛盾律 蕴含等值式 等价等值式 假言易位 等价否定等值式 归谬论
指向原始笔记的链接
1分钟阅读
若等价式 A↔B 式重言式, 则称 A 与 B 等值, 记作 A⇔B, 称为等值式.
基本等值式
双重否定律 ¬¬A⇔A 幂等律 A∧A⇔A, A∨A⇔A 交换律 A∧B⇔B∧A, A∨B⇔B∨A 结合律 (A∧B)∧C⇔A∧(B∧C), (A∨B)∨C⇔A∨(B∨C) 分配律 A∧(B∨C)⇔(A∧B)∨(A∧C), A∨(B∧C)⇔(A∨B)∧(A∨C) 德摩根律 ¬(A∨B)⇔¬A∧¬B, ¬(A∧B)⇔¬A∨¬B 吸收律 A∧(A∨B)⇔A, A∨(A∧B)⇔A 零律 A∧0⇔0, A∨1⇔1 同一律 A∧1⇔A, A∨0⇔A 排中律 A∨¬A⇔1 矛盾律 A∧¬A⇔0 蕴含等值式 A→B⇔¬A∨B 等价等值式 A↔B⇔(A→B)∧(B→A) 假言易位 A→B⇔¬B→¬A 等价否定等值式 A↔B⇔¬A↔¬B 归谬论 (A→B)∧(A→¬B)⇔¬A
指向原始笔记的链接