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

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

>>102
シーケント計算が先でそこから真理値表が導出されるんだよ
だから何らかの真偽を確認するならシーケント計算をすべきてこと