首页> 中文期刊>宁夏大学学报:自然科学版 >谓词逻辑中公理化真度的若干评注

谓词逻辑中公理化真度的若干评注

开具论文收录证明 >>

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

页面导航

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

摘要

根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.

著录项

来源
《宁夏大学学报:自然科学版》|2022年第1期|30-32|共4页
作者
马硕; 惠小静; 郝娇;
展开▼
作者单位

延安大学数学与计算机科学学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
一阶谓词逻辑; 真度; 广义矛盾式; 矛盾式; 定理;
入库时间 2022-08-21 05:48:38

相似文献

中文文献
外文文献
专利

1. 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 [J] . 张兴芳 ,孟广武 . 计算机科学 . 2005,第010期
2. 二值谓词逻辑中公式的向量真度* [J] . 秦晓燕 ,徐扬 ,刘熠 . 模式识别与人工智能 . 2013,第008期
3. 模糊谓词逻辑中基于有限解释的公式的条件α-真度理论 [J] . 张兴芳 ,张安英 ,韩红霞 . 模糊系统与数学 . 2008,第2期
4. 一类二值谓词逻辑中公式的准真度理论 [J] . 王国俊 ,秦晓燕 ,周湘南 . 陕西师范大学学报（自然科学版） . 2005,第001期
5. 一阶逻辑中公理化真度研究 [J] . 郝娇 ,惠小静 ,马硕 . 计算机科学 . 2021,第0z2期
6. 有限Boole语义中公式的条件随机真度 [C] . 左卫兵 ,ZUO Wei-bing . 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议 . 2012
7. 关于PI证明的若干注记以及逻辑公式的真度理论 [A] . 秦晓燕 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号