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