>>748
>>爺さんはP⇒Qの証明にPの証明が要ると思ってるの?
>・Pの証明が要るよね
これは酷い
君、高校数学からやり直した方が良いよ 高校生に笑われるよ
(P⇒Q)⇔(¬P∨Q)⇔¬(P∧¬Q)