| Goedel系统中由一个或两个原子生成的公式的真值函数的特征 |
| |
| 引用本文： | 张安英 张兴芳 高芹. Goedel系统中由一个或两个原子生成的公式的真值函数的特征[J]. 模糊系统与数学, 2007, 21(3): 54-59 |
| |
| 作者姓名： | 张安英 张兴芳 高芹 |
| |
| 作者单位： | [1]聊城第一中学,山东聊城252059 [2]聊城大学数学科学学院,山东聊城252059 |
| |
| 基金项目： | 山东省自然科学基金资助项目 |
| |
| 摘 要： | ![]()
在Goedel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F（p）,F（p,q）进行了细致的分类。
|
| 关 键 词： | Goedel系统 逻辑公式 真值函数 |
| 文章编号： | 1001-7402（2007）03-0054-06 |
| 收稿时间： | 2006-03-14 |
| 修稿时间： | 2006-03-142006-05-16 |
The Characterization of the Truth Functions Associated with Formulas Generated by One or Two Atoms Based on Goedel System |
| |
| ZHANG An-ying, ZHANG Xing-fang, GAO Qin. The Characterization of the Truth Functions Associated with Formulas Generated by One or Two Atoms Based on Goedel System[J]. Fuzzy Systems and Mathematics, 2007, 21(3): 54-59 |
| |
| Authors: | ZHANG An-ying ZHANG Xing-fang GAO Qin |
| |
| Affiliation: | 1. Liaocheng First Middle School,Liaocheng 252059,China~ School of Mathematics Science,Liaocheng University,Liaocheng 252059 ,China |
| |
| Abstract: | ![]()
|
| |
| Keywords: | Goedel System Logical Formula Truth Function |
| 本文献已被 维普 等数据库收录！ |
