G(o)del逻辑系统中公式真度判断方法
张凤姣
张兴芳
1.聊城大学,数学科学学院,山东,聊城,2520592.聊城大学,数学科学学院,山东,聊城,252059
摘要：通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
关键词：G(o)del逻辑系统逻辑公式真值函数伪真值函数真度
分类号：O142(数理逻辑、数学基础)
资助基金：国家自然科学基金(60875034)聊城大学基金项目(X081001)
论文发表日期：2011-01-01
在线出版日期：2026-08-28（本平台首次上网日期，不代表文献的发表时间）
页数：5( 39-42,46 )
英文信息