期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
关于一阶逻辑中的谓词公式对偶式的讨论
下载PDF
职称材料
导出
摘要
提出谓词公式对偶式、对偶前束范式等概念以及对偶原理,并给出若干结论。
作者
钟铭
胡丽萍
出处
《天中学刊》
1995年第4期19-20,共2页
Journal of Tianzhong
关键词
谓词公式
对偶式
对偶前束范式
命题逻辑
分类号
O141.1 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
关于Hardy-Hilbert型不等式的一个加强[J]
.上海大学学报(自然科学版),2006,12(3):256-259.
被引量:2
2
屈俊峰,张青宁.
谓词公式的翻译[J]
.现代计算机,2009,15(2):144-145.
3
杨世国.
关于单形两个不等式的对偶式[J]
.许昌学院学报,2006,25(2):20-22.
4
李耀文,张愫.
一个有趣平几公式的对偶式[J]
.中学数学月刊,2002(12):40-41.
被引量:1
5
李耀文,张愫.
一个有趣平几公式的对偶式[J]
.中学数学,2002(11).
6
徐建义,封焕美.
一个不等式的探究与推广[J]
.数学通讯(教师阅读),2013,27(7):32-34.
7
王晓琴.
巧用对偶式求不定积分[J]
.考试周刊,2009(50):77-78.
8
祝深有,张会凌.
带有多重量词的谓词公式的否定[J]
.甘肃广播电视大学学报,2008,18(3):36-37.
被引量:1
9
杨世国.
关于单形一个对偶式的商榷与两个新的对偶式[J]
.数学杂志,2005,25(3):303-306.
10
张炳汉.
真值表在数理逻辑中的重要作用[J]
.天中学刊,1997,12(2):20-23.
被引量:4
天中学刊
1995年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部