奇数の完全数の存在に関する証明2

[0184 １３２人目の素数さん 2018/10/08(月) 01:10:43.92 ID:WnpOazRJ]

論理包含
https://ja.m.wikipedia.org/wiki/%E8%AB%96%E7%90%86%E5%8C%85%E5%90%AB

yに関する次の命題を考える。
「「0y≠0」⇒「yが完全数でない」」
「0y≠0」は偽である。
よって、「yは完全数でない」の真偽に関わらず
「「0y≠0」⇒「yが完全数でない」」
は真である。