実習生に、対偶が元の命題と真偽が一致する理由って何ですか?

と尋ねられました。

 

 

包含関係が同じだから、と言っても

難しい顔をされたので、

 

元の命題と対偶は同値変形だという話に変えました。

少ししっくり来た様子。

 

形は違えど、式変形なのですよ。

 

極方程式にした方がわかる問題もあれば、xyにした方がわかるものもあります。

どちらにするかはあなたが決めてもいいのですが、選ぶ根拠だけは

伝えられるようにしてほしい!

 

とまでは言いませんでした。ここは色々悩んで気づくべきところなのです。