在现代哲学、数学、逻辑学、语言学中,命题是指一个判断(陈述)的语义(实际表达的概念),这个概念是可以被定义并观察的现象。命题不是指判断(陈述)本身,而是指所表达的语义。当相异判断(陈述)具有相同语义的时候,他们表达相同的命题。在数学中,一般把判断某一件事情的陈述句叫做命题。
①原命题:一个命题的本身称之为原命题,如:若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。