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

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

עריכות