Truth Assignment

A Function $\tau :PV\to \{0,1\}$ that evaluates the truthness of a Propositional Variable.

Example

$$\tau (i)=\{\begin{array}{ll}1& \text{ if }i\mathrm{mod}2=0\\ 0& \text{ ow }\end{array}$$