שינויים

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