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