逆否命題

逆否命題  是邏輯和數學的一種結構變換推理 ， 一般用於在邏輯等價的前提下改變條件命題的結構 。 逆否命題也用於對位證明法  。 逆否定將前件與後件否定和互逆 。 給予初始實質條件命題 “ 若P ， 則Q ” ： ， 其逆否命題爲 “ 若非Q ， 則非P ” 。 若 P ， 則 Q 。 — — 若非 Q ， 則非 P 。 例如 ： “ 若現在在下雨 ， 則我穿雨衣 。 ” — — “ 若我不穿雨衣 ， 則現在不下雨 。 ” 原命題的情況下 ， 逆否命題可以與以下命題形式比較 ： 否命題 （ inverse ） 以上面的例子舉例 ： “ 若現在不下雨 ， 則我不穿雨衣 。 ” 。 這類命題的真值與原命題的真值無關 。 逆命題 （ converse ） 以上面的例子舉例 ： “ 若我穿雨衣 ， 則現在在下雨 。 ” 。 這類命題是否命題的逆否命題 ， 因此其真值也與原命題的真值無關 。 非命題 （ negation ） 以上面的例子舉例 ： “ 若現在在下雨則我穿雨衣是不存在的 。 ” 或者 “ 下雨時 ， 我有時不穿雨衣 。 ” 。 若此命題爲真 ， 那原命題則爲假 。