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

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