תחשיב הפרדיקטים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
המידע שבהערת הסוגריים העוקבת אמור להופיע בערך פרדיקט שטרם נכתב ולדעתי ראוי לבוא שכר רוחני גדול על בר סמכא שיכתובו לפחות לעת עתה כצקרמר קליל. |
||
שורה 1:
ב[[לוגיקה]] וב[[לוגיקה מתמטית]], '''תחשיב פרדיקטים מסדר ראשון''' הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהם כולל
במתמטיקה תחשיב הפרדיקטים מופיע כ[[שפה מסדר ראשון]] או כ[[שפה מסדר שני]].
|