first-order logic (English, noun)
expansion: first-order logic (countable and uncountable, plural first-order logics)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
tags: countable
uncountable
Forms:
form: first-order logics
tags: plural