顶

我也求

所以 科大学子们写出来了吗？梁HC又在杀人了

树状图解题 要 科大学子解什么样的题？？

命题逻辑的真值树，非常有用。
它的分解规则，实际上很简单的，也是清楚明白的。关键的难点，是最后的判定结果。
若全部分支都是封闭的，这个公式为矛盾式。那么，它的否定式，当然就是重言式了。
若至少有一个分支是不封闭的，这个公式就不是矛盾式。而不是矛盾式，这个公式是有真式。