| 真值表等数理逻辑方法的判定功能 |
| |
| 引用本文： | 龚启荣. 真值表等数理逻辑方法的判定功能[J]. 贵州大学学报(自然科学版), 2001, 18(1): 58-65 |
| |
| 作者姓名： | 龚启荣 |
| |
| 作者单位： | 贵州大学信息管理系, |
| |
| 摘 要： | 真值表，归谬赋值，真值树，演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。
|
| 关 键 词： | 数理逻辑 重言式 推理式 判定方法 真值表 归谬赋值 真值树 |
| 文章编号： | 1000-5269(2001)01-0058-06 |
| 修稿时间： | 2000-09-18 |
Judging Function of Methods of Mathematical Logic Such as Truth Table etc. |
| |
| Gong Qirong. Judging Function of Methods of Mathematical Logic Such as Truth Table etc.[J]. Journal of Guizhou University(Natural Science), 2001, 18(1): 58-65 |
| |
| Authors: | Gong Qirong |
| |
| Abstract: | Truth table,value assignment of reduction to absurdity,truth tree,deductive argumentation and normal form etc.are the methods of judging(or proving) tautology in propositional calculus of mathematical logic,but not that of judging inference formula in traditional propositional logic. |
| |
| Keywords: | mathematical logic tautology traditional logic inference formula method of judge. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
