Sustitución de Equivalentes

El principio de que puede reemplazarse una subfórmula por otra subfórmula con la que es lógicamente equivalente (es decir, φ ↔ ψ) dentro de una fórmula mayor sin cambiar el valor lógico global, siempre que se respeten las restricciones contextuales.