שיחה:תחשיב הפרדיקטים
פרדיקטים הם פונקציות המחזירות ערך אמת
למעשה פרדיקט (נשוא) אינו מוגדר כפונקציה אלא להיפך, פונקציה היא יחס בין שני אובייקטים כאשר לכל אובייקט מקבוצה A קיים יחיד אובייקט המתאים לו מקבוצה B. פונקציה המגדירה ערך אמת היא יחס האובייקט למספר 1 או 0 (או למילים אמת או שקר). ו"יחס" הוא התאמה של זוגות (ואפשרי גם שלשות וכו') כאשר אם הם מתאימים זה לזה על פי יחס מסויים אז אומרים שהם מתייחסים זה לזה. למשל 1 גדול מ-0 הוא יחס וכן 4 שווה ל-4 הוא יחס. נשוא פשוט שהוא תכונה יכול להתפרש כייחס בין הדבר שעליו הוא מדבר לתכונה זו למשל 4 הוא מספר זוגי, כלומר 4 שייך לקבוצת הזוגיים, או 2 מחלק את 4 (יחס בין 2 ל-4). בקצרה לא נכון לומר שהיחס "חבר של" הוא פונקציה המתאימה לזוג אבי ורובי ערך אמת כלשהו אלא הנוסחה כוללת את האובייקטים אבי ורובי ואת היחס ביניהם. יחס יכול להיות גם לא סימטרי (יעקב הוא אבא של ראובן, נסמן (Y,R)F כאשר האות F מסמלת את היחס, האות R והאות Y הם סימני ה"אובייקטים" יעקב וראובן) ליפמן (שיחה) 16:32, 27 ביוני 2023 (IDT)