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

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