树状图判断重言式的例题

2022-09-08 00:13:13   第一文档网     [ 字体: ] [ 阅读: ] [ 文档下载 ]
说明:文章内容仅供预览,部分内容可能不全。下载后的文档,内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的,是否完整无缺。下载word有问题请添加QQ:admin处理,感谢您的支持与谅解。点击这里给我发消息

#第一文档网# 导语】以下是®第一文档网的小编为您整理的《树状图判断重言式的例题》,欢迎阅读!
重言,例题,树状,判断

树状图判断重言式的例题

树状图方法

形图方法和归谬赋值实质上是一样的。当要判断A是不是重言式时,将问题转为判断﹁A有没有可能为真,如果这是不可能的,则A是重言式。

将待判断命题的否命题按下面的规则展开。如果一个分支上同时出现某个命题及其否定,则该分支封闭,在末端打上X号。如果所有分支都封闭,则待判断命题是重言式。每个命题都要用这些规则不断展开,直到将其分解为原子命题,除非某分支出现矛盾提前终结。已经展开的命题,在其旁边打上号,表示后面不需要再考虑这个命题了。









本文来源:https://www.dywdw.cn/c89e4ff353e2524de518964bcf84b9d528ea2cfb.html

相关推荐
推荐阅读