什么叫做命题的逻辑形式

命题逻辑是指以逻辑运算符结合原子命题来构成代表"命题"的公式，以及允许某些公式建构成"定理"的一套形式"证明规则"。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数。和模态逻辑，它可以是非真值泛函的。

推荐度：

点击下载本文 文档为doc格式

导读命题逻辑是指以逻辑运算符结合原子命题来构成代表"命题"的公式，以及允许某些公式建构成"定理"的一套形式"证明规则"。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数。和模态逻辑，它可以是非真值泛函的。

命题逻辑是指以逻辑运算符结合原子命题来构成代表"命题"的公式，以及允许某些公式建构成"定理"的一套形式"证明规则"。相对于谓词逻辑，它是量化的并且它的原子公式是谓词函数;和模态逻辑，它可以是非真值泛函的。

推荐度：

点击下载本文 文档为doc格式

为你推荐

资讯专栏

热门视频

相关推荐