אם-אז – הבדלי גרסאות

 

[[טבלת אמת|טבלת האמת]] של הקשר אם-אז, כאשר T מייצג "אמת" ו- F מייצג "שקר":

|colspan="2" | '''קלטים''' || '''תוצאה'''

|-

| T || T || T

|}

 

הפסוק הוא בעל [[ערך אמת|ערך "אמת"]] אם התוצאה אמיתית, [[או (לוגיקה)|או]] אם התנאי שקרי; במלים אחרות, הפסוק הוא בעל ערך שקר רק כאשר התנאי מתקיים, ואילו התוצאה אינה מתקיימת. כך למשל, הפסוק "אם צבע ה[[שמים]] ירוק אז [[אבטיח]]ים צומחים על עצים" הוא אמיתי, משום שהתנאי אינו מתקיים; פסוק שבו התנאי אינו מתקיים אינו נותן כל מידע על המסקנה.