赌局论文

  • 潘文全:非精确谓词逻辑推理论文

    潘文全:非精确谓词逻辑推理论文

    摘要:非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词...