大学必修课程--真值树系统.pptVIP

有open表示这些语句彼此是一致的，而且还可以找到使它一致的结构，而且不只一个。 * 全部封闭，因此是不一致的。 * ?：turnstile。 记号是用turnstile，用它来表示蕴涵关系，语法上蕴涵。 或称 ?是?1 到 ?n 的derivation。 * 先假设前提跟结论的否定，然后假设前提与结论都成立，若把它们分解到最后得到矛盾，那就是我们假设前提都成立，结论的否定成立，这件事是不成立的。所以在前提都成立时，结论一定要成立。 等到真值树无法再分解，我们称这棵树已完全展开。 目标是把前提跟结论的否定放在一起，看看它成立否。第二件是用推论规则推论。推到无法再分解，何谓无法再分解？就是推到只剩下命题符号与命题符号的否定，就说这棵树已经完全展开。便可判断是否为有效论证。 如果只剩下命题符号与命题符号的否定，我们便说这棵树已经完全展开 * 完全展开后，如果你发现最后产生矛盾的地方，我们就会把branch关起来，如果所有都关起来，表示它是矛盾的，因此前提与结论的关系成立。如果有一个branch是打开的，就说至少有一个结构是让前提都成立而结论不成立，显然它构成无效论证，它是反例。 * 结构指的是所有的命题符号的真假值的组合。 在一个结构里不能出现矛盾， 若产生矛盾，就会关起来。 * 在某个branch出现这个情况： ?、 ??同时出现，便是封闭。 为什么？因为我们说过了，