(A∧B)→>C∧D∧(_CVD)→_AV-B 2.条件论证:适用于结论是蕴涵式.AV-B分A→B (1)A P(附加前提) (2)(A∧B)>CP (3)A→>(B→C)T(2)E1g (4)B→>C T(1)(3) 11 (5)-D (6)-CVD (7)-C T(5)(6) 10 (8)-B T(4)(7)I12 (9)A→-BCP
((A∧B)C)∧D∧(C∨D) A∨B 2.条件论证:适用于结论是蕴涵式. A∨B AB ⑴A P(附加前提) ⑵(A∧B)C P ⑶ A(BC) T⑵ E19 ⑷ BC T⑴⑶ I11 ⑸D P ⑹C∨D P ⑺C T ⑸⑹ I10 ⑻ B T ⑷⑺ I12 ⑼ AB CP
(A∧B)→>C∧D∧(_CVD)→_AV-B 3反证法: (1)-(-AV_B)P(假设前提) (2)A∧B T(1)E9 (3)(A∧B)→>C (4)C T(2)(⑤)I1 (5)-D (6)-CVD (7C T(8)(9)Io (8)C∧-C T(4)()I
((A∧B)C)∧D∧(C∨D) A∨B 3.反证法: ⑴ (A∨B) P(假设前提) ⑵A∧B T⑴ E9 ⑶(A∧B)C P ⑷ C T ⑵ ⑸ I11 ⑸ D P ⑹C∨D P ⑺C T ⑻⑼ I10 ⑻C∧C T ⑷ ⑺ I9
第二章谓词逻辑 1准确掌握有关概念 2会命题符号化(如P60题(2) 3掌握常用的等价公式和永真蕴涵式包括: 带量词的公式在论域内展开式量词否定,量词辖域扩充, 量词分配公式 4会用等价公式求谓词公式的真值(如P66题(3) 5会写前束范式 6.熟练掌握谓词逻辑推理
第二章 谓词逻辑 1.准确掌握有关概念. 2.会命题符号化.(如P60题(2)) 3.掌握常用的等价公式和永真蕴涵式.包括: 带量词的公式在论域内展开式,量词否定,量词辖域扩充, 量词分配公式. 4.会用等价公式求谓词公式的真值.(如P66题(3)) *5.会写前束范式 6.熟练掌握谓词逻辑推理
第二章谓词逻辑 1准确掌握有关概念. 客体: 客体变元 谓词, 量词, 量词后的指导变元, 量词的辖域, 约束变元与自由变元, 论域, 全总个体域, 谓词公式(WFF 命题函数 前束范式
第二章 谓词逻辑 1.准确掌握有关概念. 客体: 客体变元, 谓词, 量词, 量词后的指导变元, 量词的辖域, 约束变元与自由变元, 论域, 全总个体域, 谓词公式(WFF), 命题函数, 前束范式
2会命题符号化(如P60题(2) 命题的符号表达式与论域有关。当论域扩大时,需要 添加用来表示客体特性的谓词,称此谓词为特性谓词 特性谓词往往就是给定命题中量词后边的那个名词。 如“所有自然数..”、“有些大学生..”。 如何添加特性谓词,这是个十分重要的问题,这与前 边的量词有关。 如果前边是全称量词,特性谓词后边是蕴含联结词 如果前边是存在量词,特性谓词后边是合取联结词 ∧ 另外有些命题里有的客体在句中没有明确的量词,而在 写它的符号表达式时,必须把隐含的量词明确的写出来
2.会命题符号化.(如P60题(2)) 命题的符号表达式与论域有关。当论域扩大时，需要 添加用来表示客体特性的谓词，称此谓词为特性谓词。 特性谓词往往就是给定命题中量词后边的那个名词。 如“所有自然数...” 、 “有些大学生...” 。 • 如何添加特性谓词，这是个十分重要的问题，这与前 边的量词有关。 如果前边是全称量词，特性谓词后边是蕴含联结词 “→” ； 如果前边是存在量词，特性谓词后边是合取联结词 “∧” 。 另外有些命题里有的客体在句中没有明确的量词 ,而在 写它的符号表达式时,,必须把隐含的量词明确的写出来