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

ב[[לוגיקה מתמטית]], '''אם-אז''' הוא [[קשר לוגי]], הנקרא גם '''קָ‏שרקַשָּׁר הגרירה''' או '''אימפליקציה מטריאלית''', שסימנו <math>\ \rightarrow</math>. הקשר יוצר משני [[פסוק (לוגיקה מתמטית)|פסוקים]] p ו- q פסוק חדש, <math>\ p\rightarrow q</math>, שמרכיבו הראשון, p, נקרא "תנאי", ומרכיבו השני, q, נקרא "תוצאה".