mathematical logic vs propositional logic
propositional logic vs mathematical logicmathematical logic and propositional logic both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| mathematical logic | Yes | No | No | No |
| propositional logic | Yes | No | No | No |
As nouns,
propositional logic is a hyponym of
mathematical logic; that is, propositional logic is a
word with a more specific, narrower meaning than
mathematical logic:
- mathematical logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
- propositional logic: a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Other hyponyms of mathematical logic include
Boolean algebra, Boolean logic, propositional calculus, functional calculus, predicate calculus, modal logic, fuzzy logic.
| mathematical logic (noun) | propositional logic (noun) |
|---|---|
| any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |
Words related to "mathematical logic"
Words related to "propositional logic"
© WordCmp.com 2024,
CC-BY 4.0 / CC-BY-SA 3.0.