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