2019逻辑作业

1．求下列真值形式的合取范式和析取范式，并且判断其类型。（1）pqpq；（2）qpqp；

2．试用范式方法判定推理的有效性。

这是一个家庭主妇叙述的推理。她有两个孩子，一个叫冰冰，另一个叫宁宁。她说：

“我无法同时带两个孩子出去看电影。如果我带冰冰而不带宁宁的话，宁宁准要哭闹。因此，如果我不想让宁宁哭闹的话，只有两个孩子谁也不带出去。

”这个推理成立吗？

3．求真值形式pqrr的优合取范式和优析取范式。

4．某厂要选派若干人出国考察，候选人为a，b，c，d，e五位，由于种种原因，选派工作有这样的要求：（1）a，b只能去一人去；（2）若c去，则d，e也去；（3）b，d要么都去，要么都不去；（4）a，d至少有一人去。问应该如何安排出国人选？

5.用真值树的方法判断以下四个断定是否一致：（1）任何事件的发生都有必然原因。

2）如果任何事件的发生都有必然原因，那么一个人就不可能采取不同的方式来实施某。

种行为。3）一个人对他的（至少某些）行为负有道义责任。

4）一个人对他的行为负有道义责任的必要条件是他可以采取不同的方式来实施某种行。

为。6.用真值树的方法判断下面推理是否有效：

如果世界在本质上是统一的，则归纳的方法是有效的。如果存在着推理的方法可以有效地**世界的未来，则说明世界在本质上是统一的。因此，如果归纳的方法不是有效的，则不存在推理的方法可以有效地**世界的未来。

7.用构造命题自然推理的方法判断下面推理是否有效：如果人的思维是纯个人的，那么，我就不可能知道除我之外任何一个人也有思维。

而有思维是一个人之所以成为人的必要条件。如果这点成立的话，则如果我不知道除我之外任何一个人也有思维，那我就不会知道除我之外的任何人也是人。因此，只要我知道除我之外某个人也是人，就说明人的思维不是纯个人的。

（p=人的思维是纯个人的；q=我就能知道除我之外任某个人也有思维；r=有思维是一个人之所以成为人的必要条件；s=我能够知道除我之外某个人也是人）