《逻辑思维训练》大作业

《逻辑思维训练》大作业
西南交通大学2010－2011学年第(一)学期大作业
课程代码 6200302 课程名称逻辑思维训练考试类型大作业
一、完成以下关于直言三段论的两个问题。

（20分）
（1）简单概括直言三段论四种“格”的形式、规则和作用，并分别举例说明。

（2）证明直言三段论第一格的规则：小前提必须肯定；大前提必须全称。

二、完成以下两个判断，写出具体过程。

（20分）（1）用真值表法判定（┑p∨q ）∧┑p → q 是否是重言式。

（2）用归谬赋值法判定（p∧q∧r →s ）→ （┑s→ （p→ （q → ┑r ）））是否是重言式。

三、简单概括“穆勒五法”所述的五种归纳逻辑方法的含义和具体结构，并对每种方法设计一个试验，写出试验步骤。

（20分）
四、某岛上有三个奇怪的村庄，甲村的人从来不说谎，乙村的人从来不讲实
话，丙村的人一句实话跟着一句谎话，一句谎话跟着一句实话，并且开始的一句是实话还是谎话没有准。

有一天，张三、李四和王五到岛上观光，碰到两个导游，他们都说对方是丙村的。

当这两个导游做裁判，看张三、李四和王五三人谁抛石头抛得远时，他们给出不同的结论：
一个说：“张三第一、李四第二、王五第三”
另一个说：“王五第一、张三第二、李四第三，”
那么两个导游各是哪村的？三人名次如何？（写出具体推理过程）（20分）
五、有张三，李四两个人。

张三只说假话，不说真话；李四只说真话，不说
假话。

他们回答问题时只通过点头和摇头来表示，并不说话。

有一天，一个学者面对两条路X和Y，其中一条通向首都，另一条通向小镇。

他面前站着张三和李四其中的一个人，但他不知道是张三还是李四。

也不知道“点头”是表示“是”，还是表示“否”。

他只须问一
个问题，就可以确定哪条路通向首都。

这个问题应该如何问？（写出具体推理过程）（20分）。