Validité et consistance
Formule valide
Une formule valide, ou tautologie, est une formule φ vraie quelles que soient les valeurs de vérité des atomes qui la composent (vraie dans toute interprétation). On la note ╞ φ.
Formule insatisfiable (falsifiable ou inconsistante)
Une formule insatisfiable, ou sémantiquement inconsistante, ou encore antilogie, est une formule fausse dans toute interprétation.
Formules satisfiables (consistante)
Une formule satisfiable ou sémantiquement consistante est une formule vraie dans au moins une interprétation.
Formules invalides
Une formule invalide est fausse dans au moins une interprétation.
Formules contingentes
Une formule contingente est vraie dans certaines interprétations et fausse dans d'autres.
Conséquence valide
Soient deux formules A et B. Nous dirons que A est la conséquence valide de B (A ╞ B) si tout modèle de A est un modèle de B.
