# Boolean Valuation

A Boolean valuation (BV) is a function from the set of wffs in propositional logic to the set $Tr$.

- Also called a model or an interpretation

In SE212, we saw that the range of the SE212, we saw that the range of the Semantics function for SE212, we saw that the range of the Semantics function for Semantics function for Propositional Logic is the set of truth values: $Tr={T,F}$ The Semantics of propositional logic are described using Boolean valuations.

Given a formula $p∧q$, we write $[p∧q]$ to mean “the meaning of the formula” in a certain Boolean Valuation. The $[]$ is a function mapping syntax to its value.

- YESS, I wrote this idea in Logic on my own