שיחה:תחשיב הפרדיקטים

פרדיקטים הם פונקציות המחזירות ערך אמת

למעשה פרדיקט (נשוא) אינו מוגדר כפונקציה אלא להיפך, פונקציה היא יחס בין שני אובייקטים כאשר לכל אובייקט מקבוצה 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)

@ליפמן, כעת יותר טוב? > השתתפו >> שיחה > ח' בתמוז ה'תשפ"ג > 17:48, 27 ביוני 2023 (IDT)

@שרגא כן, אבל אני לא בטוח שהקישור הפנימי ליחס (תורת הקבוצות) מועיל כאן.--ליפמן (שיחה) 19:25, 27 ביוני 2023 (IDT)

@ליפמן, אם כך, תסיר אותו, שרגא > השתתפו >> שיחה > ט' בתמוז ה'תשפ"ג > 19:37, 27 ביוני 2023 (IDT)