必要条件假言推理的有效形式

必要条件假言推理的有效形式有否定前件式和肯定后件式。

直言命题：它是断定对象具有或不具有某种性质的命题。

符号：有的A→B

判断关键词：所有（任何、每个）、有的（大多数、一部分、小部分、绝大多数、某些）?

口诀：有的可互换，但不可逆否

联言命题：把多件事情联系在一起，表达“且”的关系； 判断关键词：和、且、既--又--、但、而且等。?

选言命题：反映事物的若干种情况或性质至少有一种存在的命题。

判断关键词：或者--或者--、要么--要么--?

假言命题：陈述一种事物情况是另一种事物情况的条件，又称条件命题。

，充分条件 ? 含义：有它就行 符号：P→Q（P推出Q）

口诀：充分条件前推后，如果那么

2、必要条件 含义：没它不行 ? 符号：P←Q（Q推出P）

口诀：必要条件后推前，只有才

3、充要条件 含义：同生共死 ?符号：P←→Q（PQ互相推理）

口诀：充要条件两头推，当且仅当

4、除非A，否则B 符号：┐A→B ?口诀：除非否则去“除”“否”，箭头直接向右划