Mot : tautologie
Catégorie : N
Genre : Féminin
Définition : Logique formelle Proposition toujours vraie, quel que soit le modèle dans lequel elle s'instancie.
Exemples : La tautologie est cette forme dégénérée de la liaison qui demeure vraie quelles que soient les valeurs de vérité des propositions qu'elle combine ; la proposition « p ou non p », par exemple, est vraie indépendamment de tout constat, puisqu'elle l'est pour p vraie comme pour p fausse. Encyclop. univ. t. 16 1973, p. 997