在现代哲学、数学、逻辑学、语言学中，命题是指一个判断陈述的语义实际表达的概念，这个概念是可以被定义并观察的现象。命题不是指判断陈述本身，而是指所表达的语义。当相异判断陈述具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。
命题
四种命题
1.对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论和条件，那么这两个命题叫做互逆命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆命题。
2.对于两个命题，如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定，那么这两个命题叫做互否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的否命题。
3.对于两个命题，如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题，其中一个命题叫做原命题，另外一个命题叫做原命题的逆否命题。
3.命题的分类：
①原命题：一个命题的本身称之为原命题，如：若x>1，则fx=x-1^2单调递增。
②逆命题：将原命题的条件和结论颠倒的新命题，如：若fx=x-1^2单调递增，则x>1。
③否命题：将原命题的条件和结论全否定的新命题，但不改变条件和结论的顺序，如：若x<=1，则fx=x-1^2不单调递增。
④逆否命题：将原命题的条件和结论颠倒，然后再将条件和结论全否定的新命题，如：若fx=x-1^2不单调递增，则x<=1。
4.命题的否定
命题的否定是只将命题的结论否定的新命题，这与否命题不同。
