first-order logic
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
- At Cambridge in the mid-1990s, [Demis] Hassabis and [David] Silver encountered a culture still wedded to the midcentury assumptions. They were taught “first order logic,” a system of rigidly unambiguous statements that was used in deductive programming.2026, Sebastian Mallaby, chapter 2, in The Infinity Machine: Demis Hassabis, DeepMind and the Quest for Superintelligence, Penguin, →ISBN:
- Synonyms
- FOL
- Hypernyms
- predicate logic