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

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