פסוק (לוגיקה) – הבדלי גרסאות

תהי <math> \mathcal L </math> שפה, ותהא <math> \phi </math> [[נוסחא (לוגיקה)|נוסחא]] בשפה <math> \mathcal L </math>. אם ב-<math>\phi</math> אין בה [[משתנה חופשי|משתנים חופשיים]], נאמר כי <math> \phi</math> היא '''פסוק'''.