
行测逻辑公式 简化版.docx
3页逻辑公式简化版一、常用关系原命题等价于逆否命题矛盾命题再矛盾所有A是B有些A是B 有些B是A有些A非B所有A非B有些A非B有些A是B有些A是B有些B是A所有A非B有些A非B所有A是BA=>B一B=>一AA且一B—A或BA=>—BB=>—AA且B—A 或一BA且B—A 或—B非A且非BA或BA或B(相容)非A且非BA或BA或B(不相容)全真或全假二、六角阵某个是有些是所有是所有非>某个非图解:红色:矛盾关系————必有一真一假蓝色:上反对 ————必有一假可以同假 绿色:下反对 ————必有一真可以同真 黑色:可以正推 不可逆推三、集合关系1. A 和 B 相异2. A 和 B 相交3. A 真包含于 B所有A非B,所有B非A)(有些A是B,有些B是A)(所有A是B,有些A是B,有些B是A)例:福建人Q)真包含于中国人B)4.A 真包含 B(有些A是B,所有B是A,有些B是A)例,中国人(A)真包含福建人B)5.A 和 B 全同 :A 和 B 范围完全一样所有A是B,所有B是A,有些A是B,有些B是A)四、 或 且(选择性)要使A且B为真,那么要求A和B均为真要使A且B为假,那么只要A和B有一个为假即可 要使A或B为真,那么只要A和B有一个为真即可 要使A或B为假,那么要求A和B均为假注:A或B相容:至少其一不相容:必居其一五、充分条件,必要条件,逆否命题1、 表示充分条件的关联词“如果A那么B”“如果A就B”“只要A就B”“若A则B”“一 A就B”看到这些关 联词,说明句子表示的是充分条件关系(即前件是后件的充分条件),前件推后件A=>B2、 表示必要条件的关联词“只有A才B”看到这些关联词,说明句子表示的是必要条件关系(即前件是后 件的必要条件),,后件推前件B=>A3、 表示特殊关系的关联词.“除非A否则B”非 A=>B六、三段论推理规则1•所有A是B,所有B是C,于是,所有A是C (两个前提,都是肯定句,则 结论必是肯定句)2•有些A是B,所有B是C,于是,有些A是C3•有些A是B,所有B非C,于是,有些A非C (两个前提,一肯一否,则结 论必是否定句)4•有些A非B,所有C是B,于是,有些A非C注:1、传递推理的那个前提是所有开头的2、两个前提中至少有一个是“所有”,否则推理不能传递。
三段论规律: 1.前提必有一全称2. 一特得特,一否得否3. 两特两否均不得结论4. 全称中项应等于特称中项(遗传性)。
