 Boolean valuation

A Boolean valuation $v$ assigns each primitive proposition a value in $\{\mathrm{F},\mathrm{T}\}$, equivalently $\{0,1\}$, and extends recursively to every propositional formula using the classical logical connectives. The same primitive proposition always receives the same value within one Boolean valuation. For compound propositional formulas $A$ and $B$,Every other case receives the opposite value. Thus $v(p)=\mathrm{T},v(q)=\mathrm{F}$ gives $v((p\to q)\wedge p)=\mathrm{F}$. A truth table varies the assignment; recursive evaluation computes one row. The truth-functional restriction means that changing what the primitive propositions describe, while retaining their values, cannot change the value of the compound propositional formula. See forall x: Calgary, chapter 9 and section 10.1.