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

  • 59
  • 0
  • 约3.37千字
  • 约 11页
  • 2021-02-21 发布于福建
  • 举报

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

文档收拾 | 学习参阅 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

文档评论(0)

1亿VIP精品文档

相关文档