Variable Assignment

A function that assigns values to propositional variables:

$\phi :{\mathcal{V}}_0\to {\mathcal{D}}_o$

Is being used in the Value Function to assign values to Propositional Logic formulas.