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

תחש קצר⁻שיער, תחשאים, תחשיב אינדקסים, תחשיב היחסים, תחשיב הפסוקים, תחשיב יחסים, תחשיב למבדא, תחשיב למדא, תחשיב פרדיקטים, תחשיים