∀xF(x)→∃y(G(x,y)∧H(x,y))（要求：不用代替规则）∃xF(x,y)∧(∃yG(x,y)→∀zH(x,y,z)) (要求：不用换名规则)

来源：学生作业帮助网 编辑：作业帮 时间：2024/08/29 21:16:04
x)SS070pӨ|6 5pרЩ|Ա|ŲgdG)+^l[v|dD,QPMFTij*hw 35m>iv~ Ldt,aTWQkմ/.Hg<NJ