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
Logical truth also commonly used to refer to what could more specifically be called truth-functional tautologies. Whereas a tautology or logical truth is true solely because of the logical terms it contains in general (e.g. "every", "some", and "is"), a truth-functional tautology is true because of the logical terms it contains which are logical connectives (e.g. "or", "and", and "nor"). Not all logical truths are tautologies of such a kind. Logical constants, including logical connectives and quantifiers, can all be reduced conceptually to logical truth. For instance, two statements or more are logically incompatible "if, and only if" their conjunction is logically