命题逻辑中的蕴涵关系到底是什么意思?课本上的定义是:当且仅当P→Q是一个重言式时,我们称“P蕴涵Q。按

[复制链接]
查看11 | 回复1 | 2011-3-22 14:28:29 | 显示全部楼层 |阅读模式
和小推大,大推小没关系。P→Q是一个重言式的意思就是:P→Q是真的。也就是说,如果P→Q这个公式是真的,那么P蕴涵Q。例如:“如果天下雨(P),那么地湿(Q)”这句话是真的的话,我们说“天下雨”蕴含“地湿”。因为命题逻辑喜欢用一些术语,重言式是永真的式子,不用管它,拿个例子就好理解了。备注:该例子其实不准确,因为命题逻辑只考虑符号,不考虑语义...
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

主题

0

回帖

4882万

积分

论坛元老

Rank: 8Rank: 8

积分
48824836
热门排行