∀xF(x)→∃y(G(x,y)∧H(x,y))（要求：不用代替规则）
∀xF(x)→∃y(G(x,y)∧H(x,y))（要求：不用代替规则）
∃xF(x,y)∧(∃yG(x,y)→∀zH(x,y,z)) (要求：不用换名规则)
∃xF(x,y)∧(∃yG(x,y)→∀zH(x,y,z)) (要求：不用换名规则)
其他人气：638 ℃时间：2020-06-10 06:22:44
优质解答
∀xF(x)→∃y(G(x,y)∧H(x,y)) （用换名规则） ∀uF(u)→∃y(G(x,y)∧H(x,y)) ┐∀uF(u)∨∃y(G(x,y)∧H(x,y)) ∃u┐F(u)∨∃y(G(x,y)∧H(x,y)) ∃uͦ...
我来回答
类似推荐