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.