MBA-day17 假言推理：如果的考法与题型

1. 考法

1. 变形推理
2. 假言直言推理
3. 假言的矛盾
4. 假言反三段论
5. 假言选言推理（两难推理）
6. 假言连锁推理
7. 假言归谬推理
8. 假言真假判断及真假话推理
9. 假言结构比较
10. 假言推理错误

2. 如果p则q的变形

1. 只有q才p == 如果p则q
2. 如果p则q == 如果非q则非p
3. 除非非p，否则q == 如果p则q
4. 非p或q == 如果p，则q
5. 所有p是q == 如果p则q
6. 只要p就q == 如果p则q
7. 除非p，否则q == 如果非p，则q == p 或q

3. 如果的转换

1. 所有p是q == 如果p 则q
2. 所有p不是q == 如果p则非q
3. 只有p才q == 如果q，则p
4. 除非p才q == 如果q，则p
5. 除非p，否则q == 如果非p,则q
6. q，除非p == 除非p, 否则q == 如果非p，则q
7. 要p成立，（就）必须q成立 == 如果p成立，则q成立
8. 必须p成立，才q成立 == 只有p成立才q成立 == 如果q成立，则p成立
9. 只要p就q == 如果p则q
10. 若要p，除非q == 如果p，则q
11. p 或 q == 如果非p则q == 如果非q则p
12. 如果p则q == 非p 或 q

4. 习题

4.1 例题 1

只有下雨，才能去图书馆。
以下诸项都准确表达了上述断定的含义，除了：

A 除非下雨，否则不去图书馆
B 如果不下雨，那么不去图书馆
C 如果去了图书馆，说明下雨了
D 或者不去图书馆，或者下雨
E 只要下雨，就一定去图书馆

答案：E

解：只有下雨，才能去图书馆
如果图书馆，则下雨 == 如果不下雨，则不去图书馆


A 除非下雨，否则不去图书馆 真
如果不下雨，则不去图书馆

B 如果不下雨，那么不去图书馆 真

C 如果去了图书馆，说明下雨了 真

D 或者不去图书馆，或者下雨 真
如果去图书馆，则下雨
如果不下雨，则不去图书馆

E 只要下雨，就一定去图书馆 假
如果下雨，则去图书馆。错，应该是如果图书馆，则下雨

4.2 例题 2

除非不以崇尚科学为荣，否则就能攀登科学高峰。
以下各项都表达了与题干相同的含义，除了（）

A 如果以崇尚科学为荣，就能攀登科学高峰
B 只有能攀登科学高峰，才会以崇尚科学为荣
C 只有不以科学为荣，才不能攀登科学高峰
D 如果不以崇尚科学为荣，就不能攀登科学高峰
E 除非能攀登科学高峰，否则不会以崇尚科学为荣

答案 D

解：除非不以崇尚科学为荣，否则就能攀登科学高峰。
如果崇尚科学为荣，则能攀登科学高峰 == 如果不攀登科学高峰，则不崇尚科学为荣

A 如果以崇尚科学为荣，就能攀登科学高峰 真

B 只有能攀登科学高峰，才会以崇尚科学为荣 真
必要条件，等价 如果以崇尚科学为荣，就能攀登科学高峰

C 只有不以科学为荣，才不能攀登科学高峰 真
如果不攀登科学高峰，则不宜崇尚科学为荣

D 如果不以崇尚科学为荣，就不能攀登科学高峰。否前不能推出否后。只能否后推否前

E 除非能攀登科学高峰，否则不会以崇尚科学为荣 真
如果不攀登科学高峰，则不崇尚科学为荣

4.3 例题 3

只有通过身份认证的人才允许上公司内网；如果没有良好的业绩就不能通过身份认证。张辉有良好的业绩，而王伟没有良好业绩。如果上述断定为真，则以下哪项一定为真？

答：不允许王伟上公司内网

解：先从确定关系入手：
张辉有良好的业绩。否前无法推出否后，故张辉不确定

王伟没有良好业绩，则不能通过身份认证。
由只有通过身份认证的人才允许上公司内网,得 如果允许上内网，则通过身份认证。
如果没有通过身份认证，则不允许上内网

故王伟没有良好业绩->不能通过身份认证->不允许上内网

4.4 例题 4

一江南园林拟建松、竹、梅、兰、菊 5 个园子。该园林拟设东南北三个门，分别位于其中3个园子。这5个园子的布局满足如下条件：
1）如果东门位于松园或菊园，那么南门不位于竹园
2）如果南门不位于竹园，那么北门不位于兰园
3）如果菊园在园林的中心，那么它与兰园不相邻
4）兰园与菊园相邻，中间连着一座美丽的廊桥

• 根据以上信息，可以得出哪项？
  答：菊园不在园林的中心

• 如果北门位于兰园，则可以得出以下哪项？
  A 南门在菊园
  B 东门在竹园
  C 东门位于梅园
  D 东门位于松园
  E 南门位于梅园

答：C

解:先从确定的关系入手：
4）兰园与菊园相邻

3）如果菊园在园林的中心，那么菊园与兰园不相邻
否后推否前：兰园与菊园相邻 -> 菊园不在园林的中心


如果北门位于兰园
2）如果南门不位于竹园，那么北门不位于兰园
否后推否前：北门位于兰园 -> 南门位于竹园

1）如果东门位于松园或菊园，那么南门不位于竹园
否后推否前：南门位于竹园 -> 东门不在松园和菊园

北门位于兰园 -> 南门位于竹园 -> 东门不在松园和菊园

A 南门在菊园 假 南门在竹园
B 东门在竹园 假 南门在竹园
C 东门位于梅园 真
D 东门位于松园 假 东门不在松园和菊园
E 南门位于梅园 假 南门在竹园