二值命题逻辑公式在等价意义下的一般表示及其应用

发布时间：2023-05-09 22:40

　　经过长期的发展,经典二值命题逻辑已经相当成熟,并被广泛地应用于包括计算机科学及人工智能在内的领域中.但是,经典二值命题逻辑中仍然有一些问题未得到很好的解决,它仍然在不断发展之中.本文就三个方面的问题展开讨论,得到了一些比较新颖的结论. 第一,参考文献[1]中提出了公式真度的概念.对于F(S_n)中的两个公式,若其可证等价,则真度相同,但反之不然。本文在第2章中给出了两者之间的关系. 第二,给出了全体公式集F(S_n)中公式在可证等价意义的一般表示.通过第2章中的准备工作,在第3章中就原子公式集为有限集S_n={P₁,P₂,…,P_n}的情形,给出了S_n上公式全体F(S_n)中公式在可证等价意义下的一般表示,其中用到了公式真度的概念. 第三,在公式可证等价的意义下,对F(S_n)中的公式集Γ,指出了其Γ-结论的结构.在第3章中,利用F(S_n)中公式在可证等价意义下的一般表示,通过建立...

【文章页数】：40 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
前言
第1章 预备知识
第2章 F(S_n)中公式真度相同与逻辑等价的关系
第3章 F(S_n)中公式在等价意义下的一般表示及其应用
    §3.1 F(S_n)中公式在逻辑等价(可证等价)意义下的一般表示
    §3.2 F(S_n)中公式集Γ的全体结论之集
总结
参考文献
致谢
攻读硕士学位期间的研究成果



本文编号：3812517