Phrase guide
Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.
Sound
Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
No pronunciation record was provided for this word.
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.
Definition source: English Wiktionary via Wiktextract
Usage: uncountable
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
Definition source: Princeton WordNet 3.0
No example sentence was provided for this meaning.
Synonyms: functional calculus
Antonyms: none provided
Broader terms: symbolic logic, mathematical logic, formal logic
History
No etymology was provided for this word.
Across languages
7 source translations are retained for this English entry.
