DictionaryAI

first-order logic

Short definition from Wiktionary

Noun

  1. A formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.

We haven’t written up first-order logic yet: Simple and Standard meanings, examples and a quiz.