¬(P∧Q)⇔¬P∨¬Q
古典論理
での
De Morganの法則
の1つ
証明
¬(P∧Q)⇒¬P∨¬Q
¬P∨¬Q⇒¬(P∧Q)
#2021-11-18
17:59:11