Detective's Deduction

Discrete Math · Axiom Academy

Solve the mystery using logical reasoning. Each clue is a piece of evidence—chain them together to identify the culprit! Let's collect the clues. Each piece of evidence is a logical statement that will help us narrow down the suspects. Now let's connect the clues. Each logical step eliminates one possibility, bringing us closer to the truth. Let's work through the logic step by step: Based on your logical deductions, who stole the research paper? From Detective to Mathematician You used logical inference rules to solve the mystery. Each deduction followed a valid pattern of reasoning. In discrete mathematics, we formalize these patterns into rules like modus ponens , modus tollens , and hypothetical syllogism . Modus Ponens: "If P, then Q. P is true. Therefore, Q is true." Example from the case: "If someone left before 7 PM, they didn't steal the research. The janitor left at 6:30 PM. Therefore, the janitor didn't steal the research." These inference rules aren't just for detectives! They're used in computer programming (if-then statements), artificial intelligence (logical reasoning engines), legal arguments, scientific proofs, and debugging code. Any time you need to reason systematically, you're using these principles.

This is the written version of the interactive lesson above. See the full Discrete Math course.