期刊文献+

判断论证有效性的一个算法

An Algorithm of Determining Validity of Arguments
下载PDF
导出
摘要 给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法 .此算法可以减少手工列真值表判断的计算量 ,也可由计算机直接实现 . Based on the principle of truth table,this paper intends to give a simple algorithm for determining the validity of a logical argument,which can be achieved directly in computer as well as can reduce the amount of work in judging the validity with a combinde truth table manually.
作者 张会凌
出处 《甘肃教育学院学报(自然科学版)》 2001年第2期17-19,共3页 Journal of Gansu Education College(Natural Science Edition)
关键词 算法 判断 论证 有效性 数学 计算机逻辑 algorithm judgment validity of an argument logic for matheamtics and computer science program
  • 相关文献

参考文献1

  • 1Hamilton A G 朱水林(译).数理逻辑[M].上海:华东师范大学出版社,1986.24-27.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部