| Gödel系统中由一个或两个原子生成的公式的真值函数的特征 |
| |
| 引用本文： | 张安英,张兴芳,高芹.Gödel系统中由一个或两个原子生成的公式的真值函数的特征[J].模糊系统与数学,2007,21(3):54-59. |
| |
| 作者姓名： | 张安英 张兴芳 高芹 |
| |
| 作者单位： | 张安英（聊城第一中学,山东,聊城,252059;聊城大学,数学科学学院,山东,聊城,252059）;张兴芳（聊城大学,数学科学学院,山东,聊城,252059）;高芹（聊城大学,数学科学学院,山东,聊城,252059） |
| |
| 基金项目： | 山东省自然科学基金资助项目 |
| |
| 摘 要： | 在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.
|
| 关 键 词： | G(o)del系统 逻辑公式 真值函数 |
| 文章编号： | 1001-7402(2007)03-0054-06 |
| 修稿时间： | 2006年3月14日 |
The Characterization of
the Truth Functions Associated with Formulas Generated by One or Two Atoms Based on Gödel
System |
| |
| ZHANG An-ying.The Characterization of
the Truth Functions Associated with Formulas Generated by One or Two Atoms Based on Gödel
System[J].Fuzzy Systems and Mathematics,2007,21(3):54-59. |
| |
| Authors: | ZHANG An-ying |
| |
| Abstract: | |
| |
| Keywords: | |
|
|
