归谬赋值方法
现代逻辑中的一种判定方法,它能用于判定推理是否有效。先假设所要判定的推理的前提真,且结论假;根据这个假设,给推理形式中的每个命题变项赋值,使之满足前提真且结论假。在这样的赋值中,如果出现逻辑矛盾,则说明前提真而结论假的假设不成立,因而该推理形式有效。否则,如果不出现矛盾,则此推理形式不是有效的。例如,“如果地球围绕太阳公转,但并不围绕自己的轴线自转,那么地球上就没有白天和黑夜。因为事实上地球上有白天和黑夜,所以,或者地球不公转,或者地球既公转又自转。”这个推理形式是:((p∧q)→,其赋值过程是:根据假设,前提真而结论假;为使结论假,必 ...... (共518字) [阅读本文]>>