6. 用谓词演算公式表示下列英文句子(多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子)。
A computer system is intelligent if it can perform a task which,if performed by a human, requires intelligence.
7. 把下列语句表示成语义网络描述:
(1) All man are mortal.
(2) Every cloud has a silver lining.
(3) All branch managers of DEC participate in a profit-sharing plan.