| Gdel逻辑系统中的函数决定公式问题 |
| |
| 引用本文： | 李成允,张兴芳. Gdel逻辑系统中的函数决定公式问题[J]. 系统科学与数学, 2010, 30(2): 283-288 |
| |
| 作者姓名： | 李成允 张兴芳 |
| |
| 作者单位： | 聊城大学数学科学学院,山东,252059 |
| |
| 基金项目： | 教育部科学技术研究重点项目 |
| |
| 摘 要： | 以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。
|
| 关 键 词： | G" {o}del逻辑系统,真值函数,函数决定公式问题. |
| 收稿时间： | 2008-10-07 |
FUNCTION DECIDED FORMULAE PROBLEM IN G(O)DEL LOGIC SYSTEM |
| |
| LI Chengyun,ZHANG Xingfang. FUNCTION DECIDED FORMULAE PROBLEM IN G(O)DEL LOGIC SYSTEM[J]. Journal of Systems Science and Mathematical Sciences, 2010, 30(2): 283-288 |
| |
| Authors: | LI Chengyun ZHANG Xingfang |
| |
| Affiliation: | School of Mathematical Sciences, Liaocheng University, Liaocheng 252059 |
| |
| Abstract: | In this paper, based on G"{o}del logic system, function decided formulaeproblem is solved. Then the characteristic of truth degree of formulae basedon G"{o}del system is given. |
| |
| Keywords: | G" {o}del logic system truth function function decided formulae problem. |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
|
点击此处可从《系统科学与数学》下载全文 |
|
