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

::6. סימני עזר כגון [[סוגריים]], [[פסיק]] ו[[נקודתיים]].

 

הרעיון הוא שלאחר שנבחר מודל לשפה, אפשר יהיה להציב ערכים במשתנים, וכך יקבלו ערכים גם כל הביטויים. כתוצאה מכך הפסוקים יקבלו משמעות לוגית – כלומר, ייקבע האם האם אמיתיים או לא.