Substitution of Equivalents

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The principle that one may replace a subformula by another subformula to which it is logically equivalent (i.e., φ ↔ ψ) within a larger formula without changing the overall logical value, provided contextual constraints are respected.