Search Results for ""

Resolution is a widely used word with many different meanings. It can refer to resolution of equations, resolution of singularities (in algebraic geometry), resolution of ...

Building on work of Huntington (1933ab), Robbins conjectured that the equations for a Robbins algebra, commutativity, associativity, and the Robbins axiom !(!(x v y) v !(x v ...

A truth table is a two-dimensional array with n+1 columns. The first n columns correspond to the possible values of n inputs, and the last column to the operation being ...

Consider expressions built up from variables and constants using function symbols. If v_1, ..., v_n are variables and t_1, ..., t_n are expressions, then a set of mappings ...

The term used in propositional calculus for the NAND connective. The notation A|B is used for this connective, a most unfortunate choice in light of modern usage of A|B or ...

A man of Seville is shaved by the Barber of Seville iff the man does not shave himself. Does the barber shave himself? This pseudoparadox was proposed by Bertrand Russell.

Consider a library which compiles a bibliographic catalog of all (and only those) catalogs which do not list themselves. Then does the library's catalog list itself?

A conclusion is a statement arrived at by applying a set of logical rules known as syllogisms to a set of premises. The process of drawing conclusions from premises and ...

The formal term in propositional calculus for the connective implies.

The term used in propositional calculus for the NOR connective. The notation AvB is used for this connective.