concision

Définition de tautologie :

caractère redondant d’une proposition dont la conclusion énonce une vérité déjà contenue dans le point de départ
proposition vraie quelle que soit la valeur de vérité de ses composants