אם-אז

כל מה שרצית לדעת על אם-אז:
אם-אז או קַשָּׁר הגרירה או אימפליקציה מטריאלית הוא קשר לוגי בלוגיקה מתמטית , שמסומן באמצעות .
הקשר יוצר משני פסוקים, המסומנים ב- ו- , פסוק חדש עם קשר בניהם .

נלקח מויקיפדיה

הגדרות נוספות הקשורות לאם-אז:
•לוגיקה בוליאנית
•לוגיקה מתמטית
•מעגלים ספרתיים
•פעולות בינאריות