📚 noun • entry_id 48421
first-order logic
Meanings (ES + gloss)
lógica de primer orden
A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
Phrases
No hay frases
Word forms