לוגיקה טאוטולוגיה

פסוק שהוא תמיד שקר (לא נכון / שגוי) נקרא סתירה. כך, שלילתה של טאוטולוגיה היא סתירה, ולהפך.

בתחשיב הפסוקים, פסוק הוא טאוטולוגיה, אם הוא תמיד אמיתי, ללא תלות בערכי האמת של תת-פסוקיו. לדוגמה, המשפט "או שכל הבתים לבנים או שיש לפחות בית אחד שאינו לבן" הוא טאוטולוגיה לוגית, שכן הוא אמיתי תמיד, בלי תלות בצבע הבתים (על פי עקרון השלישי הנמנע). בצורה פורמלית, כאשר ${\displaystyle X}$ מייצג את הביטוי "כל הבתים לבנים", יתקבל הפסוק ${\displaystyle X\lor \neg X}$, שיהיה אמיתי תמיד וללא תלות בערך האמת של ${\displaystyle X}$ – הביטוי מכסה את כל המצבים האפשריים, ולכן, לא ייתכן שיהיה שקר.

הסימן המתמטי לייצוג טאוטולוגיה הוא ${\displaystyle \models }$. מסמנים ${\displaystyle \models \phi }$ כדי לומר ש-${\displaystyle \phi }$ טאוטולוגיה.

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

• אפילו לא שגוי
• הוכחה
• הפרכה
• שקר
• באופן ריק

• טאוטולוגיה, באתר MathWorld (באנגלית)
• טאוטולוגיה, באתר אנציקלופדיה בריטניקה (באנגלית)

  ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.