命题

原命题

逆命题

否命题

逆否命题

表示形式

若α，则β

若β，则α

若 $\overline{\alpha }$ ，则 $\overline{\beta }$

若 $\overline{\beta }$ ，则 $\overline{\alpha }$

逆命题关系

原命题 ↔ 逆命题

逆否命题 ↔ 否命题

否命题关系

原命题 ↔ 否命题

逆否命题 ↔ 逆命题

逆否命题关系

原命题 ↔ 逆否命题

逆命题 ↔ 否命题

同真同假关系

原命题 ↔ 逆否命题

逆命题 ↔ 否命题