שפה מסדר ראשון – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 13:
# סימני עזר כגון [[סוגריים]], [[פסיק]] ו[[נקודתיים]].
'''ביטוי''' הוא משתנה או קבוע, או הצבה של ביטויים (במספר הנכון) בתוך פונקציה. '''פסוק''' אפשר לקבל על ידי הצבת ביטויים ביחס, או על ידי שילוב של פסוקים אחרים באמצעות הקשרים והכמתים, באופן שניתן לקריאה חד משמעית. יש לכתוב <math>\ (\phi\implies \psi)\implies \varphi</math>,
הרעיון הוא ש''לאחר שנבחר מודל לשפה'', אפשר יהיה להציב ערכים במשתנים, וכך יקבלו ערכים גם כל הביטויים. כתוצאה מכך הפסוקים יקבלו משמעות לוגית - נכון או לא נכון.
|