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

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