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