A. ∀xA(x)∧∀xB(x)⇒∀x(A(x)∨B(x)) B. ∃xA(x)→∀xB(x)⇒∀x(A(x)→B(x)) C. ∀xA(x)→∀xB(x)⇒∀x(A(x)→B(x)) D. ∃x∀yA(x,y)⇒∀y∃xA(x,y)
A. ∀x∃y(F(x,z)→G(x,y)) B. ∀x∀y(F(x,z)→G(x,y)) C. ∀x∀y(F(x,y)→G(x,y)) D. ∀y∀x(F(x,z)→G(x,y))
A. n B. n和l C. n,l,m D. l
A. 1,2 B. 3,6 C. 5,10 D. 7,14
A. 8s B. 3f C. 4p D. 6d