四个命题模糊逻辑系统中公式真度的大小之比较

摘要

主要探讨了四个重要命题模糊逻辑系统Luk、G(o)d、Π及L*中公式真度的分布情况.首先在Luk、G(o)d、Π及L*中,分别计算了公式(p1(×)p2)→p3,p1(×)(p2→p3),(p1→p2)(×)p3及p1→(p2(×)p3)的真度;然后比较了其大小,其大小顺序为:τG(o)d≤τL*≤τΠ≤τLuk,其中τG(o)d,τL*,τΠ及τLuk分别表示系统G(o)d、L*、Π及Luk中公式的真度.