なぜ、対偶と元の命題の真偽は一致するのですか？

[0110 １３２人目の素数さん 2023/11/09(木) 08:28:30.79 ID:+KxEy61/]

P ⇒ Qから¬Q ⇒ ¬Pが導出されるのはシーケント計算ですぐ
¬Q ⇒ ¬PからP ⇒ QはNJでは無理（背理法）
つまり真理値表は役に立たないわ