什么叫做命题的逻辑形式 经验 关注:1.19W次 命题逻辑是指以逻辑运算符结合原子命题来构成代表"命题"的公式,以及允许某些公式建构成"定理"的一套形式"证明规则"。相对于谓词逻辑,它是量化的并且它的原子公式是谓词函数;和模态逻辑,它可以是非真值泛函的。 标签: 命题 逻辑 文章版权属于文章作者所有,转载请注明 https://zhizhiguan.com/jingyan/j7zr4k.html