Rule of replacement
Inference rule that may be applied to only a particular segment of an expression
- 1 min read
- 1 chapter
Related on Lably
Through Rule of inference, Well-formed formula and Axiom
Common rules of replacement include de Morgan's laws, commutation, association, distribution, double negation, transposition, material implication, logical equivalence, exportation, and tautology.
Table: Rules of Replacement
The rules above can be summed up in the following table. The "Tautology" column shows how to interpret the notation of a given rule.