摘要
给出了一个基于真值表原理进行逻辑论证的有效性判断的简化算法 .此算法可以减少手工列真值表判断的计算量 ,也可由计算机直接实现 .
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