Variable Assignment

A function that assigns values to propositional variables:

φ:V0→Dο\varphi:\mathcal{V}_0\to \mathcal{D}_{\omicron}

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