Logic & Lateral Puzzles

Deductive reasoning moves from general premises to a conclusion that must be true if they are.

Inductive reasoning builds a general conclusion from specific examples, yielding probable rather than certain results.

A syllogism combines two premises into a logical conclusion, a classical form of deductive argument.

Truth tables list every possible outcome of a logical statement, helping verify whether arguments are valid.

Occam's razor favours fewer unnecessary assumptions when explanations otherwise fit the evidence equally well. It is a guide to choosing…

A formal proof derives a conclusion from stated axioms and rules. Checking the steps establishes what follows from those premises; it does…

Modus ponens, a basic deductive rule, concludes a result follows once a statement and its condition both hold.

Sudoku requires every digit exactly once per row, column, and box, becoming a global puzzle craze in the 2000s.

Crossword puzzles link intersecting answers by shared letters, first widely published in 1913.

The Tower of Hanoi takes at least 2ⁿ − 1 moves for n disks. Three disks need 7 moves; four need 15, rather than 14.

Knights and knaves puzzles feature characters who always lie or always tell the truth, requiring careful deduction.

Chess, played on a 64-square board, has been studied and played competitively for over a thousand years.

The Rubik's Cube has about 43 quintillion reachable configurations. In the usual solved state, each of its six faces has a single colour.

Escape rooms challenge teams to solve puzzles against a countdown clock, growing rapidly in popularity from the 2010s.

Logic grid puzzles are solved by eliminating options from a clue grid, needing no guesswork if used correctly.

The nine dots puzzle illustrates how an unstated boundary can restrict thinking. The lines may extend beyond the square implied by the dots.

Logic gates, the building blocks of digital circuits, process inputs using operations like AND, OR, and NOT.

Boolean logic, named for George Boole, operates using only the values true and false.

The pigeonhole principle notes that more items than containers force at least one container to hold multiple items.

Riddles pose questions with a clever hidden meaning and appear across cultures throughout history.

Brain teasers demand unconventional creative thinking and are often used to test problem-solving in interviews.

Lateral thinking, a term coined by Edward de Bono, solves problems through indirect and creative reasoning.

Checkers, known internationally as draughts, is played by capturing an opponent's pieces through jumps.

Cryptic crosswords hide a definition inside wordplay clues and remain especially popular in British newspapers.

The traveling salesman problem seeks the shortest route through a set of cities, growing far harder as cities are added.

The halting problem, proven unsolvable in general by Alan Turing, asks whether a program will ever finish running.

Fuzzy logic allows degrees of truth beyond strict true or false, used in appliances handling uncertainty.

Game theory studies strategic decisions between competing players, applied across economics and political science.

The Socratic method, named for Socrates, exposes contradictions in reasoning through a series of questions.

Venn diagrams, named for John Venn, use overlapping circles to show relationships between sets.

Set theory studies collections of objects, forming one of modern mathematics' foundational languages.

Mazes challenge solvers to navigate from entrance to exit, sometimes carved from hedges or cornfields.

Anagrams rearrange a word's letters into a new one, often used to craft clever hidden messages.

Word ladders, invented by Lewis Carroll, change one word into another one letter at a time.