from ¬(P∨Q)⇔¬P∧¬Q

証明

(P⇒R)∧(Q⇒R)⇒(P∨Q⇒R)のRに\botを代入したものと等しい

Related to

ここで言及されている¬¬(¬P∧¬Q)⇒¬(P∨Q)と本論理式は、直観主義論理において同値である

2021-11-19 03:42:35 計算メモ

#2021-12-07 16:43:24

#2021-11-19 03:42:37

#2021-11-18 18:02:10