What is the difference of propositional logic and predicate logic?
Just says some statements can not be expressed in propositional logic. Propositions needs to talk in absolute values, true or false, and predicate can express quantification such as "some" "all " etc .