formal logic vs Boolean logic
Boolean logic vs formal logicformal logic and Boolean logic both are nouns.
| Word | Noun | Adjective | Verb | Adverb |
|---|---|---|---|---|
| formal logic | Yes | No | No | No |
| Boolean logic | Yes | No | No | No |
As nouns,
Boolean logic is a hyponym of
formal logic; that is, Boolean logic 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 logic: a system of symbolic logic devised by George Boole; used in computers
Other hyponyms of formal logic include
Boolean algebra, propositional calculus, propositional logic, functional calculus, predicate calculus, modal logic, fuzzy logic.
| formal logic (noun) | Boolean 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 system of symbolic logic devised by George Boole; used in computers |
Words related to "formal logic"
Words related to "Boolean logic"
© WordCmp.com 2024,
CC-BY 4.0 / CC-BY-SA 3.0.