公式P1→P2 相关硕士博士期刊学术论文

首先计算了四个n值命题逻辑系统L^＊，Luk，God及Ⅱ中一个典型公式P1→P2真度；然后比较了公式P1→P2在这四个逻辑系统中真度的大小并分析......