两种模糊命题逻辑的公式的概率真度的中期报告在模糊命题逻辑（fuzzypropositionallogic，简称FPL）中，公式的真假不再是绝对的二分法，而是在0和1之间的一个程度值。因此，FPL中的真度即为公式成立的程度，反之假度即为公式不成立的程度。在FPL中，具体的真度取值范围、逻辑运算规则等都与具体的模糊命题逻辑系统有关，因此需要针对不同的FPL系统进行研究。目前已有多种模糊命题逻辑系统，本报告将着重介绍两种常见的FPL系统的公式真度计算方法及其特点。（一）Zadeh模糊命题逻辑系统（Zadeh’sfuzzypropositionallogicsystem）Zadeh模糊命题逻辑系统是最早也是最简单的FPL系统之一，其真度计算方法基于Zadeh提出的模糊集合理论，计算公式的真度需要用到公式中各原子命题的隶属度和逻辑运算符的置信度。具体的真度计算规则如下：1.原子命题A的隶属度μ(A)取值范围为[0,1]，反映了A在命题中被认为成立的程度。2.若E为复合命题，则E的真度为：真度(E)=μ(E)，其中μ(E)表示E中各原子命题的隶属度与逻辑运算符的置信度的综合值。3.假定命题E由原子命题A和B组成且逻辑运算符为“并且（AND）”，则E的真度计算公式为：μ(E)=min{μ(A),μ(B)}其中min表示取两者隶属度中的较小值，即取两者中最不成立的代表其隶属程度。4.假定命题E由原子命题A和B组成且逻辑运算符为“或者（OR）”，则E的真度计算公式为：μ(E)=max{μ(A),μ(B)}其中max表示取两者隶属度中较大的值，即取两者中最成立的代表其隶属程度。由于Zadeh模糊命题逻辑系统的简单性和易用性，其被广泛应用于模糊控制和模糊推理等领域。但是其隶属度的度量方法较为简单，无法充分反映实际应用中的复杂情况，因此Zadeh模糊命题逻辑系统在实际应用中存在一定的局限性。（二）Lukasiewicz模糊命题逻辑系统（Lukasiewicz’sfuzzypropositionallogicsystem）Lukasiewicz模糊命题逻辑系统是一种更为复杂和普遍的FPL系统，其真度计算方法采用了Lukasiewicz提出的概率逻辑理论。在Lukasiewicz模糊命题逻辑系统中，公式的真度为其满足度（satisfiabilitydegree）减去不满足度（unsatisfiabilitydegree）的差值。具体的计算公式如下：1.原子命题A的隶属度μ(A)取值范围为[0,1]，反映了A在命题中被认为成立的程度。2.命题E的满足度s(E)和不满足度u(E)的计算公式分别为：s(E)=1-max{1-μ(A),1-μ(B)}u(E)=min{μ(A)+μ(B),1}其中max表示取两者隶属度中较大的值，min表示取两者隶属度中较小的值。3.命题E的真度d(E)计算公式为：d(E)=s(E)-u(E)Lukasiewicz模糊命题逻辑系统中的真度计算方法较为复杂，但其可以解决一些在Zadeh模糊命题逻辑系统中存在的问题，例如处理不可比的原子命题和处理含矛盾的命题等。因此，Lukasiewicz模糊命题逻辑系统在一些实际应用中具有较好的表现。