¬(P∨Q)⇔¬P∧¬Q
古典論理
及び
直観主義論理
で成立する
De Morganの法則
証明
¬(P∨Q)⇒¬P∧¬Q
¬P∧¬Q⇒¬(P∨Q)
#2021-11-18
18:00:25