First-order logic (FOL) is an extension of propositional logic that allows for quantification over objects, properties, and relations. FOL uses constants, variables, predicates, functions, connectives, equality, and quantifiers as its basic elements. It can represent statements involving objects and their relationships in a concise way, overcoming limitations of propositional logic. FOL uses universal and existential quantifiers to make statements about all or some objects respectively.