שינויים
/* טבלאות אמת */
פסוק שערך האמת שלו הוא תמיד T, לכל הצבה של ערכי אמת באטומים, נקרא '''טאוטולוגיה'''. פסוק שערך האמת שלו הוא תמיד F נקרא '''סתירה'''.
לטאוטולוגיות חשיבות מיוחדת בלוגיקה, משום שהם מבטאות אמת צורנית אוניברסלית, שאינה תלויה בהצבת ערכי האמת. (ראו גם [http://xkcd.com/703/]).