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 deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Definition source: English Wiktionary via Wiktextract
Usage: countable, uncountable
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Synonyms: propositional calculus, zero-order logic
Antonyms: none provided
Broader terms: logic
noun
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Definition source: Princeton WordNet 3.0
No example sentence was provided for this meaning.
Synonyms: propositional calculus
Antonyms: none provided
Broader terms: symbolic logic, mathematical logic, formal logic
History
No etymology was provided for this word.
Across languages
10 source translations are retained for this English entry.
