שינויים
/* קַשָּרִים וְכַמָּתִים */
=== קַשָּרִים וְכַמָּתִים ===
ִִִִִִ===קשרים ===
הגדרה: יהיו A,B אטומים (או פרדיקטים) היכולים להיות אמת (1) או שקר (0) אזי הקשרים
* אינדוקציה לומדים בתיכון '''וגם''' זה קל. הפסוק יקבל ערך T רק אם האטומים המרכיבים אותו יקבלו ערך T (כלומר שניהם יתקיימו)
* 3 הוא מספר ראשוני '''או''' 5 הוא מספר ראשוני. הפסוק הזה מקבל ערך T כיוון ש 3/5 מספר ראשוני. גם הפסוק "3 הוא מספר ראשוני '''או''' 4 הוא מספר ראשוני" הוא בעל ערך T.
* מספר (טבעי) מסוים n ניתן להצגה בעזרת 2 ספרות (בבסיס עשרוני) <math>\iff</math> המספר n קטן מ 100. הפסוק יקבל ערך T רק אם שני התנאים יתקיימו ביחד. במילים אחרות, אם אחד מתקיים גם השני. במילים אחרות, אם אחד לא מתקיים והשני אז השני גם לא מתקיים.
הערה (טרמינולוגיה):
* כללי דה מורגן <math>\neg (A \lor B) = \neg A \land \neg B, \neg (A \land B) = \neg A \lor \neg B</math>. תוכיחו אחד מהם בתרגיל הבית
===כמתים===
בנוסף, לקשרים ניתן להוסיף כמתים.
