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

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

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

作 者： 龚启荣   作者单位： 贵州大学信息管理系,  刊 名： 贵州大学学报(自然科学版)  ISTIC 英文刊名： JOURNAL OF GUIZHOU UNIVERSITY (NATURAL SCIENCE)  年，卷(期)： 2001 18(1)  分类号： B812.22 & O141  关键词： 数理逻辑   重言式   传统逻辑   推理式   判定方法  

【真值表等数理逻辑方法的判定功能】相关文章：

关于判定命题推理有效性真值表化简方法的引申04-27

电器设备故障的判定方法04-27

浅谈对斑竹坑井田煤系地层层位的判定方法04-28

蛋白质功能研究方法及技术04-28

浅析英语广告的修辞方法及其功能04-28

判定超欧拉图的一个新方法04-29

模糊判断矩阵的一致性判定及改进方法研究04-27

海洋功能区划理论体系与编制方法的思考04-26

矩形的判定检测题04-28

生态系统服务功能价值评估方法综述04-25