Essential Ideas for Section 1.2
The type of reasoning in which you first observe a pattern, and then predict outcomes for future occurrences.
The type of reasoning involves reaching a conclusion by using a formal structure based on a set of undefined terms and a set of accepted unproved axioms or premises.
If a = b then a may be substituted for b in any mathematical statement without affecting the truth or falsity of the given mathematical statement.