ארז, לא ברור לי הקשר בין הכותרת "הצרנת תכונות" לבין תוכן הסעיף שאחריה. סעיף ההצרנה שייך לפרק מאוחר יותר, תחשיב הפרדיקטים (הסדר הוא לוגיקת-קשרים, לוגיקת-פרדיקטים, לוגיקה מסדר ראשון; הצמדתי את שני האחרונים זה לזה). [[משתמש:עוזי ו.|עוזי ו.]] 03:27, 10 ביולי 2011 (IDT)
:את הכותרת אתה נתת, אני כנראה לא הבנתי אותה. תרגיש חופשי לשנות את סדר הדברים.
:כמו כן, רשמת את המשפט "בהצרנה מקצים לכל מרכיב בפסוק אטום שונה, ומרכיבים שונים - גם אם הם קרובים במשמעותם - מקבלים אטומים שונים. למשל, בדוגמא האחרונה, יש הבדל בין "חוסר תאבון" לבין "רעב"." אתה רושם שדברים שונים מקבלים אטומים שונים, אבל דווקא בדוגמא הם קיבלו את אותו אטום. --[[משתמש:ארז שיינר|ארז שיינר]] 12:19, 11 ביולי 2011 (IDT)