Search Results for ""

An operator in logic which returns either true or false.

A law in (2-valued) logic which states there is no third alternative to truth or falsehood. In other words, for any statement A, either A or not-A must be true and the other ...

The symbol v variously means "disjunction" (i.e., OR in logic) or "join" (for a lattice).

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.

A term in logic meaning pertaining to truth and falsehood.

In logic, a statement which cannot be broken down into smaller statements, also simply called an "atom."

A puzzle in logic in which one or more facts must be inferred from a set of given facts.

An occurrence of a variable in a logic which is not free. Bound variables are also called dummy variables.

A generalization of a Heyting algebra which replaces Boolean algebra in "intuitionistic" logic.

A statement which is rigorously not true. Regular two-valued logic allows statements to be only true or false, but fuzzy logic treats "truth" as a continuum which can have a ...