树状图判断重言式的例题

时间：2022-09-08 00:13:13 阅读：最新文章文档下载

说明：文章内容仅供预览，部分内容可能不全。下载后的文档，内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的，是否完整无缺。

树状图判断重言式的例题

树状图方法

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

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