逻辑学期末复习指导.ppt

复习范围第五章第七章第八章第九章 复习重点（附后） 复合命题一览表 负复合命题等值式 三种推理的区别 复习指导 一、单选：8个，16分。 二、双选：8个，16分。 单选和双选以知识应用为主 三、名词：4个，12分。 复合命题、选言命题、假言命题、充分条件假言命题、必要条件假言命 题、同一律、不矛盾律、排中律、充足理由律、归纳推理、完全归纳推理、简单枚举归纳推理、科学归纳推理、穆勒五法、类比推理 四、简答：3个，18分。 1、选言命题、假言命题的特性、逻辑值及有效推理形式。（见复合命题一览表） 2、以三条基本规律的关系为内容提问。（见三条基本规律的关系表） 3、演绎推理与归纳推理有什么关系；如何提高简单枚举法结论的可靠性； 简单枚举归纳推理与科学归纳推理的关系。 4、演绎推理、归纳推理与类比推理的关系。见总结表格。 三、名词和四、简答，以知识考察为主 五、分析：4个，38分。 重点复习四章课后习题。 * 1、假言命题及其推理表 2、复合命题一览表 3、负命题等值表 4、二难推理表 5、三条基本规律关系表 6、三种推理区别表 7、逻辑学知识体系表 一真一假为假 同真同假为真 前假后真为假 其余都真 前真后假为假 其余都真 逻辑值 等角?等边 努力←好成绩 摩擦→生热 例子 有效式 （混合假言推理） 涵义 （特性） 联结词 假言命题 类型 项目 有前件必有后件 无前件必无后件 无前件必无后件 有前件未必有后件 有前件必有后件 无前件未必无后件 充分条件 必要条件 充要条件 p→q p←q p?q 肯定前件式 否定后件式 否定前件式 肯定后件式 肯前式、否前式 肯后式、否后式 如果...那么 只要...就 要是...就 只有...才 必须...才 除非...才 当且仅当...才 如果并且只有...才 （混合条件） （p?q）∧(q→r) →(p→r) （p?q）∧(q←r) →(p←r) ①否定式 (p←q) ∧(q←r) ∧(r←s) →(﹁p→﹁s） ②肯定式 (p←q) ∧(q←r) ∧(r←s) →(s→p) ①肯定式 (p→q) ∧(q→r) ∧(r→s) →(p→s) ②否定式 (p→q) ∧(q→r) ∧(r→s) →(﹁s→﹁p) (p?q) →(q?p) （p←q）→（q→p） ( p→q) →（﹁ q →﹁p ） 混合 假 假言 推理 言 易 推 纯 位 假 理 言 推 理 联 锁 ( p→q) ∧p→q ( p←q) ∧﹁p→﹁q ( p←q) ∧q→p ( p→q) ∧﹁q→﹁p 否前式 ( p←q) ∧﹁p→﹁q 肯后式 ( p←q) ∧q→p 肯前式 ( p→q)∧p→q 否后式 ( p→q) ∧﹁q→﹁p (p?q) （p←q） (p→q) 假言命题 充要条件 必要条件 充分条件 类型 内容 充要 必要 充分 不相容 相容 等值式 原真负假 原假负真 并非 ﹁p 否定某命题 负命题 肯前、否前 肯后、否后 一真一假为假 同真同假为真 当且仅当…才 p?q 有前必有后 无前必无后 否定前件式肯定后件式 前假后真为假 其余都真 只有…才 p←q 无前必无后 有前未必有后 肯定前件式否定后件式 前真后假为假 其余都真 如果…那么 p→q 有前必有后 无前未必无后 假 言 命 题 肯否式 否肯式 一真才真 其余都假 要么…要么 P q 不能同真 有且只有一真 否肯式 有真则真 都假才假 或者…或者 p∨q 可以同真 至少一真 选 言 命 题 分解式 组合式 都真才真 有假则假 并且、不但…而且 虽然…但是、于是 p∧q 共存同真 联言命题 推理有效式 逻辑值 联结词 命题形式 特性 复合命题 （p∧﹁q）∨ （﹁p∧q） ﹁（p?q） 并非当且仅当年满18岁，才是成年人 负充要 （﹁p