箱入り無数目を語る部屋19

[0055 １３２人目の素数さん 2024/04/01(月) 13:57:37.51 ID:efB7oARG]

>>54
∀x.P⇒Q　は　(∀x.P)⇒Q　ではない
したがって、∀x.Pを示す必要はない

∀x.P⇒Qは、¬(∃x.P∧¬Q)である

∃x.Pかつ¬(∃x.P∧¬Q)から、Qは導ける