期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

带有多重量词的谓词公式的否定被引量：1

On Negation of Predicate Formulae with Multiple Quantifiers

下载PDF

导出

摘要讨论了谓词逻辑中带有多重量词的谓词公式的否定问题,得出了对于此类谓词公式可以逐层否定的结论,从而填补了现有诸教材在这个问题上的一个空白。

作者祝深有张会凌

机构地区甘肃广播电视大学教学指导中心甘肃联合大学数学与信息学院

出处《甘肃广播电视大学学报》 2008年第3期36-37,共2页 Journal of Gansu Radio & Television University

关键词多重量词谓词公式否定结论逐层否定

分类号 O158 [理学—基础数学]

引文网络
相关文献

参考文献1

1Kenneth 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期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部