Substitution D'Équivalents

Le principe selon lequel on peut remplacer une sous-formule par une autre sous-formule qui lui est logiquement équivalente (c'est-à-dire φ ↔ ψ) à l'intérieur d'une formule plus large sans modifier la valeur logique globale, à condition de respecter les contraintes contextuelles.