| Wikipedia ויקיפדיה העברית - האנציקל... |
תחשיב הפרדיקטים
בלוגיקה ובלוגיקה מתמטית, תחשיב פרדיקטים מסדר ראשון הוא מערכת אקסיומטית המאפשרת לטפל בפסוקים שהמבנה הבסיסי שלהן כולל נשואים (פרדיקטים) החלים על אובייקטים, או על משתנים שערכיהם הם אובייקטים. הפרדיקטים עצמם הם פונקציות המחזירות ערך אמת (אמיתי או שקרי) עבור אובייקטים מסוימים או עבור משתנים מסוימים. בתחשיב פרדיקטים מסדר גבוה יותר, פרדיקטים יכולים לחול על פרדיקטים אחרים וכמתים יכולים לחול על פרדיקטים. במתמטיקה תחשיב הפרדיקטים מופיע כשפה מסדר ראשון או כשפה מסדר שני.
| להמשך המאמר ראה Wikipedia.org... |
© מאמר זה משתמש בתוכן מ-ויקיפדיה® וכפוף לרשיון לשימוש חופשי במסמכים של גנו GNU Free Documentation License וכפוף לרישיון Creative Commons ייחוס-שיתוף זהה
