回答

この命題の対偶は
「2つの整数がともに3の倍数でないならば、その整数の積は3の倍数ではない」

これを、整数n、mを用いて、
n=3k+1、3k+2 m=3l+1、3l+2 (k、lは整数)

これを2×2の4通りに場合分けして解くと思います。
modを使えば楽になりますよ👍

この回答にコメントする
疑問は解決しましたか?