24/04/01 06:32:30.66 LMNS4sZW.net
ｽﾚﾘﾝｸ(math板:490番)
>(∃x.P)⇒Qと∀x.P⇒Qはほぼ同値
∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
そのことは正しい
しかし、Qを示したいのに∀x.P⇒Qだけ示しても意味ない
ましてや∀x.P⇒⊥（すなわち¬∃x.P）から、∀x.P⇒Qを示した場合
∃x.Pが成り立たないのだから無意味
こんな初歩からわからんターンエーは
やっぱり論理ド素人
24/04/01 06:32:30.66 LMNS4sZW.net
ｽﾚﾘﾝｸ(math板:490番)
>(∃x.P)⇒Qと∀x.P⇒Qはほぼ同値
∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
そのことは正しい
しかし、Qを示したいのに∀x.P⇒Qだけ示しても意味ない
ましてや∀x.P⇒⊥（すなわち¬∃x.P）から、∀x.P⇒Qを示した場合
∃x.Pが成り立たないのだから無意味
こんな初歩からわからんターンエーは
やっぱり論理ド素人