求大佬解答，在谓词推论中，如果前提中的蕴含式前件不为论域中任何成员所满足，那么他这前提就是真的，理解不了啊【逻辑学吧】

逻辑学吧关注：38,113贴子：144,685

求大佬解答，在谓词推论中，如果前提中的蕴含式前件不为论域中任何成员所满足，那么他这前提就是真的，理解不了啊，如下铅笔画的。我好笨啊。谢谢大佬

送TA礼物

IP属地:广东

来自Android客户端1楼2019-05-27 20:12回复

在一个实质蕴涵式里，如果前件为假，那么，该式为真。

IP属地:北京

来自Android客户端2楼2019-05-28 06:18

收起回复

2025-03-25 16:30广告

看看第6行，第7行。

IP属地:北京

来自Android客户端3楼2019-05-28 06:21

IP属地:北京

来自Android客户端4楼2019-05-28 06:27

收起回复

其实，也不是楼主笨。有些术语不规范，让人误解。例如，开语句。Dx→Mx，为开语句。但是，其中的个体变量x,置换为个体常量时，就不叫开语句了，即Da→Ma。

IP属地:北京

来自Android客户端5楼2019-05-28 06:54

收起回复

下载贴吧APP
看高清直播、视频！

贴吧热议榜

发表回复

内容:

使用签名档查看全部

发表

保存至快速回贴