>>972
「1+1=3が成り立つとき、x^2 ≦ 0 も成り立つ」の対偶は
「x^2≦0が成り立たないとき、1+1=3も成り立たたない」
x^2≦0が成り立とうが成り立つまいが1+1=3は成り立たないので、この命題は真
したがってその対偶である問いの命題も真