树状图判断重言式的例题

2022-09-08 00:13:13 文档大全网 [ 字体：小中大 ] [ 阅读： ]

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

树状图方法

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

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