模糊推理的中心课题是以下形式的FMP和FMT问题：(FMP问题)已知A→B且给定A*/求B*(1)(FMT问题)已知A→B且给定B*/求A*(2)这里A,A*是X上的Fuzzy集，B,B*是Y上的Fuzzy集. 关于上述两个问题，Zadeh于1973年提出了Fuzzy推理的思想并给出了著名的CRI方法.此方法计算上虽然方便，但缺乏严格的理论依据.王国俊教授于1999年提出了三I算法，开辟了把模糊推理与模糊逻辑相结合的研究道路.同时在文献中，王国俊教授通过根的理论分别在经典二值逻辑系统L、多值系统L*及Lukasiewicz三值系统中实现了形式化推理机制.本文在此基础上通过引入最大前提的概念来讨论二值逻辑系统L中的MT问题.主要研究了二值逻辑系统L中GMT及多重GMT规则的语构理论，实现了FMT问题的形式推理机制，最后给出了最大前提与根的关系，从而说明了MP问题与MT问题可以互相转化. 关于区分公式可靠程度的思想早在1952年就由Rosser与Turquette提出,此后又有许多学者从不同的角度提出确定这类公式的可靠程度的方法.在王国俊教授提出的积分语义学理论的基础上，一些学者在赋值域是连续值的情形下展开了对公式真确度的讨论.紧接着，王国俊教授基于均匀概率的思想在经典二值命题逻辑系统中建立了公式的真度理论.不久前，李骏又用相同的思想给出了标准序列逻辑系统S3中命题真度的分布[12]和Lukasiewiczn值命题逻辑中的真度理论.文献中还讨论了G(o)del和Goguenn值命题逻辑系统中命题的真度理论，本文将这两个系统中的非运算，的定义方式加以改变，讨论了命题逻辑系统Gn和Ⅱn中相应的公式的真度理论及相似度理论，这为在相应的逻辑系统中展开近似推理奠定了基础. 本文可分为三个部分：第一部分：第一章介绍一些预备知识，包括根的定义、MP问题的定义及MT问题的定义.接着给出最大前提的概念，由此展开经典二值逻辑系统L中的GMT和多重GMT规则的语构理论的讨论.最后证明了MP问题与MT问题是可以相互转化的. 第二部分：第二章基于均匀概率的思想，给出了G(o)del、Goguen三值命题逻辑系统中命题的一种真度理论.同时在此基础上讨论了这两个系统中的三个重要的真度推理规则，即三值真度MP规则、三值真度HS规则以及三值真度交推理规则. 第三部分：第三章利用由均匀概率空间的无穷乘积所定义的Gn及Ⅱn中公式的真度概念，给出了公式间的相似度的一种新定义，讨论了本文所定义的相似度与文献[15]、[16]中定义的相似度的大小关系及逻辑系统Gn及Ⅱn中公式间的三种相似度的性质.最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质.最后我们得到两个结论： 1)重言式之间的伪距离为0；2)伪距离为0的公式有相等的真度，反之不真.