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
A formal system of deductive logic in which aspects and relationships of natural language are represented by a system of symbols.
Definition source: English Wiktionary via Wiktextract
Usage: uncountable, usually
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Synonyms: none provided
Antonyms: none provided
noun
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
Definition source: Princeton WordNet 3.0
No example sentence was provided for this meaning.
Synonyms: mathematical logic, formal logic
Antonyms: none provided
Broader terms: logic, logical system, system of logic
Narrower terms: Boolean logic, Boolean algebra, propositional logic, propositional calculus, predicate calculus, functional calculus, modal logic, fuzzy logic
History
No etymology was provided for this word.
Across languages
4 source translations are retained for this English entry.
