联合演算的结构判定方法初探
- 期刊名字:学术界
- 文件大小:
- 论文作者:马雷
- 作者单位:东南大学哲学与科学系
- 更新时间:2022-04-13
- 下载次数:次
论文简介
与命题演算一样,联合演算也有相应的判明一公式是否永真的方法.希尔伯特和阿克曼提出的“审定法”就是这样一种方法,但审定法没有区分联合演算的两个层次,试图在联合演算的第一个层次上解决判定问题,从而暴露出严重的弱点.在本文中,我将对审定法进行改造,深入解读竖号的逻辑意义,厘清联合演算的两个层次,在类逻辑和命题逻辑之间建立完全的类比,提出一种具有普遍意义的更严格的方法,即结构判定方法.该方法能够帮助我们揭示传统推理式的前提和结论之间的联系的必然性,从而判明一联合演算公式是否永真式,并且帮助由任一可满足式(包括永真式)得出永真式.
论文截图
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-04-13
-
煤基聚乙醇酸技术进展 2022-04-13
-
生物质能的应用工程 2022-04-13
-
我国甲醇工业现状 2022-04-13
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-04-13
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-04-13
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-04-13
-
Lurgi和ICI低压甲醇合成工艺比较 2022-04-13
-
甲醇制芳烃研究进展 2022-04-13
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-04-13