משפט ומשפט הפוך

המשפט ההפוך מחליף בין התנאי למסקנה. «אם א, אז ב» הופך ל«אם ב, אז א».