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