1. 下列说话正确的是（  ）

A 置换可以交换                     B 公式集可以合一 

C 语义网络是知识的图解表示  D “时间”是春天的实例

解：C 解析：置换具有不可交换性，即s1s2 ≠ s2s1, A错误；对于公式集F={F1,F2,…,Fn}，只有满足存在一个代换λ使得 F1λ = F2λ = … = Fnλ时，才称公式集F合一，B错误；语义网络是通过概念及其语义关系来表示知识的一种网络图，C正确；时间和春天之间没有实例关系，D错误。

2.假设P为真，Q为假，下列公式为真的是（  ）

A P∨Q       B P∧Q     C P→Q     D ~P

解：A

3.下列等价关系不成立的是（   ）

A  ~(~P) 等价于P                        B  P∨Q等价于~ P→Q

C ~ (P∨Q)等价于~ P∧ ~ Q         D P→Q等价于~ P→ ~ Q 

解析：逆否律使用错误，应该改为

4. 请用 谓词演算公式和语义网络 表示下列句子：

（1）长沙是个美丽的城市，但它不是一个沿海城市.

（2）A computer system is intelligent if it can perform a task which, if performed by a human, requires intelligence.

注意：多用而不是省用不同谓词和项。例如不要用单一的谓词字母来表示每个句子。

解：（1）长沙..

B(X) means X is Beautiful

C(X) means X is coastal

ISA(Changsha, City) ∧ B(Changsha) ∧ ~C(Changsha)

（2）Computer..

①分析句子组成

②由上不妨设定变量X ~ Computer System;Y ~ Human;Z ~ Task

则∀X{∃Y∃Z(CMP(X)∧HMA(Y)∧TASK(Z)∧PFM(X,Z)∧RQU(Z)∧PFM(Y,Z)) → ITG(X)}

5.用语言网络表示下列信息：

（1）李三是思源公司的经理，他35岁，住在飞天胡同68号。

（2）All branch managers of DEC participate in a profit-sharing plan。

解：（1）李三..

（2）All branch managers..