פסוק - ביטוי או משפט שעליו ניתן לקבוע שהוא "שקרי" או "אמיתי", עפי"ר נהוג לסמן כ-T פסוק אמיתי (קיצור ל-TRUE) ו-F לפסוק שיקרי (קיצור ל-FALSE).
שימוש נרחב בפסוקים נעשה בלוגיקה המתמטית.
די בכך שניתן לייחס למשפט כלשהו ערך אמת - כדי שזה יחשב לפסוק, אין הכרח שתהא ידיעה ממש אם המשפט הוא אמת או שקר, למשל - "העד דובר אמת" הוא פסוק, שכן ניתן לייחס לו ערך "אמת" או "שקר" גם אם אין הדבר ידוע לאשורו.
דוגמאות לפסוקים :
"המספר 5 גדול מהמספר 10" הוא פסוק שקר.
"יש דגים בים" הוא פסוק אמת.
לעומת זאת :
"איזה יום היום?" - אינו פסוק כלל - שכן, אין משמעות של אמת או שקר ביחס למשפט זה.