Тавтологија (логика): Разлика помеѓу преработките

{{otheruses|Тавтологија}}

Во [[логика]]та, '''тавтологија''' е [[исказ]] кој содржи повеќе од еден подисказ, кој е вистинит без разлика на [[вистинитост]]а на неговите делови. На пример, исказот „Или сите гаврани се црни или не сите од нив се црни“ е тавтологија, бидејќи е вистинит без разлика на тоа која боја се гавраните. Формално изразено, како исказ со ''X'' кој стои за „Сите гаврани се црни“ би било