first-order logic
noun
°A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
synonyms: fol