GCT逻辑.02.形式化推理考点举要演示文稿.ppt

复合命题推理范式 p → q = -p ← -q p → q = -p ∨ q -(p → q) = p ∧ - q -(p∧q)=-p ∨ -q -(p∨ q)= -p∧ - q p q = -p q 复合命题 复合命题推理范式举要 伦敦 巴黎 伦敦 巴黎 复合命题推理范式举要 奔驰 宝马 奔驰 宝马 路虎 保时捷 路虎 保时捷 非 福特 非 奥迪 福特 奥迪 复合命题推理范式举要 安倍 小泉 安倍 小泉 复合命题推理范式举要 手机 手表 手壶 手机 手表 手壶 复合命题推理范式举要 火车 汽车 飞机 火车 汽车 飞机 论证的推理结构 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理 推理、论证和假说 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 五、关系推理 关系推理的原则：对称性和传递性。 对称性： 对称关系：等于；婚姻；同学；同事。 反对称关系：大于；小于；亲子。 不对称关系： 写信；认识；尊重；轻视；瞧不起；信任；怀疑；爱；恨。 传递性： 传递关系：等于；大于；小于。 反传递：矛盾；年长。 非传递性： 同学；同事；认识；尊重；轻视；瞧不起；信任；怀疑；爱；恨。 总结 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理 推理、论证和假说 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 直言命题种类 1.全称肯定命题（SAP，A） 所有的S都P：所有的液体都是饮料。 2.全称否定命题（SEP，E） 所有的S都不P：所有的液体都不是饮料。 3.特称肯定命题（SIP） 有些S是P：有些液体是饮料。 4.特称否定命题（SOP） 有些S不是P：有些液体不是饮料。 5.单称肯定命题（SaP） S是P：汽油是饮料。 6.单称否定命题（SeP） S不是P：汽油不是饮料。 （所有） （所有） 模态推理 （一）模态命题对当关系推理 （二）有模态词的复合推理 必然：一定，100%，都。 逻辑符号：□。 可能：偶然。有时。 逻辑符号：◇ 必然=不可能不 不必然=可能不 必然不=不可能 不必然不=可能 复合命题推理范式 论证的推理结构 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理 推理、论证和假说 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 论证的推理结构 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理 推理、论证和假说 1. 归纳推理的结构 2. 归纳推理的类型 3. 密尔五法 4. 因果关系 归纳推理概说 归纳逻辑 （一）什么是归纳逻辑 （二）归纳逻辑和演绎逻辑的关系 （三）常用归纳推理形式 　　1．完全归纳推理 2．不完全归纳推理 3．概率推理 　　4．统计推理：（1）统计概括推理 （2）统计推论 探求因果联系的逻辑方法 因果差异：无因无果：支持、前提。无因有果：削弱。有因无果：削弱。 密尔五法：1．契合法（求同法）；2．差异法；3．求同、求异并用法；4．共变法；5．剩余法。 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 论证的推理结构 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理 推理、论证和假说 1. 归纳推理的结构 2. 归纳推理的类型 3. 密尔五法 4. 因果关系 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 论证的推理结构 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理（或然性推论） 推理、论证和假说 1. 归纳推理的结构 2. 归纳推理的类型 3. 密尔五法 4. 因果关系 1. 直言命题推理 2. 模态推理 3. 三段论 4. 复合命题推理 5. 关系推理 论证的推理结构 形式化推理 演绎推理 归纳推理 类比推理 非形式化推理 推理、论证和假说 1. 归纳推理的结构 2. 归纳推理的类型 3. 密尔五法 4. 因果关系 推理、论证和假说 一、论证 （一）证明 1．证明和推理的关系 2