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

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