离散数学作业11_谓词逻辑答案.docVIP

离散数学作业11_谓词逻辑答案 离散数学作业11_谓词逻辑答案 PAGE 离散数学作业11_谓词逻辑答案 离散数学作业 作业11——第3章谓词逻辑 1. 符号化下列命题并推证其结论。 每个大学生不是文科学生就是理工科学生，小张不是理工科学生，因此如果小张是大学生，则他就是文科生。 解：a：小张；M(x):x是大学生；F(x): x是文科生；G(x): x是理工科学生，则符号化为 (?x)(M(x)?F(x)∨G(x))，┐G(a) ?M(a) ? F(a) (1) M(a) P（附加前提） (2) (?x)(M(x)?F(x)∨G(x)) P (3) M(a)?F(a)∨G(a) (2),US (4) ┐M(a)∨F(a)∨G(a) (3),等值演算 (5) F(a)∨G(a) (1),(4),析取三段论 (6) ┐G(a) P (7) F(a) (5),(6),析取三段论 (8) M(a) ? F(a) (1),(7),CP规则 注：也可采用直接证法。 2. 符号化下列命题并推证