＞「0y≠0⇒yが完全数でない」
＞対偶をとるとこうなりますから、正しいとはいえない命題だと思います。

正しいでしょ

「 偽 ⇒ Q 」の形をした命題は必ず真であり、今の場合 0y≠0 は偽であり、
「0y≠0⇒yが完全数でない」は「 偽 ⇒ Q 」の形をしているから、この命題は真