什么叫做命题的逻辑形式

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

什么叫做命题的逻辑形式相关文章：

★ 什么叫做排开的水量

★ 什么叫做打比方的说明方法

★ 什么叫做水的张力

★ 什么叫做雷达的同频异步干扰

★ 什么叫做企业管理的二重性

★ 什么是曲轴的支承形式

★ 什么叫做曲线的法线

★ 什么叫做完整的工业体系

★ 容器所能什么叫做容器的容积

★ 什么叫做物体的重心