| 关于判定命题推理有效性真值表化简方法的引申 |
| |
| 引用本文： | 刘宏全.关于判定命题推理有效性真值表化简方法的引申[J].陕西教育学院学报,2002,18(1):25-27. |
| |
| 作者姓名： | 刘宏全 |
| |
| 作者单位： | 陕西教育学院,陕西,西安,710061 |
| |
| 摘 要： | 真仿表方法是命题逻辑的一种重要的方法，它既可以判定一个命题公式是重言式，矛盾式或协调式，也可以判定命题推理是否有效。掌握真值表化简方法对判定命题推理是否有效显得尤为重要。
|
| 关 键 词： | 真值表 重言式 化简方法 引申 命判推理 有效性 判断 |
| 文章编号： | 1008-598X(2002)01-0025-03 |
| 修稿时间： | 2001年11月20 |
On Extended Ways of Simplified Truth Table to Judge the Validity of Determining Proposition Inference |
| |
| LIU Hong-quan.On Extended Ways of Simplified Truth Table to Judge the Validity of Determining Proposition Inference[J].Journal of Shaanxi Institute of Education,2002,18(1):25-27. |
| |
| Authors: | LIU Hong-quan |
| |
| Abstract: | Using a truth table is one of the important ways for proposition logic. It can judge if a proposition is valid. To learn using this way is specially important to judge the validity of determining proposition inference. |
| |
| Keywords: | truth table way of simplifying tautology |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
