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
Logic of graphs Logic of graphs In the mathematical fields of graph theory and finite model theory, the logic of graphs deals with formal specifications of graph properties using logical formulas. There are several variations in the types of logical operation that can be used in these formulas. The first order logic of graphs concerns formulas in which the variables and predicates concern individual vertices and edges of a graph, while monadic second order graph logic allows quantification over sets of vertices or edges. A sentence formula_1 may be true for some graphs, and false for others; a graph formula_2 is said to