実習生に、対偶が元の命題と真偽が一致する理由って何ですか?
と尋ねられました。
包含関係が同じだから、と言っても
難しい顔をされたので、
元の命題と対偶は同値変形だという話に変えました。
少ししっくり来た様子。
形は違えど、式変形なのですよ。
極方程式にした方がわかる問題もあれば、xyにした方がわかるものもあります。
どちらにするかはあなたが決めてもいいのですが、選ぶ根拠だけは
伝えられるようにしてほしい!
とまでは言いませんでした。ここは色々悩んで気づくべきところなのです。