首页 > 中学考试杂题 > 题目详情

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

2022-11-26 08:22:24   13次         反馈错误   加入收藏   正确率 : 100%  

本题链接：