Predicate Logic
Propositional Logic is limited in its representational power: it can only describe statements in terms of substatements that are true or false.
Predicate Logic extends the propositional logic with the following:
Terms that can represent objects in a domain of possible objects.
Functions that represent mappings among domain elements.
Predicates that describe relationships among domain elements.
Quantifiers that permit assertions that may hold for one element or all elements of the domain.