公式的真度相关论文
首先计算了四个n值命题逻辑系统L^*,Luk,God及Ⅱ中一个典型公式P1→P2真度;然后比较了公式P1→P2在这四个逻辑系统中真度的大小并分析......
为了研究命题逻辑中命题公式的成真程度问题,对非重言式也非矛盾式的命题公式提出了公式真度的概念,并对赋值真假相同可能性和不同可......