quantificational logic

== English == === Noun === quantificational logic (uncountable) (logic) 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. ==== Usage notes ==== Quantificational logic is also known as first-order logic or predicate logic. It extends propositional logic by introducing quantifiers (∀, ∃), variables, and predicates, allowing the internal structure of atomic sentences to be analyzed. ==== Synonyms ==== first-order logic predicate logic elementary logic quantification theory ==== Antonyms ==== propositional logic sentential logic ==== Related terms ==== quantifier predicate binding scope ==== See also ==== second-order logic higher-order logic