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

[0054 １３２人目の素数さん 2024/04/01(月) 12:37:53.65 ID:bK4MjgvC]

>>52
>∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
>そのことは正しい
これ本当？
∃x.P⇒∀x.Pは言えないからQは言えないのでは？