对公式∃x(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量代入后,有∃x(P(z)∧Q(a,z)∧M(z,b))∨R(z)
A. 错误
B. 正确
下面的推理过程是否正确(1)∀x A(x)∧B(x) 前提引入(2)A(y)∧B(y) (1)UI
A. 错误
B. 正确
取个体域为整数集,下列公式为真的有?
A. ∃x∃y(x⋅y=2)
B. ∃y∀x(x⋅y=0)
C. ∀x∀y(x⋅y=y)
D. ∀x(x⋅y=x)
下列公式中等值的是?
A. ¬∀xA(x)与∃x¬A(x)
B. ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x)
C. ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x)
D. ∀x∃yA(x,y)与∃x∀yA(x,y)
微信支付 
支付宝支付