真值表等数理逻辑方法的判定功能

摘要

真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定 (或证明 )方法 ,但不是传统命题逻辑推理式的判定方法 .