二重否定の分配則
¬¬P∧¬¬Q⇒¬¬(P∧Q)
¬¬(P∨Q)⇒¬¬P∨¬¬Q
¬P∧¬Q⇒¬(P∨Q)を使って$ \lnot\lnot(P\lor Q)\implies\lnot(\lnot P\land\lnot Q)までは変形できる
¬(P∧Q)⇒¬P∨¬Qと弱排中律は同値なので、これは直観主義論理では導けない
古典論理で成立して直観主義論理では成立しない定理なのかどうかすら不明takker.icon
2021-11-21 11:20:49 ¬¬(P∨Q)⇒¬¬P∨¬¬Q以外は示せた
以下は¬P∨¬Q⇒¬(P∧Q)と¬(P∨Q)⇒¬P∧¬Qの組み合わせて示す
¬¬P∨¬¬Q⇒¬¬(P∨Q)
¬¬(P∧Q)⇒¬¬P∧¬¬Q
#二重論理否定
#2024-03-14 16:12:11
#2024-01-28 14:09:55
#2021-11-29 11:13:05
#2021-11-21 11:22:11
#2021-11-19 03:59:41