逆命題是什麼意思

逆命題(Contrapositive)是邏輯和數學中的一種命題形式,它通過邏輯對立來翻轉原命題的條件和結論。具體來說,給定一個命題「如果P,則Q」,它的逆命題是「如果非Q,則非P」。

例如,原命題可以是「如果某人年滿18歲,則他可以投票」,這可以表示為「如果P(年滿18歲),則Q(可以投票)」。逆命題則是「如果某人不能投票,則他未滿18歲」,這可以表示為「如果非Q(不能投票),則非P(未滿18歲)」。

逆命題和原命題在邏輯上是等價的,這意味著如果一個命題是真的,那麼它的逆命題也是真的,反之亦然。這種關係在數學證明中非常有用,因為有時證明逆命題比直接證明原命題更容易。