It extends propositional logic by allowing the use of variables and quantifiers like "for all" and "there exists".