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

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