在现代哲学、数学、逻辑学、语言学中,命题(判断)是指一个判断句的语义(实际表达的概念),这个概念是可以被定义并观察的现象。命题不是指判断句本身,而是指所表达的语义。当相异的判断句具有相同的语义的时候,他们表达相同的命题。在数学中,一般把判断某一件事情的陈述句叫做命题。
1、对于两个命题,如果一个命题的条件和结论分别是另外一个命题的结论和条件,那么这两个命题叫做互逆命题,其中一个命题叫做原命题,另外一个命题叫做原命题的逆命题。
2、对于两个命题,如果一个命题的条件和结论分别是另外一个命题的条件的否定和结论的否定,那么这两个命题叫做互否命题,其中一个命题叫做原命题,另外一个命题叫做原命题的否命题。
3、对于两个命题,如果一个命题的条件和结论分别是另外一个命题的结论的否定和条件的否定,那么这两个命题叫做互为逆否命题,其中一个命题叫做原命题,另外一个命题叫做原命题的逆否命题。