Validité et consistance
Définition : Formule valide
Une formule F est dite valide ssi, pour toute interprétation , on a I(F) = T.
Définition : Formule satisfiable
Une formule A sera dite satisfiable, ou sémantiquement consistante, s'il existe une interprétation I telle que I(A) = T. L'interprétation est alors un modèle de A.
Définition : Formule invalide
Une formule invalide est fausse dans au moins une interprétation.
Définition : Formule insatisfiable
Une formule insatisfiable, ou sémantiquement inconsistante, ou encore anti-tautologie, est une formule fausse dans toute interprétation.
Définition : Formule contingente
Une formule contingente est vraie dans certaines interprétations et fausse dans d'autres.
Définition : Conséquence logique
Soit une formule B et une famille de n formules Ai ; On dit que B est conséquence des Ai si pour toute interprétation I telle que ∀Ai, I(Ai) = T, on a aussi I(B) = T. On note alors A1, A2, . . ., An |= B.
Logique des pédicats
