שינויים
/* קַשָּרִים וְכַמָּתִים */
הגדרתו פשוטה (נובעת משמו..) והיא מוגדרת ע"י קשר הגרירה החד כיווני.
<math>A\iff B := (A\Rightarrow B)\and(B\Rightarrow A)</math>
דוגמאות מילוליות:
* '''אם''' נסיים את החומר של השיעור '''אז''' נגמור מוקדם. אם לא נסיים את החומר וגם נגמור מוקדם אז הפסוק יקבל ערך F.
* אינדוקציה לומדים בתיכון '''וגם''' זה קל. הפסוק יקבל ערך T רק אם האטומים המרכיבים אותו יקבלו ערך T (כלומר שניהם יתקיימו)
* 3 הוא מספר ראשוני '''או''' 5 הוא מספר ראשוני. הפסוק הזה מקבל ערך T כיוון ש 3/5 מספר ראשוני. גם הפסוק "3 הוא מספר ראשוני '''או''' 4 הוא מספר ראשוני" הוא בעל ערך T.
הערה (טרמינולוגיה):
