∃x∃y[P(x,y)]において、xがyに依る、yがxに依ることがあっても良いですか？ ∀x∀y[P

∃x∃y[P(x,y)]において、xがyに依る、yがxに依ることがあっても良いですか？
∀x∀y[P(x,y)]において、xがyに依る、yがxに依ることがあっても良いですか？

No.3 ベストアンサー 回答者： ありものがたり 回答日時： 2021/08/28 19:02

∃x∃y[P(x,y)] だと、 y が x に依ることがあります。

∀x∀y[P(x,y)] では、 No.2 さんの言うとおり、 y が x に依ることはありません。
どちらの場合も、 ∃ や ∀ のスコープから見て、 x が y に依ることはありません。

この回答へのお礼

ありがとうございました。

お礼日時：2021/09/02 13:32

No.2 回答者： mtrajcp 回答日時： 2021/08/28 10:01

∀x∀y[P(x,y)]において、

xは任意なのだからxがyに依ってはいけません
yは任意なのだからyがxに依ってはいけません

No.1 回答者： Tacosan 回答日時： 2021/08/28 00:12

「∃x∃y[P(x,y)]において」とか「∀x∀y[P(x,y)]において」とかって, どういうことを意味しているんですか?