Gdel逻辑系统中的函数决定公式问题  

FUNCTION DECIDED FORMULAE PROBLEM IN GDEL LOGIC SYSTEM

作　　者：李成允[1] 张兴芳[1] 

机构地区：[1]聊城大学数学科学学院,山东252059

出　　处：《系统科学与数学》2010年第2期283-288,共6页Journal of Systems Science and Mathematical Sciences

基　　金：教育部科学技术研究重点项目(206089)资助

摘　　要：以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。In this paper, based on Godel logic system, function decided formulae problem is solved. Then the characteristic of truth degree of formulae based on GSdel system is given.

关 键 词：Godel逻辑系统 真值函数 函数决定公式问题 

分 类 号：O141[理学—数学]