同等学力申硕学科综合（计算机科学与技术）
某同学「证明」\exists x F(x), \exists x G(x) \R…
第 5 题单选题模拟题中等
某同学「证明」∃xF(x),∃xG(x)⇒∃x(F(x)∧G(x))，写了：（1）∃xF(x) 前提引入；（2）F(c) 由（1）存在指定；（3）∃xG(x) 前提引入；（4）G(c) 由（3）存在指定；（5）F(c)∧G(c) 合取引入；（6）∃x(F(x)∧G(x)) 由（5）存在推广。出错的是（ ）
谓词推理规则前束范式Skolem标准形谓词归结推理