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

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