若干经典命逻辑问题的拓扑刻画.pdfVIP

若干经典命题逻辑问题的拓扑刻画 折延宏 摘要数理逻辑的特点在于形式化和符号化，它和计算数学有着截然不同的风 格，前者注重形式推理而后者注重数值计算；前者强调严格论证而后者允许近似 求解，如果说数理逻辑具有刻板的一丝不苟的形象，那么计算数学具有灵活的张 弛有度的特征．一个自然的问题是：能不能把数值计算的思想融入到数理逻辑当 中以使其具有某种灵活性从而扩大其可能的应用范围呢?回答是肯定的．王国俊 教授从基本概念的程度化入手，建立了一种计量逻辑学[41，从而对上述问题给出 了肯定的回答． 计量逻辑学所涉及的逻辑系统包括经典的二值命题逻辑系统L，Lukasiewicz 多值命题逻辑系统Ltl与Luk以及命题演算系统r和K等．文献【4】在二值命 题逻辑中，将重言式概念进行了程度化，引入了公式的真度概念，在此基础之上 将逻辑等价概念程度化，引入了公式之间的相似度概念；并从而在L的全体公式 集F(S)上引入了伪距离，得到了逻辑度量空间(F(S)，西，并证明了逻辑连接诃 一，一和V等关于P的连续性．另一方面，二值命题逻辑中理论的发散性与相容 性等逻辑性质与它们在空间(F(s)，P)中的拓扑性质之间的联系如何?逻辑度量 空间(F(_s)，P)自身的细致结构如何?关于这些深层次的问题尚未及讨论，本文就 上述问题进行研究．得到了如下结果： (1)证明了F(S)中各理论的发散度充满了单位区间【o，11． (2)证明了F(S)中一个逻辑闭理论r是相容的当且仅当它在逻辑度量空间 理论r是相容的当且仅当它在逻辑度量空间(F(S)，P)中不含内点． (3)证明了一个逻辑理论r是全发散的当且仅当全体r结论之集o(r)在逻 辑度量空间(F(s)，P)中稠密． (4)证明了任一有限理论F的全体结论之集在逻辑度量空间(F(S)，P)中是闭 集，从而推出了任一有根逻辑闭理论在逻辑度量空间(FCS)，P)中也为闭集． 类似“樊畿”性质的。有限等球连通性”．即，对任一E0，(F(S)，P)中任两点可 用有限多个具有相同半径的￡一开球去连接．此外，本文还给出了逻辑度量空间 (FCS)，P)中任一球面公式真度值的分布以及任一逻辑闭理论的拓扑性质刻画． 关键词：二值命题逻辑系统；发散性；相容性；逻辑度量空间；内点；稠密； 连通性． Characterizationsofsomeclassical Topological logicproblems She Yanhong of lies is Abstract：Thecharacteristicmathematicalin logic symbolism，whichquite former differentfrom mathematics．Theattentiontoformalde- computational pays ductionandstrict whilethelatterstressesnumerical and proof computationapprox- imate mathematicali8saidtobe mathe- solution．If logic rigid，thencomputational maticsis ask weextendthe of flexible．One maynaturally：Can