Logic puzzle 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 we are given a list of premises and asked what can be deduced from them, are known
Logical disjunction is true in that case. An operand of a disjunction is called a disjunct. Related concepts in other fields are: Or is usually expressed with an infix operator: in mathematics and logic, ∨; in electronics, +; and in most programming languages, |, ||, or or. In Jan Łukasiewicz's prefix notation for logic, the operator is A, for Polish "alternatywa" (English: alternative). Logical disjunction is an operation on two logical values, typically the values of two propositions, that has a value of "false" if and only if both of its operands are false. More generally, a disjunction is a logical formula