模糊系统控制的理论和技术已经取得了举世公认的成功，作为模糊控制理论基础的模糊推理与模糊逻辑也日益受到关注。　　 早期的逻辑代数研究始于Leibniz，他用符号表示命题，建立了二值逻辑演算理论。但是，随着科学技术的不断进步和发展，经典二值逻辑不能满足各种新型推理的需要，在现实生活中，无法用绝对真与绝对假的二值逻辑来处理的现象也有很多。所以必须将经典二值逻辑加以改进和推广才能满足新型推理和现实生活的需要。改进和推广的方法之一就是扩充经典二值逻辑的赋值域，这就形成了多值逻辑系统和模糊逻辑系统。比较著名的系统有Lukasiewicz逻辑系统，Godel逻辑系统等。　　 在以上系统中，一种具有明显数值特征的公式真度概念和逻辑度量空间理论已经提出。一个公式的真度是一个确定的数值。那么如何刻划一个公式A在信息Г下的真度呢?(这里Г为有限公式之集。)有学者对此进行了一定的讨论和研究，得到了一些结论。本文在前面学者的成果的基础上，在W3、G3、Ⅱ3、L3等三值逻辑系统以及n值R0-命题逻辑系统L*n中定义了条件真度并进行了讨论，得到了若干结论。至于非线性序集逻辑系统G24及G25，则定义了真度的概念并进行了讨论。　　 下面介绍本文的结构及主要内容：　　 第一章预备知识。对文章中将要用到的几种逻辑系统的基本概念作一个简要的叙述，并给出了本文要用到的均匀概率空间的若干定义。　　 第二章基于条件概率的思想，借助于各个逻辑系统中的演绎定理，在W3、G3、Ⅱ3、L3等三值逻辑系统以及n值R0-命题逻辑系统L*n中引入了条件真度的概念，并得到了条件真度的性质及相应的推理规则。　　 第三章讨论了非线性序集逻辑系统G24及G25中命题的真度理论。