命题的定义和种类

在数学中，一般把判断某一件事情的陈述句叫做命题。接下来分享命题的定义和分类。

命题的定义

在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。

命题的种类

①原命题：一个命题的本身称之为原命题，如：若x>1，则f（x）=(x-1)^2单调递增。

②逆命题：将原命题的条件和结论颠倒的新命题，如：若f（x）=(x-1)^2单调递增，则x>1。

③否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序，如：若x<=1，则f（x）=(x-1)^2不单调递增。

④逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题，如：若f（x）=(x-1)^2不单调递增，则x<=1。