| Gdel中单个或两个原子生成公式的真度分布 |
| |
| 引用本文： | 李友雨,张兴芳,李成允. Gdel中单个或两个原子生成公式的真度分布[J]. 计算机工程与应用, 2009, 45(14): 56-57 |
| |
| 作者姓名： | 李友雨 张兴芳 李成允 |
| |
| 作者单位： | 聊城大学,数学科学学院,山东,聊城,252059 |
| |
| 基金项目： | 教育部科学技术研究重点项目 |
| |
| 摘 要： | 以Goedel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。
|
| 关 键 词： | Gdel系统 逻辑公式 真度 |
| 收稿时间： | 2008-10-07 |
| 修稿时间： | 2008-12-24 |
Distributing of truth degree with formulas by one atom or two atom based on Gdel system |
| |
| LI You-yu,ZHANG Xing-fang,LI Cheng-yun School of Mathematics Science,Liaocheng University,Liaocheng,Sh,ong ,China. Distributing of truth degree with formulas by one atom or two atom based on Gdel system[J]. Computer Engineering and Applications, 2009, 45(14): 56-57 |
| |
| Authors: | LI You-yu ZHANG Xing-fang LI Cheng-yun School of Mathematics Science Liaocheng University Liaocheng Sh ong China |
| |
| Affiliation: | LI You-yu,ZHANG Xing-fang,LI Cheng-yun School of Mathematics Science,Liaocheng University,Liaocheng,Sh,ong 252059,China |
| |
| Abstract: | This paper gives a distributing of truth degree with formulas generated by one atom or two atom based on Gödel system.Furthmore，a detailed classifation of F（p），F（p，q） is provided. |
| |
| Keywords: | Gödel system logical formula truth degree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
|
