Propositional type
= Propositional type
{title2=$\Sigma$}
A <propositional type> is a collection of <propositional formulas> to be jointly realized by a <Boolean valuation>. A valuation realizes it when every member is true and omits it when some member is false. For propositional omission arguments, the collection need not itself be consistent.