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

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

証明

P∧Q⇒¬(¬P∨¬Q)に(P⇒Q)⇒(¬Q⇒¬P)を当てはめる

#2024-03-14 15:45:31