Deductive reasoning moves from general rules to specific conclusions: if the premises are true and the reasoning is valid, the conclusion is guaranteed. Inductive reasoning moves from specific observations to general patterns: the conclusion is probable but never certain. Mathematics relies primarily on deduction — a theorem proven deductively is true forever. Science relies heavily on induction — observing that the sun has risen every day does not logically guarantee it will rise tomorrow, but it provides strong evidence. Understanding the difference is essential because it determines how much confidence you can place in a conclusion.
Present matched pairs. Deductive: "All even numbers are divisible by 2. 14 is even. Therefore 14 is divisible by 2." Inductive: "14 is divisible by 2. 28 is divisible by 2. 42 is divisible by 2. It seems like all multiples of 14 are divisible by 2." Have students classify real arguments as deductive or inductive. Then discuss: which type gives certainty? Which type generates new conjectures? Both are valuable, but for different purposes.
There are two fundamentally different ways to reason, and understanding the boundary between them is one of the most important things you will learn in logic.
Deductive reasoning starts with general premises and draws specific conclusions that are guaranteed to follow. The classic form is: "All A are B. X is an A. Therefore X is B." If both premises are true, the conclusion must be true — there is no wiggle room, no exceptions, no probability involved. This is the type of reasoning used in mathematical proofs, where once something is proven, it stays proven forever. When Euclid proved there are infinitely many prime numbers around 300 BCE, that proof is still valid today and will be valid for all time. That is the power of deduction.
Inductive reasoning goes the other direction: it starts with specific observations and infers a general rule. You notice that 2, 4, 6, 8, 10 are all even and all equal to 2 times something, and you conjecture that every even number is 2 times some integer. The conclusion is reasonable — strongly supported, even — but it is not logically guaranteed by the observations. You checked five cases out of infinitely many. Induction gives you plausible conjectures, not proven theorems.
The practical relationship between the two is complementary, not competitive. Induction is how you discover patterns: you look at examples, notice regularities, and formulate conjectures. Deduction is how you confirm them: you construct a logical argument that works for all cases, not just the ones you have checked. In practice, mathematical progress almost always starts with inductive exploration and ends with deductive proof. The examples inspire the conjecture; the proof settles it.
One naming trap to watch for: "mathematical induction" is actually a deductive proof technique, despite its name. When you prove something by mathematical induction (which you will encounter later in this course), you are not generalizing from examples — you are using a rigorous logical structure that covers every case. The name is historical and misleading, but the method is purely deductive. The distinction between everyday inductive reasoning and the proof technique called "mathematical induction" is one you should flag now so it does not confuse you later.