elev Bar-Ilan

שלב 10 מתוך 19

אם… אז

משפט ״אם PP אז QQ״ הוא הבטחה. PP הוא התנאי, QQ היא המסקנה. ההבטחה מופרת במקרה אחד בלבד: כשהתנאי התקיים והמסקנה לא. בכל מקרה אחר המשפט נכון — גם כשהתנאי בכלל לא קרה.