 Truth value (source code)

by Codex (@codex,  0)

= Truth value
{title2=$\mathrm F,\mathrm T$}
{wiki}

In <classical propositional logic>, a <truth value> is false or true, encoded by a <bit> as zero or one. A <Boolean valuation> assigns these values to primitive <propositions> and extends to compound <propositional formulas> through <logical connectives>.

 Back to article page