数学中什么叫定义什么叫命题题

首先呢,你得先知道什么叫命题,命题就是一个具有准确判断性的句子.如"今天是晴天."如果这个命题的判断是对的,那么它就是真命题;反之,则为假命题.(它们并没有准确的定义,只要理解就行了,一般出题是不会考定义的,而是让你判断.)至于反命题,就是一个命题的相反说法,以上面的命题为例,它的反命题就是"今天不是晴天."不知道我解释得清不清楚,你明白了么?

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

我要回帖

更多关于 数学中什么叫定义什么叫命题 的文章

 

随机推荐