n值命题逻辑系统中公式真度的进一步研究

首先计算了四个n值命题逻辑系统L*,Luk,Gd及Π中一个典型公式p1→p2真度;然后比较了公式p1→p2在这四个逻辑系统中真度的大小并分析了真度差异的原因;最后,研究了每个逻辑系统中公式p1→p2的真度随n变化的情况。