0178132人目の素数さん
2018/10/08(月) 01:02:56.72ID:1+upM2Fe>このようなことは言っていない。
>
>この命題が真であるとすると
>yが完全数でないということが確定するからおかしいと書いた。
いやいや、まんま言ってるじゃんw
「この命題が真であるとすると」とは
・「P⇒Q」という命題が真であるとすると
という意味だろ?
で、「yが完全数でないということが確定するからおかしい」とは
・「Q」が真であることが確定するからおかしい
という意味だろ?つまり、全体として君が言ってることは
・「P⇒Q」が真なら、「Q」も真であることが確定、つまり
yが完全数でないことが確定するからおかしい
ということだろ?でも、君のその論法は間違ってると言ってるんだよ
「P」と「P⇒Q」がともに真でなければ、「Q」が導出できないからね