ゲストさん
ありがとうございます！助かりました(^^;;

｢pならばq｣の対偶は、
｢qでないならばpでない｣です。
また、｢pまたはq でない｣は、
｢pでない かつ qでない｣です。

(1)
対偶は、
｢x≦3かつy≦2 ならば、x+y≦5｣となる。
この命題が真であることを示せばよい。
x≦3かつy≦2より、
辺辺足して、
(不等式の辺辺を足しても不等式は成り立つ。ただし、-×÷はできない。)
x+y≦5
よって、対偶が真なので、
元の命題も真。

(2)
対偶は、
｢y=1 ならば、y^2=y｣となる。
この命題が真であることを示せばよい。
y=1のとき、
y^2=1^2=1
したがって、y^2=y
よって、対偶が真なので、
元の命題も真。