b.GCT逻辑.02.形式化推理考点举要.2013.pptVIP

复合命题推理范式 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. 关系推理 五、关系推理 关系推理的原则：对称性