first-order logic in Spanish
first-order logic in Spanish
lógica de primer orden
(logic) A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.