תחשיב למדא – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 9:
: תהי <math>\ f : A \to B</math> הפונקציה <math> \ f(x)</math> (למשל ב[[אנליזה מתמטית]] של פונקציות ממשיות: <math>\ f(x) = x^2</math> )...
אבל זו צורת רישום בזבזנית ולא מדויקת, שכן מבחינה לוגית, <math> \ f(x)</math> הוא לא פונקציה אלא מספר כלשהו! למרות שהסימונים המקובלים כיום הם לא חד-משמעיים, הם נפוצים בגלל ההרגל והנוחות שבהם.
הערה: בספרי [[אלגברה מופשטת]] נהוג הסימון הבא:
: <math>f: A \to B</math>
: <math>a \mapsto f(a)</math>
ברם, לצורכי [[לוגיקה]] וניתוח הוכחות באמצעות [[מחשב]] יש למצוא ביטוי לוגי-פורמלי חד-משמעי שיתאר פונקציה. ביטוי זה הוא תחשיב הלמבדא.
| |||