常用逻辑等值式(关于0,1) 零律( dominance laws) Av1→1 A^0<→0 同律( dentity laws) Av0<→A A^1→A 《集合论与图论》第1讲
《集合论与图论》第1讲 11 常用逻辑等值式(关于0,1) 零律(dominance laws) A∨1⇔1 A∧0⇔0 同一律(identity laws) A∨0⇔A A∧1⇔A
常用逻辑等值式(关于0,1) 排中律( excluded middle) AvA→1 矛盾律( contradiction) AA→>0 《集合论与图论》第1讲
《集合论与图论》第1讲 12 常用逻辑等值式(关于0,1) 排中律(excluded middle) A∨¬A⇔1 矛盾律(contradiction) A∧¬A⇔0