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))