 | This article needs additional citations for verification .(October 2019) |
| Part of a series on |
| Puzzles |
|---|
 |
A logic puzzle is a puzzle deriving from the mathematical field of deduction.
| | This article needs additional citations for verification .(October 2019) |
| Part of a series on |
| Puzzles |
|---|
| |
A logic puzzle is a puzzle deriving from the mathematical field of deduction.
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". [1] Puzzles like this, where we are given a list of premises and asked what can be deduced from them, are known as syllogisms.[ citation needed ] Dodgson goes on to construct much more complex puzzles consisting of up to 8 premises.[ citation needed ]
In the second half of the 20th century mathematician 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 ]
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.[ citation needed ]
| | This article needs additional citations for verification .(October 2019) |
Another form of logic puzzle, popular among puzzle enthusiasts and available in 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 brought what dog to a dog show, and what breed each dog was), certain clues are given ("neither Misty nor Rex is the German Shepherd"), and then the reader fills out a matrix with the clues and attempts to deduce the solution. These are often referred to as "logic grid" puzzles. The data set of a logic grid puzzles can be any number of categories, but are limited by the corresponding increase in complexity, with most having only two, three, or even four categories.
While designed more as a table-based puzzle than a matrix, the most famous example of a logic-grid puzzle 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.
Puzzle video games make up a broad genre of video games that emphasize puzzle solving. The types of puzzles can test problem-solving skills, including logic, pattern recognition, sequence solving, spatial recognition, and word completion. Many puzzle games involve a real-time element and require quick thinking, such as Tetris (1985) and Lemmings (1991).
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning. This contrasts with Hilbert-style systems, which instead use axioms as much as possible to express the logical laws of deductive reasoning.
Deductive reasoning is the mental process of drawing deductive inferences. An inference is deductively valid if its conclusion follows logically from its premises, i.e. it is impossible for the premises to be true and the conclusion to be false.
A crossword is a word game consisting of a grid of black and white squares, into which solvers enter words or phrases ("entries") crossing each other horizontally ("across") and vertically ("down") according to a set of clues. Each white square is typically filled with one letter, while the black squares are used to separate entries. The first white square in each entry is typically numbered to correspond to its clue.
A puzzle is a game, problem, or toy that tests a person's ingenuity or knowledge. In a puzzle, the solver is expected to put pieces together in a logical way, in order to arrive at the correct or fun solution of the puzzle. There are different genres of puzzles, such as crossword puzzles, word-search puzzles, number puzzles, relational puzzles, and logic puzzles. The academic study of puzzles is called enigmatology.
Alice Pleasance Hargreaves was an English woman who, in her childhood, was an acquaintance and photography subject of Lewis Carroll. One of the stories he told her during a boating trip became the classic 1865 children's novel Alice's Adventures in Wonderland. She shared her name with "Alice", the story's heroine, but scholars disagree about the extent to which the character was based upon her.
In philosophy of logic and logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion.
Nonograms, also known as Hanjie, Paint by Numbers, Picross, Griddlers, and Pic-a-Pix, and by various other names, are picture logic puzzles in which cells in a grid must be colored or left blank according to numbers at the side of the grid to reveal a hidden pixel art-like picture. In this puzzle type, the numbers are a form of discrete tomography that measures how many unbroken lines of filled-in squares there are in any given row or column. For example, a clue of "4 8 3" would mean there are sets of four, eight, and three filled squares, in that order, with at least one blank square between successive sets.
Knights and Knaves is a type of logic puzzle where some characters can only answer questions truthfully, and others only falsely. The name was coined by Raymond Smullyan in his 1978 work What Is the Name of This Book?
The concepts of fluid intelligence (gf) and crystallized intelligence (gc) were introduced in 1963 by the psychologist Raymond Cattell. According to Cattell's psychometrically-based theory, general intelligence (g) is subdivided into gf and gc. Fluid intelligence is the ability to solve novel reasoning problems and is correlated with a number of important skills such as comprehension, problem-solving, and learning. Crystallized intelligence, on the other hand, involves the ability to deduce secondary relational abstractions by applying previously learned primary relational abstractions.
Kakuro or Kakkuro or Kakoro is a kind of logic puzzle that is often referred to as a mathematical transliteration of the crossword. Kakuro puzzles are regular features in many math-and-logic puzzle publications across the world. In 1966, Canadian Jacob E. Funk, an employee of Dell Magazines, came up with the original English name Cross Sums and other names such as Cross Addition have also been used, but the Japanese name Kakuro, abbreviation of Japanese kasan kurosu, seems to have gained general acceptance and the puzzles appear to be titled this way now in most publications. The popularity of Kakuro in Japan is immense, second only to Sudoku among Nikoli's famed logic-puzzle offerings.
The Mock Turtle is a fictional character devised by Lewis Carroll from his popular 1865 book Alice's Adventures in Wonderland. Its name is taken from a dish that was popular in the Victorian period, mock turtle soup.
Sudoku is a logic-based, combinatorial number-placement puzzle. In classic Sudoku, the objective is to fill a 9 × 9 grid with digits so that each column, each row, and each of the nine 3 × 3 subgrids that compose the grid contains all of the digits from 1 to 9. The puzzle setter provides a partially completed grid, which for a well-posed puzzle has a single solution.
Fillomino (フィルオミノ) is a type of logic puzzle published by many publishers. Other published titles for the puzzle include Allied Occupation.
Games World of Puzzles is an American games and puzzle magazine. Originally the merger of two other puzzle magazines spun off from its parent publication Games magazine in the early 1990s, Games World of Puzzles was reunited with Games in October 2014.
The Eleventh Hour: A Curious Mystery is an illustrated children's book by Graeme Base. In it, Horace the Elephant holds a party for his eleventh birthday, to which he invites his ten best friends to play eleven games and share in a feast that he has prepared. However, at the time they are to eat—11:00—they are startled to find that someone has already eaten all the food. They accuse each other until, finally, they're left puzzled as to who could have eaten it all. It is left up to the reader to solve the mystery, through careful analysis of the pictures on each page and the words in the story.
Scarabaeus, known in America as Invaders of the Lost Tomb, is a computer game released for the Commodore 64 in 1985. It was written in Hungary by Andromeda Software and distributed in the UK by Ariolasoft. The storyline features an astronaut and his dog who explore an Egyptian tomb and need to find the Pharaoh's Jewel by solving puzzles spread over three levels. The game is played in 1st person view. A sequel was said to be in development in 1986 but was never released.
Charles Lutwidge Dodgson, better known by his pen name Lewis Carroll, was an English author, poet, mathematician and photographer. His most notable works are Alice's Adventures in Wonderland (1865) and its sequel Through the Looking-Glass (1871). He was noted for his facility with word play, logic, and fantasy. His poems Jabberwocky (1871) and The Hunting of the Snark (1876) are classified in the genre of literary nonsense.
The Zebra Puzzle is a well-known logic puzzle. Many versions of the puzzle exist, including a version published in Life International magazine on December 17, 1962. The March 25, 1963, issue of Life contained the solution and the names of several hundred successful solvers from around the world.
The Game of Logic is a book, published in 1886, written by the English mathematician Charles Lutwidge Dodgson (1832–1898), better known under his literary pseudonym Lewis Carroll. In addition to his well-known children's literature, Dodgson/Carroll was an academic mathematician who worked in mathematical logic. The book describes, in an informal and playful style, the use of a board game to represent logical propositions and inferences. Dodgson/Carroll incorporated the game into a longer and more formal introductory logic textbook titled Symbolic Logic, published in 1897. The books are sometimes reprinted in a single volume.
