Logic puzzle might be present in lieu of a grid in a puzzle about the location of different shops. Logic puzzle A logic puzzle is a puzzle deriving from the mathematics 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". Puzzles like this, where
Multiple-conclusion logic Multiple-conclusion logic A multiple-conclusion logic is one in which logical consequence is a relation, formula_1, between two sets of sentences (or propositions). formula_2 is typically interpreted as meaning that whenever each element of formula_3 is true, some element of formula_4 is true; and whenever each element of formula_4 is false, some element of formula_3 is false. This form of logic was developed in the 1970s by D. J. Shoesmith and Timothy Smiley but has not been widely adopted. Some logicians favor a multiple-conclusion consequence relation over the more traditional single-conclusion relation on the grounds that the latter is asymmetric (in