24/04/01 12:37:53.65 bK4MjgvC.net
>>52
>∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
>そのことは正しい
これ本当？
∃x.P⇒∀x.Pは言えないからQは言えないのでは？
24/04/01 12:37:53.65 bK4MjgvC.net
>>52
>∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
>そのことは正しい
これ本当？
∃x.P⇒∀x.Pは言えないからQは言えないのでは？
24/04/01 12:37:53.65 bK4MjgvC.net
>>52
>∀x.P⇒Qと∃x.PからQがいえる、といいたいらしい
>そのことは正しい
これ本当？
∃x.P⇒∀x.Pは言えないからQは言えないのでは？