added post: terminology propositional logic