הקשר הלוגי "אם... אז..." בלוגיקה (מתמטיקה בדידה), איך יוצאים דוברי אמת כל עוד ארוע התנאי לא מתרחש

בלוגיקה (במתמטיקה בדידה) מדובר על לוח האמת של הקשר הלוגי "אם... אז...". כשבונים את לוח האמת הזה אז מסתכלים מה קורה עם שני המשפטים הקטנים שמהם מורכב המשפט המלא. מסתכלים האם המשפטים הללו הם אמת או שקר (True or False), ולפי הקומבינציות השונות האפשריות של הערכים הללו נוכל לקבוע האם המשפט המלא בכללותו הוא נכון או לא נכון, אמת או שקר. שני המקרים הראשונים הם די קלים, כמו הדוגמא השחוקה של "אם ירד גשם אקח מטריה" - אם התנאי מתקיים, כלומר ירד גשם, אז אם לקחתי מטריה אז יצאתי אמיתית ודוברת אמת וכל המשפט בכללותו נכון. ואם ירד גשם ולא לקחתי מטריה אז יצאתי שקרנית, והמשפט המלא השלם שהכיל את שני המשפטים יחשב כמשפט שקר. אבל מה עושים בשני המקרים האחרים, המקרים בהם התנאי לא התקיים (למשל, לא ירד גשם)? מעניין, שבענף הזה של לוגיקה במתמטיקה, אז לא חשוב מה יהיה הסטטוס של המשפט השני (כן לקחתי מטריה או לא לקחתי מטריה), בכל אופן המשפט המלא בכללותו ייחשב כמשפט אמת! אני משתמשת כאן בדוגמא מתוך השיר של 50 cent, ישר בו הראפר שואל את בת זוגו שאלות שונות, האם במקרה שהוא יפסיק להיות ראפר עשיר ומצליח היא עדיין תאהב אותו. למעשה, כל עוד התנאי הזה לא יתקיים, כלומר כל עוד הראפר ימשיך להיות עשיר ומצליח ולא ירד מגדולתו, אז בת הזוג שהבטיחה לו כי אם ייפול היא עדיין תהיה לצידו, תמשיך להחשב אמינה ונאמנה, ללא תלות בשאלה האם היא תאהב אותו אם לא. לינק לקליפ של השיר של 50 סנט ביו-טיוב:    • 50 Cent - 21 Questions (Official Music Vid...   לינק למילים של השיר: https://g.co/kgs/aejqG3 האודיו של השיר יחד עם המילים, בקליפ שלהלן:    • 50 Cent - 21 Questions (Lyrics)