שפה מסדר ראשון – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Bustan1498 (שיחה | תרומות)
מ עיצוב
מ תקלדה
שורה 19:
::6. סימני עזר כגון [[סוגריים]], [[פסיק]] ו[[נקודתיים]].
 
השפה היא מושג כללי, ובכדיוכדי להביא לידי דוגמאות קונקרטיות יש צורך לבנות [[מודל (לוגיקה מתמטית)|מודל]] שירחיב את השפה.
לאחר שנבחר מודל לשפה, אפשר יהיה להציב ערכים במשתנים, וכך יקבלו ערכים גם כל הביטויים. כתוצאה מכך הפסוקים יקבלו משמעות לוגית – כלומר, ייקבע האם אמיתיים או לא.