真值表等数理逻辑方法的判定功能
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定(或证明)方法,但不是传统命题逻辑推理式的判定方法.
作 者： 龚启荣 作者单位： 贵州大学信息管理系, 刊 名： 贵州大学学报(自然科学版) ISTIC 英文刊名： JOURNAL OF GUIZHOU UNIVERSITY (NATURAL SCIENCE) 年，卷(期)： 2001 18(1) 分类号： B812.22 & O141 关键词： 数理逻辑 重言式 传统逻辑 推理式 判定方法