「なぜ、対偶と元の命題の真偽はするのですか?どう証明するのですか?」について

・元の命題が単純命題の場合
>>15は集合を使った証明

・元の命題が複合命題の場合
>>74(>>71)は真理表、真理値表を用いた証明