Propositional logic predicate logic