什麼是數學命題

數學命題是數學中用於表達判斷的陳述句。

數學命題可以由題設和結論兩部分組成，題設是已知事項，結論是由已知事項推出的事項，通常可以寫成“如果……那麼……”的形式。命題不僅指判斷句本身，而是指所表達的語義。在數學中，命題用於表達概念之間的關係或概念具有的性質。例如，數學中的定義、公理、公式、性質、法則、定理都是數學命題。命題可以是真命題也可以是假命題，真命題是當題設成立時，結論一定成立的命題，而假命題則是當題設成立時，結論不能保證一定成立的命題。此外，兩個具有相同題設和結論的命題稱爲互逆命題。