2-7用 谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。)
A computer system is intelligent if it can perform a task which, if performed by a human, requires intelligence.
解： C(x): x is A computer system.
H(x): x is a human.
A(x): x is intelligent.
R(x): x requires intelligence.
P(x,y): x can perform y
(∀x)(∃y)(∃z)((H(x))∧P(y,z)∧C(x)∧R(x)∧P(x,z)->A(x))