永真式相关论文
研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系．证明了永真式一定是逻辑有效公式，但反之不真；在模糊模态逻辑中......
在文[1]的基础上．给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式......
