הקשר- הלוגי "אם ורק אם": כששני דברים מבאסים ביחד בעצם יוצרים משפט שהוא True (לוגיקה, מתמטיקה בדידה)

לוח האמת של הקשר הלוגי "אם ורק אם" יכול להראות קצת מוזר - כשיש שני משפטים קטנים ששניהם אמת, אז שניהם יחד - תוך שימוש בקשר הלוגי "אם ורק אם", נותנים כמשפט כולל ערך שהוא אמת. וכן, כשיש שני משפטים קטנים וקצרים ששניהם עם ערך של שקר, שלילה, אז שניהם יחד כמשפט שלם מובילים, יחד עם הקשר הלוגי "אם ורק אם" למסקנה שהמשפט הכולל כולו הוא חיובי, אמת. ודווקא מקרי הביניים, מקרים בהם משפט אחד הוא אמת והשני שקר, או האחד הוא שקר והשני אמת - כלומר כששני המשפטים הקטנים אוחזים כל אחד מהם בסטטוס הפוך לרעהו, דווקא במקרה שכזה, המשפט הכולל ייחשב סך הכל כשקר. איך זה ייתכן? ואיך קשר לוגי כזה יכול לשמש אותנו ובאילו מקרים זה יהיה רלוונטי? על כך בסרטון.