Bottom-Up Specification of Propositional Logic/Examples