1. מבנה לשוני המייצג קבוצה של הכרזות, או צעד בסדרת פעולות.
2. בשפת תכנות עילית, ביטוי שלם לפי כללי התחביר של אותה שפה, המשמש לתיאור פעולות או הגדרות. מבנה לשוני המייצג קבוצה של הכרזות, או צעד בסדרת פעולות.
בשפות תכנות אחדות מבחינים בין פסוקים בני-ביצוע לבין שאינם בני-ביצוע.
בשפות תכנות אחרות מבחינים בין הכרזות לבין פסוקים.
מבנה לשוני, שאינו ביטוי שלם לפי כללי התחביר של שפת התכנות, ייקרא 'אימרה' או 'הֵיגֵד'.
עדיף המונח "פסוק" ולא "משפט".