formal logic vs Boolean algebra
Boolean algebra vs formal logicformal logic and Boolean algebra both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| formal logic | Yes | No | No | No |
| Boolean algebra | Yes | No | No | No |
As nouns,
Boolean algebra is a hyponym of
formal logic; that is, Boolean algebra is a
word with a more specific, narrower meaning than
formal logic:
- formal logic: any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
- Boolean algebra: a system of symbolic logic devised by George Boole; used in computers
Other hyponyms of formal logic include
Boolean logic, propositional calculus, propositional logic, functional calculus, predicate calculus, modal logic, fuzzy logic.
| formal logic (noun) | Boolean algebra (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 system of symbolic logic devised by George Boole; used in computers |
Words related to "formal logic"
Words related to "Boolean algebra"
© WordCmp.com 2024,
CC-BY 4.0 / CC-BY-SA 3.0.