mathematical logic vs modal logic
modal logic vs mathematical logicmathematical logic and modal logic both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| mathematical logic | Yes | No | No | No |
| modal logic | Yes | No | No | No |
As nouns,
modal logic is a hyponym of
mathematical logic; that is, modal 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
- modal logic: a system of logic whose formal properties resemble certain moral and epistemological concepts
Other hyponyms of mathematical logic include
Boolean algebra, Boolean logic, propositional calculus, propositional logic, functional calculus, predicate calculus, fuzzy logic.
| mathematical logic (noun) | modal 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 | the logical study of necessity and possibility |
| a system of logic whose formal properties resemble certain moral and epistemological concepts |
Words related to "mathematical logic"
© WordCmp.com 2024,
CC-BY 4.0 / CC-BY-SA 3.0.