# completeness theorem

**completeness theorem** A theorem about a logical system *L* and a semantics *S* stating that a formula is provable in the logic *L* if and only if it is valid in the semantics *S*. A completeness theorem consists of a soundness and an adequacy theorem: it confirms that the logic is expressing and deriving precisely the properties that are valid according to the semantics.

#### More From encyclopedia.com

Logical , logical •cackle, crackle, grackle, hackle, jackal, mackle, shackle, tackle •ankle, rankle •Gaskell, mascle, paschal •tabernacle • ramshackle •débâcle… Logic Circuit , logic circuit An electric circuit concerned with logic systems. The term logic device is often used synonymously. A logic circuit is required to prod… Symbolic Logic , Logic, Symbolic
A modern version of formal logic, referred to variously as logistic, mathematical logic, and the algebra of logic; it may be describe… Fuzzy Logic , "Fuzzy logics" are multivalued logics intended to model human reasoning with certain types of imprecision. The field of fuzzy logic originated with a… Flip-flop , flip-flop (bistable) An electronic circuit element that is capable of exhibiting either of two stable states and of switching between these states in… Logical Positivism , A contemporary philosophical movement that aims to establish an all-embracing, thoroughly consistent empiricism based solely on the logical analysis…

#### You Might Also Like

#### NEARBY TERMS

**completeness theorem**