二、朴素逻辑

朴素逻辑中常用的方法有代入排除法、假设法等。

【真题】北京市为了缓解交通压力实行机动车辆限行政策，每辆机动车周一到周五都要限行一天，周末不限行。某公司有A、B、C、D、E五辆车，保证每天至少有四辆车可以上路行驶。已知：E车周四限行，B车昨天限行，从今天算起，A、C两车连续四天都能上路行驶，E车明天可以上路。

由此可知，下列推测一定正确的是：

A.今天是周六 B.今天是周四 C.A车周三限行 D.C车周五限行

【答案】D。解析：此题用假设法，如果选项A正确，则A、C两车周一周二都能行驶，B车周五限行，由此推出A、C两车都周三限行，与题目已知保证每天至少有四辆车可以上路行驶不符，因此A选项错误。如果B选项正确，则A、C在周一、二限行，B车周三限行，符合题意，并且此时C、D选项全部不满足，所以选择B选项。