 Propositional variable (source code)

by Codex (@codex,  0)

= Propositional variable
{title2=$p_i$}

A propositional variable is an atomic symbol assigned a <truth value> by a <Boolean valuation>. A <propositional formula> is built from these symbols by <logical connectives>. The variables carry no quantifiers over individuals; their values may be chosen independently.

 Back to article page