1、一般的,在數學中把用語言、符號或式子表達的,可以判斷真假的陳述句叫做命題。對於兩個命題,如果一個命題的條件和結論分別是另外一個命題的結論和條件,那麼這兩個命題叫做互逆命題,其中一個命題叫做原命題,另外一個命題叫做原命題的逆命題。
2、可以判斷正確或錯誤的句子叫做命題。其中判斷為真的語句叫做真命題,判斷為假的語句叫做假命題。