לוגיקה מתמטית: הבדלי גרסאות

אין תקציר עריכה
כאשר A משמעותו "אני שבע", B משמעותו "אני מאושר" ו-C משמעותו "אני פוצח בשיר" ואילו החץ (<-) משמעותו היא שאמיתות הטענה בצד שמאל של החץ תגרור את אמיתות הטענה בצד ימין של החץ. כלומר, 1 פירושו "אם אני שבע אז אני מאושר" ו-2 פירושו "אם אני מאושר אז אני פוצח בשיר".
 
הלוגיקה המתמטית מעניקה כללים בעזרתם ניתן להסיק טענות חדשות מתוך טענות קיימות. לדוגמה, משני הביטויים למעלה ניתן להסיק באמצעות כלל הטרנזיטיביותה[[טרנזיטיביות]] כי:
 
A -> C
משתמש אלמוני