This reasoning concept derives a conclusion from stated axioms and rules. Checking the steps establishes what follows from those premises; it does not establish that the premises describe the physical world.

Think it. Then flip it. ahamoraTap to reveal Back to the cue

Math & LogicOne small aha

Your new ahaFormal Proof

Formal Proof: A sequence of statements derived from stated axioms using specified rules of inference. Source: Mathematical proof ↗

Keep the thread going

One answer is a beginning.

Share a little curiosity, or follow it into the full collection.

07This reasoning concept, a basic deductive rule, concludes a result follows once a statement and its condition both hold.RECALL
Modus Ponens
Modus ponens, a basic deductive rule, concludes a result follows once a statement and its condition both hold.
Open this card ↗
08This number-placement puzzle uses a 9 × 9 grid; each row, column and 3 × 3 box must contain the digits 1–9 once.RECALL
Sudoku
Sudoku requires every digit exactly once per row, column, and box, becoming a global puzzle craze in the 2000s.
Open this card ↗
09These word puzzles fit answers to clues into intersecting rows and columns of shared letters.RECALL
Crossword Puzzles
Crossword puzzles link intersecting answers by shared letters, first widely published in 1913.
Open this card ↗