首页> 中文期刊> 《工程数学学报》 >L*系统中由单个原子生成的公式的真值函数的特征

L*系统中由单个原子生成的公式的真值函数的特征

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何.进而按照逻辑等价的关系将由单原子生成的公式集进行细致的分类.

著录项

来源
《工程数学学报》 |2005年第3期|563-566|共4页
作者
任芳;
展开▼
作者单位

陕西师范大学数学与信息科学学院,西安,710062;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
L*系统; 逻辑公式; 真值函数;

相似文献

中文文献
外文文献
专利

1. Gdel系统中由一个或两个原子生成的公式的真值函数的特征 [J] . 张安英 ,张兴芳 ,高芹 . 模糊系统与数学 . 2007,第3期
2. L~*系统中由单个原子生成公式的真度分布 [J] . 李友雨 ,张兴芳 ,李成允 . 计算机工程与应用 . 2010,第010期
3. G(o)del中单个或两个原子生成公式的真度分布 [J] . 李友雨 ,张兴芳 ,李成允 . 计算机工程与应用 . 2009,第014期
4. Ⅱ系统中公式的真值函数及真度分布 [J] . 李友雨 ,张兴芳 ,李成允 . 计算机工程与应用 . 2009,第015期
5. 命题逻辑判定系统中基本真值矩阵的生成算法 [J] . 张会凌 . 甘肃联合大学学报（自然科学版） . 2005,第001期
6. 逻辑系统L*中由单原子生成的{Τ,→}型公式的真值函数特征 [C] . 陈熙 ,凌雪岷 ,徐罗山 . 2010年模糊数学与模糊系统第十五届年会 . 2010
7. BR0代数及对应逻辑系统中单原子生成公式的真值函数特征 [A] . 凌雪岷 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号