משתמש:SivanG/ארגז חול

פסוק הינו משפט או ביטוי שניתן לאמר עליו שהוא "אמת" או "שקר". כלומר, נכון או לא נכון.
בלוגיקה המתמטית נעשה שימוש רב בפסוקים כאשר פסוק אמת מסומן באות T (כקיצור של המילה הלועזית True) ופסוק שקר מסומן באות F (כקיצור של המילה הלועזית False)

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

דוגמאות לפסוקים

• $2\leq 1$ - הינו פסוק שניתן לאמר עליו כי הוא פסוק שקר.
• יש ילדים בגן- הינו פסוק היות וניתן לאמר עליו שהוא פסוק אמת.

דוגמאות לביטויים ומשפטים שאינם פסוקים

• $1\leq X$ - איננו פסוק מכיוון שאין תשובה חד משמעית - עבור ערכי X מסויימים המשפט יהיה משפט אמת ועבור ערכי X אחרים המשפט יהיה משפט שקר.
• מה השעה עכשיו? - איננו פסוק מכיוון שאין משמעות לקביעת אמת/שקר בנוגע למשפט זה.

ראו גם

• תחשיב הפסוקים
• קשר לוגי