Hyperonyms
(has_hyperonym)
|
06750804-n:
(logic) a statement that affirms or denies something and is either true or false
|
Hyponyms
(has_hyponym)
|
06005692-n:
(mathematics) any of five axioms that are generally recognized as the basis for Euclidean geometry
|
Related
(has_pertainym)
|
02653385-a:
of or relating to or derived from axioms
|
Related
(related_to)
|
01618895-a:
evident without proof or argument
|
Related
(related_to)
|
02653385-a:
of or relating to or derived from axioms
|
Domain
(category)
|
06163751-n:
the branch of philosophy that analyzes inference
|
Glosses
(gloss)
|
00024073-r:
negation of a word or group of words
|
Glosses
(gloss)
|
00155298-n:
the act of determining that something is false
|
Glosses
(gloss)
|
00632236-v:
take to be the case or to be true; accept without verification or proof
|
Glosses
(gloss)
|
01618895-a:
evident without proof or argument
|
Glosses
(gloss)
|
02360448-a:
(often followed by `of' or `to') yielding readily to or capable of
|
Glosses
(gloss)
|
06647614-n:
a formal series of statements showing that if one thing is true something else necessarily follows from it
|
Glosses
(gloss)
|
06750804-n:
(logic) a statement that affirms or denies something and is either true or false
|
Glosses
(rgloss)
|
02653385-a:
of or relating to or derived from axioms
|
Glosses
(rgloss)
|
04785195-n:
(logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
|
Glosses
(rgloss)
|
04785414-n:
(logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system
|
Glosses
(rgloss)
|
06006777-n:
(mathematics) geometry based on axioms different from Euclid's
|
