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

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

 

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