Gdel逻辑系统中公式真度判断方法 The Method to Judge Truth Degree of Formula in Gdel Logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Gdel逻辑系统中公式真度判断方法

引用本文：	张凤姣,张兴芳.Gdel逻辑系统中公式真度判断方法[J].聊城大学学报(自然科学版),2011(1):39-42,46.

作者姓名：	张凤姣张兴芳

作者单位：	聊城大学数学科学学院

基金项目：	国家自然科学基金资助项目(60875034);聊城大学基金项目(X081001)

摘要：	通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
关键词：	Gdel逻辑系统逻辑公式真值函数伪真值函数真度
The Method to Judge Truth Degree of Formula in Gdel Logic

ZHANG Feng-jiao ZHANG Xing-fang.The Method to Judge Truth Degree of Formula in Gdel Logic[J].Journal of Liaocheng University:Natural Science Edition,2011(1):39-42,46.

Authors:	ZHANG Feng-jiao ZHANG Xing-fang

Institution:	ZHANG Feng-jiao ZHANG Xing-fang(School of Mathematics Science,Liaocheng University,Liaocheng,252059,China)

Abstract:	In this paper,a common method to judge truth degree of formulas with fewer atoms by the concept of pseudo-truth function was given in Gdel logic system.

Keywords:	Gdel logic system logical formula truth function pseudo-truth function truth degree
本文献已被 CNKI 等数据库收录！