歸謬賦值方法

歸謬賦值方法指的是現代邏輯中的一種判定方法，它能用於判定推理是否有效。先假設所要判定的推理的前提真，且結論假;根據這個假設，給推理形式中的每個命題變項賦值，使之滿足前提真且結論假。在這樣的賦值中，如果出現邏輯矛盾，則說明前提真而結論假的假設不成立，因而該推理形式有效。否則，如果不出現矛盾，則此推理形式不是有效的。

基本介紹

• 中文名：歸謬賦值方法
• 屬性：數學術語

例如，“如果地球圍繞太陽公轉，但並不圍繞自己的軸線自轉，那么地球上就沒有白天和黑夜。因為事實上地球上有白天和黑夜，所以，或者地球不公轉，或者地球既公轉又自轉。”