逻辑学基础教程课后练习题部分参考答案2 下载本文

提只能是MAP。

该三段论的形式是:MAP∧SAM├SAP。

(三)以“北京人都是中国人,有的北京人不是工人”为前提,能否

必然推出下列结论为什么 1.有的工人不是中国人。

答:不能,因为它们组成的三段论犯有大项扩大的错误。 2.有的中国人不是工人。

答:可以推出。因为它们能够组成有效的三段论。

(四)写出下列议论中所运用的推理形式,并分析其有效性。

过失犯罪不是故意犯罪,共同犯罪是故意犯罪,所以共同犯罪不是过失犯罪;合伙走私是共同犯罪,可见合伙走私不是过失犯罪,或者说,合伙走私是故意犯罪。

解:第一个推理是“过失犯罪不是故意犯罪,共同犯罪是故意犯

罪,所以共同犯罪不是过失犯罪”,它的推理形式是:PEM∧SAM├ SEP。这是有效的三段论。

第二个推理是“共同犯罪不是过失犯罪,合伙走私是共同犯罪,可见合伙走私不是过失犯罪”,它的推理形式是:MEP∧SAM├ SEP。这是有效的三段论。

第三个推理是“共同犯罪是故意犯罪,合伙走私是共同犯罪,可见合伙走私是故意犯罪”,它的推理形式是:MAP∧SAM├ SAP。这是有效的三段论。

七、证明题

1.设A表示命题“所有精通逻辑的都精通英语”,B表示“所有精通英语的不精通数学”,C表示“有些精通数学的精通逻辑”。证明:若A与B均真,则C假。

证明:以命题B和A分别为大小前提得:所有精通逻辑的不精通数学。

换质得:所有精通逻辑的都不是精通数学的。 换位得:所有精通数学的都不是精通逻辑的。 该命题与C相矛盾。

所以,如果A和B均真,那么C为假。