高等继续教育 / 人工智能
题型描述: 简答题
用归结原理证明定理：G是F1、F2的逻辑结论。
F1 ∀x (P(x)→Q(x)∧R(x))
F2 ∃x(P(x)∧S(x))
G ∃x (S(x)∧R(x))
参考答案：
佳题速递：