Verification via Substitution
Students use substitution to test if two expressions are equivalent, discovering that a single counterexample disproves equivalence while multiple matches provide strong evidence for it.
Students use substitution to test if two expressions are equivalent, discovering that a single counterexample disproves equivalence while multiple matches provide strong evidence for it.