quantificational logic
Word Rarity
Very rare
Frequency: Zipf frequency 0.00 in modern English
38
Scrabble Score
21
Letters
7
Syllables
11
Unique Chars
Meaning
noun
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.
Uncountable
Example Sentences
- "Classical quantificational logic is the logic of quantifiers 'all' and 'some' in combination with truth functions."
Usage
Phrases
second-order logic
higher-order logic