经典命题逻辑系统相关论文
给出了经典命题逻辑中公式的向量表示形式,利用向量表示形式给出公式的真度和公式间伪距离的定义,说明了这种定义与原有的概率形式......
给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式，利用命题公式的基于随机数列的向量表示形式给出公式......
基于经典逻辑系统中的计量逻辑学，探讨了计量逻辑学中的形式化推理问题。结果表明，在注重数值计算的计量逻辑学中同样存在类似于语构......
