Definition:Bottom-Up Specification of Propositional Logic