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

פסוק חיווי הוא אוסף סימנים המבטא [[טענה]].

טענה היא תוכן היכול להיות אמיתי או שקרי, כלומר תיאור של עובדה אפשרית.

 

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