Propositional theory
= Propositional theory
A <propositional theory> is a set of <propositional formulas>, sometimes identified with its deductive closure. It is a <consistent set of formulae> when contradiction is not derivable from it. The <completeness theorem for propositional logic> identifies consistency with existence of a satisfying <Boolean valuation>.