第 6 页
结论：R?S（1分） 证明得此推理有效（4分） 2、解：P（x）：x喜欢步行，：P（x）：x喜欢步行，R（x）：x喜欢骑自行车 前提：??x??P?x???Q?x??,??x??Q?x??R?x??,??x??R?x?（3分） 结论：??x??P?x?（1分） 证明：此推理有效（4分）
（1） (?x)?R(x) P (2) ?R(c) (1)ES (3) (?X)(Q(x)?R(x)) P (4) Q(c)?R(c) (3) US (5) Q(c) (2)(4)T,I (6) (?X)(P(X)??Q(x)) P (7) P(c)??Q(c)) (6)US (8) ?P(c) (5)(7)T,I
(9) (?x)?P(x) (8)EG 3、解：运用哈夫曼算法得 最上端结点为27（2分），W（T）为74（2分），左0右1得前缀码（2分）