形式逻辑公式法

形式逻辑分析法，通常用于主要以选言/联言命题所组成的综合推理题中。通过化出题干每个命题的公式，推理出要求的结论。此种类型的综合推理也可以采用列表法求解，考生可自由选择解题方法。

（2013.1）1～2题基于以下题干：

晨曦公园拟在园内东、南、西、北四个区域种植四种不同的特色树木，每个区域只种植一种。选定的特色树种为：水杉、银杏、乌桕和龙柏。布局的基本要求是：

（1）如果在东区或者南区种植银杏，那么在北区不能种植龙柏或乌桕。

（2）北区或东区要种植水杉或者银杏。

1．根据上述种植要求，如果北区种植龙柏，以下哪项一定为真？

A．西区种植水杉
B．南区种植乌桕
C．南区种植水杉
D．西区种植乌桕
E．东区种植乌桕

【解析】

题干化公式：

①东银杏∨南银杏→┐北龙柏∨┐北乌桕；逆否得：北龙柏→┐东银杏∧┐南银杏；

②北水杉∨北银杏∨东水杉∨东银杏；

③北龙柏。

由①③得东区和南区都不能种银杏，又由②得东区种水杉。因此，选项A、C、E都可以迅速排除。又因为北区、东区、南区都不种银杏，因此银杏种在西区，进而得到南区种植乌桕。

【答案】　B

2．根据上述种植要求，如果水杉必须种植于西区或南区，以下哪项一定为真？

A．南区种植水杉
B．西区种植水杉
C．东区种植银杏
D．北区种植银杏
E．南区种植乌桕

【解析】

题干化公式：

①东银杏∨南银杏→┐北龙柏∧┐北乌桕；逆否得：北龙柏∨北乌桕→┐东银杏∧┐南银杏；

②北水杉∨北银杏∨东水杉∨东银杏；

③西水杉∨南水杉。

写出条件后，题干没有确定对应的信息，因此用假设法尝试解题。由③结合①②，可得东银杏∨北银杏，假设东银杏，由①得┐北龙柏∧┐北乌桕，此时北方无树可种，与题干矛盾。北银杏成立。

【答案】　D

3．（2014.1）为了加强学习型机关建设，某机关党委开展了菜单式学习活动，拟开设课程有行政学、管理学、科学前沿、逻辑和国际政治5门课程，要求其下属的4个支部各选择其中两门课程进行学习。已知：第一支部没有选择管理学、逻辑，第二支部没有选择行政学、国际政治，只有第三支部选择了科学前沿。任意两个支部所选课程均不完全相同。

根据上述信息，关于第四支部的选课情况可以得出以下哪项？

A．如果没有选择行政学，那么选择了逻辑
B．如果没有选择管理学，那么选择了逻辑
C．如果没有选择国际政治，那么选择了逻辑
D．如果没有选择管理学，那么选择了国际政治
E．如果没有选择行政学，那么选择了管理学

【解析】

①第一支部没有选择管理学、逻辑：第一支部选择了行政学∧国际政治；

②第二支部没有选择行政学、国际政治：第二支部选择了管理学∧逻辑；

③只有第三支部选择了科学前沿，同时第三支部还要在其余四门课中选择任意一门课程

④任意两个支部选课不能完全相同。

第四支部选两门课，不能选科学前沿，且不能与第一、第二支部重复，因此只能在第一、第二支部当中各选一门，即行政学ᗄ国际政治、管理学ᗄ逻辑。因此B选项符合推理。

【答案】　B

（2015.1）4～5题基于以下题干：

某大学运动会即将召开，经管院拟组建一支12人的代表队参赛，参赛队员将从该院4个年级的学生中选拔，每个年级须在长跑、短跑、跳高、跳远、铅球5个项目中选1～2项比赛，其余项目可任意选择，一个年级如果选择长跑，就不能选短跑或跳高；一个年级如果选跳远，就不能选长跑或铅球，每名队员只参加一项比赛，已知该院：

（1）每个年级均有队员被选拔进入代表队；

（2）每个年级被选拔进入代表队的人数各不相同；

（3）有两个年级的队员人数相乘等于另一个年级的队员人数。

4．根据以上信息，一个年级最多可选拔多少人？

A．8人
B．7人
C．6人
D．5人
E．4人

【解析】

4个年级，每个年级人数不相同且一个年级人数等于另外两个年级人数的乘积，且总人数为12人。首先确定不可能是1×2=2（人），这样就有两个年级的人数相同（均为2人）；不可能为2×4=8（人），这样，因为总人数为12，这三个年级人数为2+4+8=14（人）＞12（人）；所以只能是12=1+2+3+6（人）。

【答案】　C

5．如果某年级队员人数不是最少的，且选择长跑，那么对该年级来说，以下哪项不可能？

A．选择铅球或跳远
B．选择短跑或铅球
C．选择短跑或跳远
D．选择长跑或跳高
E．选择铅球或跳高

【解析】

题干化公式：

①长跑→┐（短跑∨跳高）=长跑→┐短跑∧┐跳高；

②跳远→┐（长跑∨铅球）=长跑∨铅球→┐跳远。

因此，必然无短跑且无跳高、无跳远。

【答案】　C