Synonyms for first-order logic

Most common

quantificational logic

All synonyms

Noun

Definitions

1. n. 1

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

Related words

Is a kind of

predicate logic