¬P∧¬Q⇒¬(P∨Q)

証明

https://kakeru.app/7dd338a3600d38ec4e511037a815570b https://i.kakeru.app/7dd338a3600d38ec4e511037a815570b.svg

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

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

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

https://kakeru.app/abe77bde55bd778a2e7b5764d0956377 https://i.kakeru.app/abe77bde55bd778a2e7b5764d0956377.svg