Logic / Logic 203 · Atom · ~20 seconds
Replacement Rules: The Concept
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Replacement rules are equivalences: they swap interchangeable forms, in either direction, applied to whole lines *or any part of a line*.
Show
Inference rules are one-way and whole-line; replacement rules are two-way and reach inside formulas.
Watch for
This difference in reach is exactly why the system needs both kinds. The "::" in what follows means "replace either side with the other."