逻辑学 11.pptVIP

负命题：否定命题直言否定命题：否定主谓项间关系 归纳（P153） 一、命题的结构形式不同二、确定逻辑值的情况不同三、否定词的位置不同 * 内 容 导 览 1、充分条件假言判断（p →q） 逻辑性质：有之必然. 2、必要条件假言判断（p ←q） 逻辑性质：无之必不然 3、充分必要条件假言判断（p ←→q） 逻辑性质：有之必然, 无之必不然 p ∨ r q ∨ s 前件对后件的关系 采取的是 选言判断的形式 充分条件假言判断（p →q） p ∧ r q ∧ s 前件对后件的关系 采取的是 联言判断的形式 必要条件假言判断（p ←q） 1、假言易位推理（P143） 2、假言联锁推理（P144） 3、混合条件假言联锁推理（P146） ”就弱避强“原则 4、反三段论推理 e g. [(p ∧ q) → ( r v s)] → [p∧ˉ ( r v s) →ˉq] 5、假言联合推理 √ 1、二难推理； “两重假定”—进退维谷、左右为难 推理正确形式：①形式有效②前提真实 驳斥错误的二难推理：构