逻辑判断推理.doc

逻辑判断推理.doc

ID:55759800

大小:49.50 KB

页数:7页

时间:2020-06-06

逻辑判断推理.doc_第1页
逻辑判断推理.doc_第2页
逻辑判断推理.doc_第3页
逻辑判断推理.doc_第4页
逻辑判断推理.doc_第5页
资源描述:

《逻辑判断推理.doc》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、逻辑命题与推理必然性推理(演绎推理):对当关系推理、三段论、复合命题推理、关系推理和模态推理可能性推理:归纳推理(枚举归纳、科学归纳)、类比推理命题直言命题的种类:(AEIOae)⑴全称肯定命题:所有S是P(SAP)⑵全称否定命题:所有S不是P(SEP)⑶特称肯定命题:有的S是P(SIP)⑷特称否定命题:有的S不是P(SOP)⑸单称肯定命题:某个S是P(SaP)⑹单称否定命题:某个S不是P(SeP)直言命题间的真假对当关系:矛盾关系、(上)反对关系、(下)反对关系、从属关系矛盾关系:具有矛盾关系的两个命题之间不

2、能同真同假。主要有三组:SAP与SOP之间。“所有同学考试都几个了”与“有些同学考试不及格”SEP与SIP之间。“所有同学考试不及格”与“有些同学考试及格”SaP与SeP之间。“张三考试及格”与“张三考试不及格”上反对关系:具有上反对关系的两个命题不能同真(必有一假),但是可以同假。即要么一个是假的,要么都是假的。存在于SAP与SEP、SAP与SeP、SEP与SaP之间。下反对关系:具有下反对关系的两个命题不能同假(必有一真),但是可以同真。即要么一个是真的,要么两个都是真的。存在于SIP与SOP、SeP与SI

3、P、SaP与SOP之间。从属关系(可推出关系):存在于SAP与SIP、SEP与SOP、SAP与SaP、SEP与SeP、SaP与SIP、SeP与SOP六种直言命题之间存在的对当关系可以用一个六角图形来表示,“逻辑方阵图”SAPSEPSaPSePSIPSOP直言命题的真假包含关系全同关系、真包含于关系、真包含关系、交叉关系、全异关系合同关系真包含于关系真包含关系交叉关系全异关系SAP真真假假假SEP假假假真真SIP真真真真假SOP假假真真真复合命题:负命题、联言命题、选言命题、假言命题负命题的一般公式:并非P联言命

4、题公式:p并且q“并且、…和…、既…又…、不但…而且、虽然…但是…”选言命题:相容的选言命题、不相容的选言命题相容的选言命题公式:p或者q“或、或者…或者…、也许…也许…、可能…可能…”【一个相容的选言命题是真的,只有一个选言支是真的即可。只有当全部选言支都假时,相容的选言命题才是假的】不相容选言命题公式:要么p要么q“要么…要么…、不是…就是…、或者…或者…二者必居其一、或者…或者…二者不可兼得”【一个不相容的选言命题是真的,有且只有一个选言支是真的。当选言支全真或全假时,此命题为假】假言命题:充分条件假言命

5、题、必要条件假言命题、充要条件假言命题充分条件假言命题公式:如果p,那么q“如果…就…、有…就有…、倘若…就…、哪里有…哪里有…、一旦…就…、假若…、只要…就…”【有前件必然有后件。如果有前件却没有后件,这个充分条件假言命题就是假的。因此,对于一个充分条件的假言命题来说,只有当其前件真而后件假时,命题才假。】必要条件假言命题公式:只有p,才q“没有…就没有…、不…不…、除非…不…、除非…才…”【没有前件必然没有后件。如果没有前件也有后件,这个必要假言命题为假。对于一个必要条件的假言命题来说,只有当其前件假而后件

6、真时,命题才假。】充要条件假言命题公式:当且仅当p,才q【有前件必然有后件,没有前件必然没有后件。充要条件假言命题在前件与后件等值即前件真并且后件真,或者前件假并且后件假时,命题为真,在前件与后件不等值即前真后假,或前假后真时,命题为假】充分条件与必要条件之间可以相互转化:如果p,那么q===只有q,才p只有p,才q,===如果q,那么p模态命题:反映事物存在或发展的必然性或可能性的命题。模态命题包含“必然”、“可能”等模态词。必然肯定命题:必然P必然否定命题:必然非P可能肯定命题:可能p可能否定命题:可能非P

7、四者之间的关系如下:模态方阵必然P必然非P可能P可能非P推理1、直言命题的变形推理:换质推理、换位推理⑴换质推理也就是改变谓项。“是”或者“不是”除了改变联项外,同时还需要把结论中的谓项变为前提谓项的矛盾概念。“所有S是P”可以换质为“所有S不是非P”“所有S不是P”可以换质为“所有S是非P”“有些S是P”可以换质为“有些S不是非P”“有些S不是P”可以换质为“有些S是非P”⑵换位推理就是改变前提中主项与谓项的位置。除了交换主项与谓项的位置外,还需要注意的是在前提中不周延的词项在结论中也不能周延。“所有S是P”

8、换位为“有些P是S”“所有S不是P”换位为“所有P不是S”“有些S是P”换位为“有些P是S”注意:“有些S不是P”不能换位为“有些P不是S”2、联言推理:分解式与组合式分解式就是由前提中一个联言命题为真,推出其任一支命题为真的联言命题。组合式就是由前提中一些支命题为真推出这些支命题所组成的联言命题为真的联言推理。3、选言推理:相容的选言推理与不相容的选言推理相容的选言推理规则:(只有一

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。