Hyperonyms
(has_hyperonym)
|
06648724-n:
a fact or assertion offered as evidence that something is true
|
Hyponyms
(has_hyponym)
|
06647864-n:
proof of a mathematical theorem
|
Hyponyms
(has_hyponym)
|
06647960-n:
proof of a logical theorem
|
Hyponyms
(has_hyponym)
|
06648046-n:
proof by a process of argument or a series of proposition proving an asserted conclusion
|
Domain
(category)
|
06000644-n:
a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement
|
Domain
(category)
|
06163751-n:
the branch of philosophy that analyzes inference
|
Glosses
(gloss)
|
00112393-r:
in such a manner as could not be otherwise
|
Glosses
(gloss)
|
00664788-v:
establish the validity of something, as by an example, explanation or experiment
|
Glosses
(gloss)
|
01430628-a:
logically deductive
|
Glosses
(gloss)
|
02460502-a:
consistent with fact or reality; not false
|
Glosses
(gloss)
|
06722453-n:
a message that is stated or declared; a communication (oral or written) setting forth particulars or facts etc
|
Glosses
(gloss)
|
06723908-n:
a statement regarded as an object
|
Glosses
(rgloss)
|
05780563-n:
(logic) an inference that follows directly from the proof of another proposition
|
Glosses
(rgloss)
|
05824985-n:
(reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction
|
Glosses
(rgloss)
|
06647864-n:
proof of a mathematical theorem
|
Glosses
(rgloss)
|
06647960-n:
proof of a logical theorem
|
Glosses
(rgloss)
|
06648046-n:
proof by a process of argument or a series of proposition proving an asserted conclusion
|
Glosses
(rgloss)
|
06753550-n:
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
|
Glosses
(rgloss)
|
10818860-n:
an Italian who was a Benedictine monk; was archbishop of Canterbury from 1093 to 1109; one of the founders of scholasticism; best known for his proof of the existence of God
|
Glosses
(rgloss)
|
10820790-n:
(Roman Catholic Church) Italian theologian and Doctor of the Church who is remembered for his attempt to reconcile faith and reason in a comprehensive theology; presented philosophical proofs of the existence of God (1225-1274)
|
