《逻辑学》(第三版)课件 第4章 谓词逻辑.pptx

《逻辑学》(第三版)课件 第4章 谓词逻辑.pptx

《逻辑学》(第三版);目

录;第四章谓词逻辑;猫科动物都是哺乳动物。(p)

老虎都是猫科动物。(q)

所以,老虎都是哺乳动物。(r)

这个推理是正确的。但是从命题逻辑的观点看

,这个推理的前提和结论分别是三个简单命题p、q

和r。在命题逻辑中,从p和q不能推出r。

虽然传统三段论是有效的,但是传统三段论的

推理形式是有限的,无法处理一些更复杂的推理,;比如:

有一个人所有人都爱他。

所以,对每个人来说,都有一个他所爱的人。

文档评论(0)

1亿VIP精品文档

相关文档