GCT逻辑之模态命题及其推理新阳光教育.pptx

新阳光教育： 免费热线：400-886-0085模态命题及其推理 模态命题 模态命题的直接推理新阳光教育： 免费热线：400-886-00851 模态词与模态命题 在逻辑中，“必然”、“可能”、“不可能”等叫做模态词。包含模态词的命题就是模态命题，反映的是事物情况存在或发展的必然性或可能性。逻辑上通常用符号“”表示必然；用符号“”表示可能。包含“必然”的命题称必然命题，包含“可能”的命题称可能命题。有四种模态命题，即必然肯定命题、必然否定命题（又叫做不可能命题）、可能肯定命题和可能否定命题，分别表示为：P、P、P、P。新阳光教育： 免费热线：400-886-0085模态逻辑方阵 四种模态命题之间的关系，可以用下面的逻辑方阵图表示：反对必然P必然非P可能P可能非P从 属从 属下反对矛 矛盾 盾新阳光教育： 免费热线：400-886-0085例题 最近一段时期，有关要发生地震的传言很多。一天傍晚，小明问在院里乘凉的爷爷：“爷爷，他们都说明天要地震了。”爷爷说：“根据我的观察，明天不必然地震”。小明说，“那您的意思是明天肯定不会地震了。”爷爷说不对。小明陷入了迷惑。以下哪句话与爷爷的意思最为接近？A明天必然不地震。B明天可能地震。C明天可能不地震。D明天不可能地震。新阳光教育： 免费热线：400-886-0085例题解说 这个例子考查的就是“必然肯定命题的负命题”的等价命题，亦即必然肯定命题的矛盾命题。从上述模态方阵图，我们马上可以看出必然P的矛盾命题是可能非P。因此这个题目的正确答案是C。新阳光教育： 免费热线：400-886-00852 模态推理 根据四种模态命题之间的逻辑关系所进行的推理就是模态推理。具体推理关系如下：、根据模态命题矛盾关系的直接推理1.必然p,推出并非可能非p；2.并非必然p，推出可能非p；还可以参考刚刚的例题3.可能非p，推出并非必然p；4.并非可能非p，推出必然p；5.必然非p，推出并非可能p；6.并非必然非p，推出可能p；7.可能p，推出并非必然非p；8.并非可能p，推出必然非p；新阳光教育： 免费热线：400-886-0085例题 本杰明：“除非所有的疾病都必然有肯定的诱因，否则有些疾病可能难以预防”。富兰克林：“我不同意你的看法。”以下哪项断定，能准确表达富兰克林的看法？（A）有些疾病可能没有确定的诱因，但有些疾病可能加以预防。（B）所有的疾病都可能没有确定的诱因，但有些疾病可能加以预防。（C）有些疾病可能没有确定的诱因，但所有的疾病都可能加以预防。（D）有些疾病必然没有确定的诱因，但所有的疾病都可能加以预防。新阳光教育： 免费热线：400-886-0085例题解析 正确答案是C。题干中，本杰明的看法是“如果不是所有的疾病都必然有确定的诱因，那么有些疾病可能难以预防”。富兰克林不同意这个意见，亦即他的观点构成了本杰明的看法的负命题，即“并非所有的疾病都必然有确定的诱因，并非有些疾病可能难以预防”，这就等于“有些疾病可能没有确定的诱因，但所有疾病都必然可以预防”。这是两套逻辑方阵的综合应用，有点难度。但是它仍然是我们可以通过常识判断的。新阳光教育： 免费热线：400-886-0085例题“不可能宏达公司和亚鹏公司都没有中标。以下哪项最为准确地表达了上述断定的意思？A宏达公司和亚鹏公司可能都中标。B宏达公司和亚鹏公司至少有一个可能中标。C宏达公司和亚鹏公司必然都中标。D宏达公司和亚鹏公司至少有一个必然中标。”新阳光教育： 免费热线：400-886-0085例题解析 题干可以抽象为“不可能（非P并且非Q）”，它等价于“必然非（非P并且非Q）”。根据联言命题的负命题及其推理，题干的意思等价于“必然（P或者Q）”意即P与Q中至少有一个必然故本例题答案是D。GCT考试中，其他类型的模态推理较少考到，因此，我在此不多说，各位下面看看讲义就可以，要注意矛盾关系的两组推理。新阳光教育： 免费热线：400-886-00853 典型例题根据卫星提供的最新气象资料表明，原先预报的明年北方地区的持续干旱不一定出现。以下哪项最接近于上文中气象资料表明的含义？A、明年北方地区的持续干旱可能不出现。B、明年北方地区的持续干旱可能出现。C、明年北方地区的持续干旱一定不出现。D、明年北方地区的持续干旱出现的可能性比不出现的可能性大。答案是A。新阳光教育： 免费热线：400-886-0085例题不必然任何经济发展都会导致生态恶化，但不可能有不阻碍经济发展的生态恶化。以下哪项与上述断定的含义最为接近？A、任何经济发展都不必然导致生态恶化，但任何生态恶化都必然阻碍经济发展。B、有的经济发展可能不导致生态恶化，但任何生态恶化都必然阻碍经济发展。C、任何经济发展都可能不导致生态恶化，但有的生态恶化必然阻碍经济发展。D、有的经济发展可能不导致生态恶化，但任何生态恶化都可能阻碍经济发展。答案是B。