舆论摘要：二值命题论理公式在等价意旨下的普遍表白及其运用

纲要：过程长久的兴盛，典范二值命题论理仍旧十分老练，并被普遍地运用于囊括计划机科学及人为智能在前的范围中. 然而，典范二值命题论理中仍旧有少许题目未获得很好的处置，它仍旧在连接兴盛之中. 正文就三个上面的题目打开计划，获得了少许比拟别致的论断. 第一，参考文件[1]中提出了公式真度的观念. 对于有限个亚原子公式所天生的公式会合的两个公式，若其可证等价，则真度沟通，但反之否则. 正文在第2章中给出了两者之间的联系. 第二，给出了有限个亚原子公式所天生的公式会合公式在可证等价意旨的普遍表白. 经过第2章中的筹备处事，在第3章中就亚原子公式集为有限集的景象，给出了其上理想公式在可证等价意旨下的普遍表白，个中用到了公式真度的观念. 第三，在公式可证等价的意旨下，对有限个亚原子公式所天生的公式会合的公式之集，指出了其论断的构造.