תחשיב הפרדיקטים – הבדלי גרסאות

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