n值SMTL系统中命题的∑-([α,β-真度])实际.pdfVIP

硕P≯何沦文 摘 要 本世纪初，在均匀概率的基础上，王国俊教授在二值命题逻辑中引入了命题的 真度概念，进而建立了计量逻辑学理论并提出了一套近似推理模式．随后，在大量 学者的共同努力下，计量逻辑学已经发展成为一门比较成熟的学科．计量逻辑学的 目的是将数值计算引入数理逻辑，使数理逻辑具有某种灵活性并扩大其可能的应 用范围．它的根本出发点就在于基本概念的程度化，其中，将重言式概念程度化后 引入的命题的真度概念又是最基本的，相似度和伪距离等一些概念都是在真度的 基础之上而引进的． 另外，为了细致地刻画命题的好坏，王国俊教授等又提出了∑一(口一重言式)和 ∑一(∥一矛盾式)的概念．本文的主要目的就是通过将∑一(口一重言式)和 ∑一(∥一矛盾式)的概念同时进行程度化而提出命题的∑一(『口，∥1一真度)概念．命 题的∑一(f口，∥卜真度)既刻画了该命题作为∑一(口一重言式)又作为 l ∑一(∥一矛盾式)的程度．当口和∥都接近于去时，命题的∑一(【口，∥卜真度)就反映