pvq真值表_真值表等数理逻辑方法的判定功能
真值表等数理逻辑方法的判定功能龚启荣【摘要】真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定(或证明)方法,但不是传统命题逻辑推理式的判定方法.【期刊名称】《贵州大学学报(自然科学版)》【年(卷),期】2001(018)001【总页数】6页(P58-63)【关键词】数理逻辑;重言式;传统逻辑;推理式;判定方法【作者】龚启荣【作者单位】贵州大学信息管理系,【正文语种】中...
