כל מה שרצית לדעת על משפט (מתמטיקה):
משפט הפוך (למשפט נתון) הוא משפט שבו מוחלפים חלק מן ההנחות והמסקנה בתפקידיהם.
דוגמה:
משפט: אם מספר טבעי מתחלק ב-2 וב-3, הוא מתחלק גם ב-6.
משפט הפוך: אם מספר טבעי מתחלק ב-6, הוא מתחלק גם ב-2 וב-3.
לא תמיד המשפט ההפוך מתקיים.
לדוגמה נכון המשפט "כל מספר המתחלק ב-4 הוא זוגי", אך לא נכון המשפט ההפוך "כל מספר זוגי מתחלק ב-4".
כאשר משפט והמשפט ההפוך מתקיימים נהוג לאחדם למשפט יחיד בעזרת הקשר אם ורק אם.
למשל "מספר טבעי מתחלק ב-2 וב-3 אם ורק אם הוא מתחלק ב-6".