| 二值命题逻辑中有限理论的α-结论 |
| |
| 引用本文： | 王爱青,WANG Ting-ming.二值命题逻辑中有限理论的α-结论[J].山东农业大学学报(自然科学版),2008,39(3). |
| |
| 作者姓名： | 王爱青 WANG Ting-ming |
| |
| 作者单位： | 青岛理工大学理学院,青岛,266033 |
| |
| 摘 要： | 以公式真度概念为基础,给出了二值命题逻辑系统中有限理论的α-结论的判定条件,讨论了在基本逻辑运算下理论的α-结论问题以及同一理论的结论的相似度.
|
| 关 键 词： | 有限理论 真度 有效度 α-结论 |
The α-conclusion of the Finite Theory in Two-valued Propositional Logic |
| |
| WANG Ai-qing,WANG Ting-ming.The α-conclusion of the Finite Theory in Two-valued Propositional Logic[J].Journal of Shandong Agricultural University,2008,39(3). |
| |
| Authors: | WANG Ai-qing WANG Ting-ming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
