| G(o)del逻辑系统中公式真度判断方法 |
| |
| 引用本文： | 张凤姣,张兴芳.G(o)del逻辑系统中公式真度判断方法[J].聊城大学学报(自然科学版),2011,24(1). |
| |
| 作者姓名： | 张凤姣 张兴芳 |
| |
| 作者单位： | 聊城大学,数学科学学院,山东,聊城,252059 |
| |
| 基金项目： | 国家自然科学基金资助项目，聊城大学基金 |
| |
| 摘 要： | 通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
|
| 关 键 词： | G(o)del逻辑系统 逻辑公式 真值函数 伪真值函数 真度 |
The Method to Judge Truth Degree of Formula in G(o)del Logic |
| |
| ZHANG Feng-jiao,ZHANG Xing-fang.The Method to Judge Truth Degree of Formula in G(o)del Logic[J].Journal of Liaocheng University:Natural Science Edition,2011,24(1). |
| |
| Authors: | ZHANG Feng-jiao ZHANG Xing-fang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
