第0102章习题.ppt

本章总结 P72 (2)求真值 a)(?x)(P(x) → Q(f(x), a))； b)(?x)(P(f(x)) ∧ Q(x, f(a)))；其中，论域D={1, 2}，a=1；f(1)=2，f(2)=1；P(1)?F，P(2)?T；Q(1, 1)?T，Q(1, 2)?T，Q(2, 1)?F，Q(2, 2)?F。 P75 (1) c) (?x)(?y)(((?z)P(x,y,z)∧(?u)Q(x,u))→(?v)Q(y,v)) ?(?x)(?y)(┐((?z)P(x,y,z)∧(?u)Q(x,u))∨(?v)Q(y,v)) ?(?x)(?y)(((?z)┐P(x,y,z)∨(?u)┐Q(x,u))∨(?v)Q(y,v)) ?(?x)(?y)(?z)(?u)(?v)(┐P(x,y,z)∨┐Q(x,u)∨Q(y,v)) P79 (1) d) (?x)(A(x)∨B(x)), (?x)(B(x)→┐C(x)), (?x)C(x)?(?x)A(x) (1) (?x)(B(x)→┐C(x)) P (2) C(a)→┐B(a) US(1) (3) (?x)C(x) P (4) C(a) US(3) (5) ┐B(a) T(2), (4), I (6) (?x)(A(x)∨B(x)) P (7) ┐B(a)→A(a) US(6) (8) A(a) T(5), (7), I (9) (?x)A(x) UG(8) P79 (3) c)每个大学生不是文科学生就是理工科学生，有的大学生是优等生，小张不是理工科学生，但他是优等生，因而如果小张是大学生，他就是文科学生。 G(x)：x是大学生，L(x)：x是文科学生，S(x)：x是理工科学生，W(x)：x是优等生，a：小张 (?x)(G(x)→(L(x)∨S(x)), (?x)(G(x)∧W(x)), ┐S(a), W(a)? G(a)→L(a) (1) G(a) P (2) (?x)(G(x)→(L(x)∨S(x)) P (3) G(a)→(L(a)∨S(a)) US(2) (4) L(a)∨S(a) T(1), (3), I (5) ┐S(a) P (6) L(a) T(4), (5), I * * 本章首先引入命题及逻辑联结词，并在此基础上定义了公式以及公式的等价、蕴涵、范式等，然后用等价式、蕴涵式等进行命题演算和推理。 基本概念命题——命题的判断——命题符号化——翻译合式公式——联结词——证明等价式（双条件重言式）和重言式（条件重言式蕴含式）——求解对偶式和范式（合取范式和析取范式以及主范式中的大，小项以及他们之间的关系），利用公式的范式判断公式是恒真或恒假或可满足——推理论证的方法和规则 P8 (1) a)真命题，b)不是命题，c)是命题，真值不确定，d)不是命题，e)真命题，f)真命题，g)假命题， h)不是命题，i)不是命题 （3）a) (┐P∧R)→Q， b) Q→R， c) ┐P， d) P→┐Q P12 (5) a) ┐P?Q，P：你给我写信，Q：它在途中丢失了。 b) ┐P∧┐Q→R，P：张三去，Q：李四去，R他去。 c) ┐(P∧Q )，P：我们划船，Q：我们跑步。 d) P→(Q?R)，P：你来了，Q：他唱歌，R：你伴奏。 F T F F T F F T T F F F F T F T T T F F F T F T (P∨┐Q)∧R F T F T R T T T T P∨┐Q F