הבדלים בין גרסאות בדף "שפה מסדר ראשון"

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