Synonyms for quantificational logic

Most common

first-order logic · predicate logic

All synonyms

Noun

Antonyms

truth-functional logic, propositional logic, sentential logic

All antonyms of quantificational logic →

Definitions

1. n. 1

   The logic of sentences involving quantifiers, predicates, and names; the branch of logic that investigates the properties that arguments, sentences, and sets of sentences have in virtue of their quantificational structure.