下列哪些式子成立?
A、(∀x)(∀y)A(x,y)⇒(∃y)(∀x)A(x,y);
B、(∀y)(∀x)A(x,y)⇒(∃x)(∀y)A(x,y);
C、(∀x)(∀y)A(x,y)⇔(∃y)(∀x)A(x,y);
D、(∀x)(∀y)A(x,y)⇔(∃y)(∀x)A(x,y)
发布时间:2025-05-16 20:42:42
A、(∀x)(∀y)A(x,y)⇒(∃y)(∀x)A(x,y);
B、(∀y)(∀x)A(x,y)⇒(∃x)(∀y)A(x,y);
C、(∀x)(∀y)A(x,y)⇔(∃y)(∀x)A(x,y);
D、(∀x)(∀y)A(x,y)⇔(∃y)(∀x)A(x,y)