期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

中介命题逻辑MP和中介谓词逻辑MF的可靠性

下载PDF

导出

摘要本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和MF,证明是一个有穷的形式推理关系序列。

作者潘正华

机构地区兴义师范专科学校

出处《自然杂志》 1989年第8期634-634,共1页 Chinese Journal of Nature

基金贵州省科委科学基金

关键词命题逻辑 MF MP 有穷谓词逻辑形式推理推理规则合式公式逻辑推论

分类号 N49 [自然科学总论]

引文网络
相关文献

1潘正华.中介命题逻辑MP的完备性[J].自然杂志,1989,12(7):555-555. 被引量：2
2樊明亚.直言逻辑与谓词逻辑的对比研究[J].上饶师范学院学报,1989,15(6):29-36.
3朱凤青.科学哲学:对科学的人文理解[J].科学技术与辩证法,2005,22(6):2-4. 被引量：1
4华觉明.古史常新探索正未有穷期——中国古代科技史研究之我见[J].中国科技史杂志,2010,31(2):230-233. 被引量：1
5白金.论形式系统理论的客观原型和科学性质[J].自然辩证法通讯,1964(4):36-43.
6任晓明,桂起权.试论逻辑哲学的中心问题[J].自然辩证法研究,2012,28(3):1-6. 被引量：3
7李玉华.关于一类整函数在复合意义下的因子分解[J].自然杂志,1990,13(2):122-122.
8马来平.科学发现优先权与科学奖励制度[J].齐鲁学刊,2003(6):63-67. 被引量：9
9朱经浩.关于Valiron问题[J].自然杂志,1989,12(8):635-635.
10蒋星耀,钱传宗.关于数学结构的一些元数学定理[J].自然杂志,1991,14(8):633-633.

自然杂志

1989年第8期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部