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