系统科学与数学
繫統科學與數學
계통과학여수학
JOURNAL OF SYSTEMS SCIENCE AND MATHEMATICAL SCIENCES
2010年
2期
283-288
,共6页
G(o)del逻辑系统%真值函数%函数决定公式问题
G(o)del邏輯繫統%真值函數%函數決定公式問題
G(o)del라집계통%진치함수%함수결정공식문제
G(o)del logic system%truth function%function decided formulae problem.
以G(o)del系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数叮由逻辑公式导出,或逻辑公式的真值函数的特征如何.然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类.
以G(o)del繫統為揹景,成功解決瞭王國俊教授提齣的函數決定公式問題即滿足什麽條件的函數叮由邏輯公式導齣,或邏輯公式的真值函數的特徵如何.然後,又給齣瞭邏輯公式的真度集的特徵,進而按照邏輯等價的關繫將公式集進行瞭細緻的分類.
이G(o)del계통위배경,성공해결료왕국준교수제출적함수결정공식문제즉만족십요조건적함수정유라집공식도출,혹라집공식적진치함수적특정여하.연후,우급출료라집공식적진도집적특정,진이안조라집등개적관계장공식집진행료세치적분류.
In this paper, based on G(o)del logic system, function decided formulae problem is solved. Then the characteristic of truth degree of formulae based on G(o)del system is given.
