MBA逻辑知识点整理(精华)

种类逻辑形式简化形式周延性全称肯定命题所有S都是PSAPS周P不周1.矛盾关系推理A、O，E、I必定一真一假全称否定命题所有S都不是PSEPSP周2.反对关系推理A、E至少一假特称肯定命题有的S是PSIPSP不周3.下反对关系推理I、O至少一真特称否定命题有的S不是PSOPS不周P周4.从属关系推理A、I，E、O同真同假单称肯定命题这个S是PSaP单称否定命题这个S不是PSeP定义对称性关系传递性关系关系推理逻辑形式简化形式推理等价命题负命题1、充分条件如果P那么QP→Q唯前真后假时为假¬p∨q、¬q→¬pp∧¬q矛盾关系2、必要条件只有P才QQ→P前假后真时才假p∨¬q、¬p→¬q¬p∧q反对关系3、充要条件当且仅当P才QP↔Q同真同假才真p∨q下反对关系1、相容的选言P或者QPVQ一真即真，全假才假¬p→q、¬q→p¬p∧¬q2、不相容的选言要么P要么QPÙQ当且仅当只一真才真¬p→q、¬q→p、p→¬q、q→¬p（p∧q）∨（¬p∧¬q）P并且QP∩Q所有联言支真才为真¬p∨¬q7、混合模态推理必然肯定必然P可能非P不必然P必然P必然非P必然否定必然非P可能P不必然非P可能肯定可能P必然非P不可能P可能否定可能非P必然P不可能非P可能P可能非P从属关系设（p∧q）→r，此时，若r假且p真，则q假；若r假且q真，则p假。矛盾关系关系命题假言选言必然可能种类概念命题非模态命题模态命题简单命题复合命题可能模态命题不可能p→不必然p；不可能非p→不必然非p联言命题对当关系反对（至少一假）下反对（至少一真）推理8、二难推理：若p→q、¬p→q同真，则q必真。9、归谬法：若p→q、p→¬q同真，则p必假。10、反证法：若¬p→q、¬p→¬q同真，则¬p必假，即p必真。（1）必然p→p→可能p（2）必然非p→非p→可能非p从属关系从属关系种类6、模态推理“必然p”和“可能非p”；“可能p”和“必然非p”必然p→不必然非p；必然非p→不必然p不可能p→可能非p；不可能非p→可能p必然p→可能p；必然非p→可能非p；必要条件假言命题：否定前件式¬p→¬q，肯定后件式q→p并非有的S是P↔所有的S都不是P断定事物与事物之间是否具有某种关系的命题相同关系、相等关系、相似关系、交叉关系、矛盾关系、反对关系、同盟关系、同学关系、同事关系、同城关系、同乡关系、邻居关系、战友关系等。大于、小于、多于、少于、早于、晚于、相等、相似、平行、包含、前、后等。前提中至少有一个关系命题，并依据关系的逻辑性质进行的推理。前提有否定，结论必为否定，反之亦然；前提有特称，结论必为特称，反之未必。特称否定命题不能进行换位法推理5、假言命题的有效推理形式并非所有的S都是P↔有的S不是P。充分条件假言命题：肯定前件式p→q，否定后件式¬q→¬p并非所有的S都不是P↔有的S是P。3、直言三段论的式的推理规则4、反三段论有的S是P→有的S不是非P两特称不能得出结论；两否定不能得出结论；所有S都是P→有的P是S1、构成集合体的个别对象不必然具有集合体的性质;2、构成非集合体的对象必然具备该非集合体的性质。2、构成非集合体的对象必然具备该非集合体的性质。1、直言对当关系推理2、直言命题变形推理所有S都是P→所有S都不是非P直言命题注：从属关系（A-a-I、E-e-O）：全称真，则单称真，则特称真；特称假，则单称假，则全称假。