Tautologia

Enciclopedia on line

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.

CATEGORIE
TAG

Logica matematica

Logica

Verità