A valuation on in Propositional Logic is a function such that: Proposition If are valuations and then Proposition Let Then there exists a valuation on s.t.