逻辑判断推理中常用的逻辑公式[参照].docxVIP

文档收拾 | 学习参阅 collection of questions and answers 逻辑出题与推理 必定性推理（演绎推理）：对当联系推理、三段论、复合出题推理、联系推理和模态推理 或许性推理：概括推理（枚举概括、科学概括）、类比推理 出题 直言出题的品种：（AEIOae） ⑴全称必定出题：一切S是P（SAP） ⑵全称否定出题：一切S不是P（SEP） ⑶特称必定出题：有的S是P（SIP） ⑷特称否定出题：有的S不是P（SOP） ⑸单称必定出题：某个S是P（SaP） ⑹单称否定出题：某个S不是P（SeP） 直言出题间的真假对当联系： 对立联系、（上）反对联系、（下）反对联系、隶属联系 对立联系：具有对立联系的两个出题之间不能同真同假。主要有三组： SAP与SOP之间。“一切同学考试都及格了”与“有些同学考试不及格” SEP与SIP之间。“一切同学考试不及格”与“有些同学考试及格” SaP与SeP之间。“张三考试及格”与“张三考试不及格” 上反对联系：具有上反对联系的两个出题不能同真（必有一假），可是能够同假。即要么一个是假的，要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。 下反对联系：具有下反对联系的两个出题不能同假（必有一真），可是能够同真。即要么一个是真的，要么两个都是真的。存在于SIP与SOP、SeP与SIP、SaP与SOP之间。 隶属联系（可推出联系）：存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP 六种直言出题之间存在的对当联系能够用一个六角图形来表明，“逻辑方阵图” SAP SEP SaP SeP SIP SOP 直言出题的真假包括联系 全同联系、真包括于联系、真包括联系、穿插联系、全异联系 合同联系 真包括于联系 真包括联系 穿插联系 全异联系 SAP 真 真 假 假 假 SEP 假 假 假 真 真 SIP 真 真 真 真 假 SOP 假 假 真 真 真 复合出题：负出题、联言出题、选言出题、假言出题 负出题的一般公式：并非P 联言出题公式：p而且q “而且、…和…、既…又…、不光…而且、尽管…可是…” 选言出题：相容的选言出题、不相容的选言出题 相容的选言出题公式：p或许q“或、或许…或许…、或许…或许…、或许…或许…” 【一个相容的选言出题是真的，只需一个选言支是真的即可。只需当悉数选言支都假时，相容的选言出题才是假的】 不相容选言出题公式：要么p要么q “要么…要么…、不是…便是…、或许…或许…二者必居其一、或许…或许…二者不可兼得” 【一个不相容的选言出题是真的，有且只需一个选言支是真的。中选言支全真或全假时，此出题为假】 假言出题：充分条件假言出题、必要条件假言出题、充要条件假言出题 充分条件假言出题公式：假如p，那么q“假如…就…、有…就有…、假使…就…、哪里有…哪里有…、一旦…就…、假若…、只需…就…” 【有前件必定有后件。假如有前件却没有后件，这个充分条件假言出题便是假的。因而，关于一个充分条件的假言出题来说，只需当其前件真而后件假时，出题才假。】 必要条件假言出题公式：只需p，才q “没有…就没有…、不…不…、除非…不…、除非…才…” 【没有前件必定没有后件。假如没有前件也有后件，这个必要假言出题为假。关于一个必要条件的假言出题来说，只需当其前件假而后件真时，出题才假。】 充要条件假言出题公式：当且仅当p，才q 【有前件必定有后件，没有前件必定没有后件。充要条件假言出题在前件与后件等值即前件真而且后件真，或许前件假而且后件假时，出题为真，在前件与后件不等值即前真后假，或前假后真时，出题为假】 充分条件与必要条件之间能够彼此转化： 假如p，那么q＝＝＝只需q，才p 只需p，才q，＝＝＝假如q，那么p 模态出题：反映事物存在或开展的必定性或或许性的出题。模态出题包括“必定”、“或许”等模态词。 必定必定出题：必定P 必定否定出题：必定非P 或许必定出题：或许p 或许否定出题：或许非P 四者之间的联系如下：模态方阵 必定P 必定非P 或许P 或许非P 推理 1、直言出题的变形推理：换质推理、换位推理 ⑴换质推理也便是改动谓项。“是”或许“不是” 除了改动联项外，一起还需要把定论中的谓项变为条件谓项的对立概念。 “一切S是P”能够换质为“一切S不对错P” “一切S不是P”能够换质为“一切S对错P” “有些S是P”能够换质为“有些S不对错P” “有些S不是P”能够换质为“有些S对错P” ⑵换位推理便是改动条件中主项与谓项的方位。 除了交流主项与谓项的方位外，还需要留意的是在条件中不周延的词项在定论中也不能周延。 “一切S是P”换位为“有些P是S” “一切S不是P”换位为“一切P不是S” “有些S是P”换位为“有些P