predicate calculus
Word Rarity
Rare
Frequency: Zipf frequency 2.78 in modern English
26
Scrabble Score
17
Letters
6
Syllables
11
Unique Chars
Meaning
noun
The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.
Uncountable
Usage
Phrases
monadic predicate calculus
predicate logic