逻辑推理分类.doc

《逻辑推理分类.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、逻辑部分第一部分:模态判断1、什么是模态判断所谓模态判断是指一切包含“可能”、“必然”等模态概念的判断。它判断事物的可能性或必然性；例如：今年我可能会结婚今年我必然会考上公务员2、模态判断的种类（1）、可能判断：分为可能肯定判断和可能否定判断小张可能是个帅哥----------------------------------S可能是P小张可能考不上成都省直公务员----------------S可能不是P（2）、必然判断：分为必然肯定判断和必然否定判断小张必然会成熟起来-------------------S必然是P小张必然离不开QZZN的朋友-

2、------S必然不是P3、模态判断的真假关系就是要讨论：“必然P”、“必然非P”、“可能P”、“可能非P”之间的对当关系。用一个逻辑方针来表示：1、上反对关系“必然P”和“必然非P”是上反对关系：不能同真，但是可以同假。准确的说：如果其中一个是真，则令一个必然是假的；如果其中一个判断是假的，另一个判断不必然是真的，也可能是假的。A：小张必然是个好人B：小张必然不是个好人如果A真，则B假如果A假，则B可能为真，也可能为假2、下反对关系“可能P”与“可能非P”是下反对关系：可以同真，但是不能同假。即：如果其中一个判断是假的，则另一个判断必然是真的；

3、如果其中一个判断是真的，则另一个判断不必然是假的，也可能是真的。A：小张可能是个好人B：小张可能不是个好人如果A真，那B的真假性无法判断如果A假，那么B真3、矛盾关系“必然P”与“可能非P”、“必然非P”与“可能P”是矛盾关系：矛盾关系就是我们讲的：不能同真，也不能同假。即：如果其中一个判断为真，另一个判断必然为假；如果其中一个判断假，另一个必然为真。4、从属关系“必然P”与“可能P”、“必然非P”与“可能非P”是从属关系：可以同真，可以同假。具体地说，即：必然判断真可能判断必真；可能判断假，必然判断必假。第二部分1、联言判断：是判定若干事物情况

4、共同存在的复合判断。例如：成都即美丽，又时尚小张不但帅，而且还聪明表达联言判断的词语主要有：“即。。。又。。。”、“。。。也。。。”、“不是。。。而是。。。”、“一方面。。。另一方面。。。”、“尚且。。。何况。。。”、“虽然。。。。但是。。。。”、“尽管。。。可是。。。”2、选言判断：p或者q“或者”、“是。。。还是。。。”、“也许。。。也许。。。”、“不是。。。就是。。。”等等表示选择关系的词语3、假言判断：假言判断是判定一事物情况是另一事物情况存在的条件的判断，我们也称它为条件判断。其中包括：充分条件、必要条件、充分必要条件。（1）充分条件如

5、果p，那么q。p就是q的充分条件表达充分条件假言判断的关联词语还有“假使。。。就。。。”、“倘若。。。则。。。。”、“只要。。。就，，，”、“当。。。。就（便）。。。。”等等。（2）必要条件假言判断只有p，才q。p就是q的必要条件表达必要条件假言判断的关联词语还有：“除非。。。才。。。”、“除非。。。不。。。”、“。。。。。才。。。”（3）充分必要条件如果有p必有q；如果无p，则无q真假a且b：a真b真a假b真，a假b假，a真b假a或b：a真b真，a真b假，a假b真a假b假a=>ba真b真，a假b真，a假b假a真b假(4)负判断负判断就是否定某个

6、判断的判断①简单的负判断的等价判断（等值判断）顺口溜：否定全称得特称，否定特称得全称。否定必然得可能，否定可能得必然。例子：1、并非所有会飞的动物都是鸟--------------------------------------------------有的会飞的动物不是鸟2、并非所有失足青年都不是可教育的-----------------------------------------------------有的失足青年是可教育的3、并非有的人是生而知之的----------------------------------------------

7、--------所有的人都不是生而知之的4、并非有的知识不是有用的----------------------------------------------------------所有的知识都是有用的并非必然P等值于：可能非P并非必然非P等值于：可能P并非可能P等值于：必然非P并非可能非P等值于：必然P用云淡的话说就是其他类似的有：不必然p======可能不p不必然非p======可能不非p====可能p不可能p=======必然不p（必然非p）不可能非p=====必然不非p====必然p不所有p======有的p不不所有p不=====有的p不

8、不====有的p不有的p======所有p不不有的p不======所有p不不===所有p②负复合判断及其等价判断（1）：负联言判断是判定