2015年在职工硕GCT逻辑考试备考辅导(5)

　　推理的形式分析和形式判定

　　正如前面已经指出的，GCT逻辑试题主要着眼于前提和结论的语义关联，一般不涉及推理的形式分析和形式判定。但也有的试题涉及推理的形式结构的比较，因而涉及推理的形式分析;也有的试题甚至涉及基于某些专业知识的形式判定。

　　下面通过实例加以说明。

　　[例3]

　　总经理：我主张小王和小孙两人中至少提拔一人。

　　董事长：我不同意。

　　以下哪项，最为准确地表述了董事长实际上同意的意思?

　　A.小王和小孙两人中至多提拔一人。

　　B.小王和小孙两人都不提拔。

　　C.小王和小孙两人都得提拔。

　　D.小王和小孙两人，或者都提拔，或者都不提拔。

　　解析：答案是B。

　　先列出几个逻辑公式，其中A和B表示命题。相关的逻辑知识将在“命题逻辑的相关知识及其应用”中介绍：

　　并非(A或者B)= 非A 并且非B;

　　并非(A并且B)= 非A 或者非B

　　并非(非A)= A

　　A或者B = 如果非A，则B

　　令：A=(主张)提拔小王;B=(主张)提拔小孙。

　　则：总经理的意见是：A或者B

　　董事长的意见是：并非(A或者B)

　　由公式：并非(A或者B)= 非A并且非B，可得出董事长实际上的意见是：不提拔小王，并且不提拔小孙，即小王、小孙两人都不提拔。所以B项成立。

　　[练习]

　　令：A=(主张)提拔小王;B=(主张)提拔小孙。

　　写出表达以下各项的公式，其中只出现：A、B、并且、或者、并非(非)和括号。

　　A.小王和小孙两人中至多提拔一人。

　　B.小王和小孙两人都不提拔。

　　C.小王和小孙两人都得提拔。

　　D.小王和小孙两人，或者都提拔，或者都不提拔。

　　解：

　　B.小王和小孙两人都不提拔。非A并且非B

　　C.小王和小孙两人都得提拔。A并且B

　　D.小王和小孙两人，或者都提拔，或者都不提拔。(A并且B)或者(非A并且非B)

　　A.小王和小孙两人中至多提拔一人。并非(A并且B)= 非A或者非B

　　[例4]

　　总经理：根据本公司目前的实力，我主张环岛绿地和宏达小区这两项工程至少上马一个，但清河桥改造工程不能上马。

　　董事长：我不同意。

　　以下哪项，最为准确地表达了董事长实际同意的意思?

　　A.环岛绿地、宏达小区和清河桥改造这三个工程都上马。

　　B.环岛绿地、宏达小区和清河桥改造这三个工程都不上马。

　　C.环岛绿地和宏达小区两个工程中至多上马一个，但清河桥改造工程要上马。

　　D.如果做不到环岛绿地和宏达小区两个工程都不上马，那也要保证清河桥改造工程上马。

　　在解析该题之前，先做以下练习。

本文选自新东方在线论坛。