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

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