关于判定命题推理有效性真值表化简方法的引申
真值表方法是命题逻辑的一种重要的方法.它既可以判定一个命题公式是重言式、矛盾式或协调式,也可以判定命题推理是否有效.掌握真值表化简方法对判定命题推理是否有效显得尤为重要.
作 者： 刘宏全 作者单位： 陕西教育学院,陕西,西安,710061 刊 名： 陕西教育学院学报 英文刊名： JOURNAL OF SHAANXI INSTITUTE OF EDUCATION 年，卷(期)： 2002 18(1) 分类号： B81 关键词： 真值表 重言式 化简方法