Predicate logic
Predicate logic is different from propositional logic, in part because it has the concept of quantifiers. A quantifier is used in conjunction with a variable (say x) in order to talk about a general instance of x, and in doing so, this allows predicate logic to make statements about quantity.