Editing Logic puzzle (section)

==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".{{sfn|Carroll|1886|p=53 #24}} Puzzles like this, where we are given a list of premises and asked what can be deduced from them, are known as [[syllogism]]s.{{citation needed|date=October 2019}} Dodgson goes on to construct much more complex puzzles consisting of up to 8 premises.{{citation needed|date=October 2019}}

In the second half of the 20th century mathematician [[Raymond Smullyan|Raymond M. Smullyan]] 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.{{citation needed|date=October 2019}}

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 maze]]s, which involve using deduction to figure out the rules of a maze.{{citation needed|date=October 2019}}