ニコニコ大百科

命題を
「名詞形」ならば「名詞形」である
の形に直したほうが誤解が少なくなると思う

「たいぐう」なのね……「ついぐう」って読むのかと思ってた

あの文意は「パンツじゃなくてズボンだから恥ずかしくないもん！」であるためそこをくみ取った対偶は「恥ずかしいならズボンじゃないもん！」である

なお「恥ずかしいからパンツだもん！」の対偶は「パンツじゃないなら恥ずかしくないもん！」となる
たった1字違いだがパンツ以外ならどんな衣装だろうと全裸だろうとみじんも恥ずかしがらないド変態だ

「AならばB」と「AだからB」はどっちもA→Bと表しがちだけど論理学で言うところのA→Bは「ならば」の方だけだから気をつけようね

実はフェルマーの最終定理の証明の一部に使用されていたりする
フェルマーの最終定理が成り立たない→谷山=志村予想が成り立たない
ことが証明できたので、その対偶たる
谷山=志村予想が成り立つ→フェルマーの最終定理が成り立つ
が示せた。後年谷山=志村予想が成り立つことを示せたので…

人がなんか言ってるといつもその対偶は何かと考えてしまう