Hyperonyms
(has_hyperonym)
|
05664069-n:
a system of reasoning
|
Hyponyms
(has_hyponym)
|
06165000-n:
a system of symbolic logic devised by George Boole; used in computers
|
Hyponyms
(has_hyponym)
|
06165147-n:
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
|
Hyponyms
(has_hyponym)
|
06165364-n:
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
|
Hyponyms
(has_hyponym)
|
06165823-n:
a system of logic whose formal properties resemble certain moral and epistemological concepts
|
Hyponyms
(has_hyponym)
|
06166494-n:
a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
|
Glosses
(gloss)
|
00027807-n:
the spatial arrangement of something as distinct from its substance
|
Glosses
(gloss)
|
00734587-v:
consider apart from a particular case or instance
|
Glosses
(gloss)
|
00862526-a:
dealing with a subject in the abstract without practical purpose or intention
|
Glosses
(gloss)
|
05664069-n:
a system of reasoning
|
Glosses
(gloss)
|
06290637-n:
the phonological or orthographic sound or appearance of a word that can be used to describe or identify something
|
Glosses
(gloss)
|
06722453-n:
a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc
|
Glosses
(gloss)
|
14420780-n:
logical coherence and accordance with the facts
|
Glosses
(rgloss)
|
05972417-n:
(philosophy) the philosophical theory that all of mathematics can be derived from formal logic
|
Glosses
(rgloss)
|
06165000-n:
a system of symbolic logic devised by George Boole; used in computers
|
Glosses
(rgloss)
|
06165147-n:
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
|
Glosses
(rgloss)
|
06165364-n:
a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)
|
Glosses
(rgloss)
|
06166494-n:
a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
|
Glosses
(rgloss)
|
06582267-n:
a graphical representation of a program using formal logic
|
Glosses
(rgloss)
|
10269785-n:
a person skilled at symbolic logic
|
Glosses
(rgloss)
|
10685587-n:
a person skilled at symbolic logic
|
Glosses
(rgloss)
|
13509042-n:
an operation that follows the rules of symbolic logic
|
