归谬赋值方法

现代逻辑中的一种判定方法,它能用于判定推理是否有效。先假设所要判定的推理的前提真,且结论假;根据这个假设,给推理形式中的每个命题变项赋值,使之满足前提真且结论假。在这样的赋值中,如果出现逻辑矛盾,则说明前提真而结 ......    （本文共 473 字 ）     [阅读本文] >>