Hyperonyms
(has_hyperonym)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Glosses
(gloss)
|
01632411-v:
come up with (an idea, plan, explanation, theory, or principle) after a mental effort
|
Glosses
(gloss)
|
03082979-n:
a machine for performing calculations automatically
|
Glosses
(gloss)
|
06164665-n:
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
|
Glosses
(gloss)
|
10857271-n:
English mathematician; creator of Boolean algebra (1815-1864)
|
Glosses
(rgloss)
|
10857271-n:
English mathematician; creator of Boolean algebra (1815-1864)
|
Glosses
(rgloss)
|
13440935-n:
an operation that follows the rules of Boolean algebra; each operand and the result take one of two values
|