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