搜索
1，概念：是指一个词语（或起一个词语作用的短语）所表达的意思，是反映事物本质属性的思维形式。1、构成集合体的个别对象不必然具有集合体的性质;2、单独概念：是指称一个事物的概念。普遍概念：是指称一类事物的概念。2、构成非集合体的对象必然具备该非集合体的性质。3、定义：揭示概念所表达的意思的语言表达式。划分：是揭示概念所指称的事物范围的逻辑方法。种类逻辑形式简化形式周延性推理关系全称肯定命题所有S都是PSAPS周P不周1）从A真能推出E假，I真，O假；5）从A假能推出O真，但是却不能推出E和I真假；1.矛盾关系推理(A、O),(E、I)必定一真一假全称否定命题所有S都不是PSEPSP周2）从E真能推出A假，I假，0真；6）从E假能推出I真，但是却不能推出A和O真假；2.反对关系推理A、E至少一假特称肯定命题有的S是PSIPSP不周3）从I真能推出E假，但是却不能推出A和O真假；7）从I假能推出A假，E，O真3.下反对关系推理I、O至少一真特称否定命题有的S不是PSOPS不周P周4）从O真能推出A假，但是却不能推出E和I真假；8）从O假能推出A真，E假，I真4.从属关系推理(A、I)，(E、O)同真同假单称肯定命题这个S是PSaP单称否定命题这个S不是PSeP两特称不能得出结论；两否定不能得出结论；中项在前提中至少有一次要周延前提有否定，结论必为否定，反之亦然；前提有特称，结论必为特称，反之未必。前提中不周延的项在结论中也不得周延充分条件假言命题：肯定前件式p→q，否定后件式¬q→¬p必要条件假言命题：否定前件式¬p→¬q，肯定后件式q→p定义对称性关系传递性关系关系推理逻辑形式简化形式推理等价命题负命题逻辑公式1、充分条件如果P那么QP→Q唯前真后假时为假¬p∨q、¬q→¬pp∧¬q假言否定律：¬（P→Q）=P∧¬Q矛盾关系2、必要条件只有P才QQ→P前假后真时才假p∨¬q、¬p→¬q¬p∧q假言律：P→Q=¬P∨Q反对关系3、充要条件当且仅当P才QP↔Q同真同假才真p∨q等值率：P↔Q=（P∧Q)∨(¬P∧¬Q)P↔Q=（P→Q)∧(Q→P)下反对关系1、相容的选言P或者QPVQ一真即真，全假才假¬p→q、¬q→p¬p∧¬q假言易位律：P→Q=¬Q→¬P2、不相容的选言要么P要么QPÙQ当且仅当只一真才真¬p→q、¬q→p、p→¬q、q→¬p（p∧q）∨（¬p∧¬q）德摩根律：¬（P∨Q）=¬P∧¬QP并且QP∩Q所有联言支真才为真¬p∨¬q德摩根律：¬（P∧Q）=¬P∨¬Q必然肯定必然P□P□P=¬◇¬P可能非P不必然P7、混合模态推理必然P必然非P必然否定必然非P□¬P¬□P=◇¬P可能P不必然非P可能肯定可能P◇P◇P=¬□¬P必然非P不可能P可能否定可能非P◇¬P¬◇P=□¬P必然P不可能非P可能P可能非P必然p→不必然非p；必然非p→不必然p选言必然可能种类不可能p→不必然p；不可能非p→不必然非p复合命题可能模态命题下反对（至少一真）6、模态推理“必然p”和“可能非p”；“可能p”和“必然非p”1、直言对当关系推理2、直言命题变形推理从属关系设（p∧q）→r，此时，若r假且p真，则q假；若r假且q真，则p假。矛盾关系关系命题假言反对（至少一假）种类大于、小于、多于、少于、早于、晚于、相等、相似、平行、包含、前、后等。推理8、二难推理：若p→q、¬p→q同真，则q必真。9、归谬法：若p→q、p→¬q同真，则p必假。10、反证法：若¬p→q、¬p→¬q同真，则¬p必假，即p必真。概念命题非模态命题模态命题简单命题从属关系从属关系5、假言命题的有效推理形式并非所有的S都是P↔有的S不是P。并非所有的S都不是P↔有的S是P。不可能p→可能非p；不可能非p→可能p必然p→可能p；必然非p→可能非p；联言命题对当关系并非有的S是P↔所有的S都不是P断定事物与事物之间是否具有某种关系的命题相同关系、相等关系、相似关系、交叉关系、矛盾关系、反对关系、同盟关系、同学关系、同事关系、同城关系、同乡关系、邻居关系、战友关系等。（1）必然p→p→可能p（2）必然非p→非p→可能非p所有S都是P→所有S都不是非P直言命题注：从属关系（A-a-I、E-e-O）：全称真，则单称真，则特称真；特称假，则单称假，则全称假。3、直言三段论的式的推理规则（不可以范四概念的错误）4、反三段论有的S是P→有的S不是非P所有S都是P→有的P是S前提中至少有一个关系命题，并依据关系的逻辑性质进行的推理。特称否定命题不能进行换位法推理AB图1-4全异关系