Logic puzzle

related topics
{math, number, function}
{theory, work, human}
{@card@, make, design}
{work, book, publish}
{specie, animal, plant}
{game, team, player}

A logic puzzle is a puzzle deriving from the mathematics field of deduction.

Contents

History

The logic puzzle was first produced by Charles Lutwidge Dodgson, who is better known under his pen name Lewis Carroll, the author of Alice's Adventures in Wonderland. In his book The Game of Logic he introduced a game to solve problems such as confirming the conclusion "Some greyhounds are not fat" from the statements "No fat creatures run well" and "Some greyhounds run well". Puzzles like this, where we are given a list of premises and asked what can be deduced from them, are known as syllogisms. Dodgson goes on to construct much more complex puzzles consisting of up to 8 premises.

In the second half of the 20th century mathematician Raymond M. Smullyan has continued and expanded the branch of logic puzzles with books such as The Lady or the Tiger?, To Mock a Mockingbird and Alice in Puzzle-Land. He popularized the "knights and knaves" puzzles, which involve knights, who always tell the truth, and knaves, who always lie.

There are also logic puzzles that are completely non-verbal in nature. Some popular forms include Sudoku, which involves using deduction to correctly place numbers in a grid; the nonogram, also called "Paint by Numbers", which involves using deduction to correctly fill in a grid with black-and-white squares to produce a picture; and logic mazes, which involve using deduction to figure out the rules of a maze.

Logic grid puzzles

Another form of logic puzzle, popular among puzzle enthusiasts and available in large magazines dedicated to the subject, is a format in which the set-up to a scenario is given, as well as the object (for example, determine who bid to as "logic grid" puzzles. The most famous example may be the so-called Zebra Puzzle, which asks the question Who Owned the Zebra?.

Common in logic puzzle magazines are derivatives of the logic grid puzzle called "table puzzles" that are deduced in the same manner as grid puzzles, but lack the grid either because a grid would be too large, or because some other visual aid is provided. For example, a map of a town might be present in lieu of a grid in a puzzle about the location of different shops.

This type of puzzle is often included on the Law School Admissions Test (LSAT).

See also

External links

Full article ▸

related documents
Turing tarpit
DARPA Agent Markup Language
Statistical regularity
Karl Menger
Classical logic
Mnemonic link system
The Free Software Definition
Hack value
Inductive logic programming
Voodoo programming
Structure and Interpretation of Computer Programs
Unix billennium
National Center for Biotechnology Information
Quick-and-dirty
Mathematical constants (sorted by continued fraction representation)
Semivariance
Super-Poulet number
August Ferdinand Möbius
Ninety-ninety rule
Obfuscation
Genus-differentia definition
John Koza
Sharp (music)
Hill system
Bullet (typography)
Oswald Teichmüller
John F. Sowa
Édouard Lucas
John Moore (anarchist)
Facade pattern