Une vérité logique ou mathématique est une formule bien formée d’un langage formel qui est vraie sous toutes les interprétations des constituants (autres que les constantes logiques) de ce langage. Dans certains textes et contextes (par exemple le calcul logique et la logique mathématique), les vérités logiques sont connues sous le nom de formules logiquement …