Equational Reasoning

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A deductive technique that proves identities and properties by manipulating equations under rules of equality and congruence, often realized through rewriting, substitution, and algebraic manipulations.