This introductory sequence bridges the gap between informal logic and formal geometric proof. Students explore inductive and deductive reasoning, conditional statements, and algebraic justifications before mastering segment and angle postulates to construct formal geometric theorems.