==קַשָּרִים, כַּמָּתִים, הצרנה וטבלאות אמת==
=== אטומים ופרדיקטים ===
הגדרה (לא פורמאלית): השפה העברית מורכבת ממשפטים. המקבילה בשפה המתמטית נקראת "פסוק".ה'''אטומים''' הם חלק מאבני היסוד של הפסוקים.
לדוגמא: הפסוק "שנת הלימודים החלה ויש 5 קורסים בשנה א'" מורכב משני אטומים- "שנת הלימודים החלה" ו"יש 5 קורסים בשנה א'" (שני האטומים מקשורים ע"י וו החיבור)
בניגוד לאטומים שהם ללא משתנים ה'''פרדיקטים''' הינם פונקציות התלויות במשתנים. לדוגמא ניתן להגדיר את הפרדיקט <math>S(x)</math> להיות x הינו סטודנט באוניברסיטה.
גם אטומים וגם פרדיקטים יכולים להיות אמיתיים (מסמנים 1 או F) או שקריים (מסמנים 0 או F). המינוח המקובל הוא שאטום/פרדיקט הוא בעל '''ערך אמת''' T (במידה שהוא נכון) או בעל ערך אמת F (במידה שאינו נכון)
=== קַשָּרִים וְכַמָּתִים ===
ִִִִִִ
הגדרה: יהיו A,B ביטויים אטומים (או פרדיקטים) היכולים להיות אמת (1) או שקר (0) אזי הקשרים
* <math>A\to B</math> - "גרירה" (חד כיוונית)
* <math>A \or B</math> "או"