תחשיב הפרדיקטים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
יוניון ג'ק (שיחה | תרומות) אין תקציר עריכה |
אין תקציר עריכה |
||
שורה 1:
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים''' הוא מערכת פורמלית לטיפול בפסוקים הכוללים [[פרידקט]]ים (פרדיקט הוא [[נשוא]], או תכונה, ובשפה המתמטית - [[יחס (תורת הקבוצות)|יחס]]). ב[[שפה מסדר ראשון]] חלים ה[[פרדיקט]]ים והמשתנים על אובייקטים בלבד. לעומת זאת ב[[שפה מסדר שני]]
==הצרנה של פסוקים יסודיים==
|