first-order logic noun1 •A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse. formsfirst-order logics
