Qualsevol fórmula lògica que, en un sistema lògic donat, admet només el valor de veritat.
Així, la fórmula (A ∨B) ↔(&Isb;A →B) és una tautologia. És a dir, si dues proposicions formen una tautologia, és que són lògicament identificables i, per tant, tenen el mateix valor de veritat.