(P⇒Q)⇒(¬P∨Q) - くたくたじゅうよん

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

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

証明

(P⇒Q)⇒¬¬(¬P∨Q)に二重否定除去を使う

¬¬(P∨Q)⇒¬¬P∨¬¬Qでは証明できないことに注意

$ \lnot P\lor \lnot\lnot Qまでは示せるが、$ \lnot P\lor Qまでは示せない

#2021-11-29 17:11:32

#2021-11-18 17:46:24

#2021-11-16 15:51:13