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