期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
带有多重量词的谓词公式的否定
被引量:
1
On Negation of Predicate Formulae with Multiple Quantifiers
下载PDF
职称材料
导出
摘要
讨论了谓词逻辑中带有多重量词的谓词公式的否定问题,得出了对于此类谓词公式可以逐层否定的结论,从而填补了现有诸教材在这个问题上的一个空白。
作者
祝深有
张会凌
机构地区
甘肃广播电视大学教学指导中心
甘肃联合大学数学与信息学院
出处
《甘肃广播电视大学学报》
2008年第3期36-37,共2页
Journal of Gansu Radio & Television University
关键词
多重量词
谓词公式
否定
结论
逐层否定
分类号
O158 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
1
共引文献
0
同被引文献
0
引证文献
1
二级引证文献
0
参考文献
1
1
Kenneth H Rosen.Discrete Mathematics and Its Ap-plication[]..2003
引证文献
1
1
汪展鹏,兰笛,周洁.
谓词逻辑等值式在多元谓词的推广[J]
.数学学习与研究,2021(2):134-135.
1
屈俊峰,张青宁.
谓词公式的翻译[J]
.现代计算机,2009,15(2):144-145.
2
张炳汉.
真值表在数理逻辑中的重要作用[J]
.天中学刊,1997,12(2):20-23.
被引量:4
3
钟铭,胡丽萍.
关于一阶逻辑中的谓词公式对偶式的讨论[J]
.天中学刊,1995,10(4):19-20.
4
邝锦棠.
关于NP最优化类问题的谓词公式表示法[J]
.桂林电子工业学院学报,1998,18(1):7-10.
5
储昭辉.
主范式在数理逻辑中的重要作用[J]
.滁州学院学报,2006,8(4):44-46.
被引量:2
6
王国俊,秦晓燕,周湘南.
一类二值谓词逻辑中公式的准真度理论[J]
.陕西师范大学学报(自然科学版),2005,33(1):1-6.
被引量:23
7
孙明湘.
弗雷格的真值函项理论[J]
.吉首大学学报,1997,18(4):40-43.
被引量:1
8
龙光正,严国顺,龙晓伟.
基于SPN有限等待差错服务的火力单元排队模型[J]
.火力与指挥控制,2004,29(6):26-28.
被引量:4
甘肃广播电视大学学报
2008年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部