tautologia Nella logica formale classica, proposizione che, proponendosi di definire qualcosa, non fa sostanzialmente che ripetere nel predicato ciò che già è detto nel soggetto.
In logica matematica si chiama t. (o verità logica) ogni espressione che risulti sempre vera, qualunque siano i valori di verità assegnati alle variabili.