以下谓词等值式正确的是（）。
A. ∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x)
B. ∀x(A(x)∨B(x))⇔∀xA(x)∨∀xB(x)
C. ∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)
D. ∃x(A(x)∧B(x))⇔∃xA(x)∧∃xB(x)
下列谓词公式是等值的有（）。
A. ┐∀xA(x)⇔∃x┐A(x)
B. ┐∃xA(x)⇔∀x┐A(x)
C. ┐∃x(M(x)∧┐F(x))⇔∀x(M(x)→F(x))
D. ┐∀x(F(x)→G(x))⇔∃x(F(x)∧┐G(x))
我们希望一个个体变项在同一个公式中只以一种身份出现，应用下面（）规则可以做到这一点。
A. 约束变元的换名规则
B. 自由变元的代替规则
C. 约束变元的代替规则
D. 自由变元的换名规则
对(∀x)(P(y)∧R(x,y))→(∃y)Q(y) 中的自由变元进行代替，则表示为： (∀x)(P(z)∧R(x,y))→(∃y)Q(y)。
A. 对
B. 错
微信支付 
支付宝支付