Open English Wordnet
Nouns
(n)direct proofa way of showing the truth or falsehood of a given statement by a straightforward combination of established facts, usually axioms, existing lemmas and theorems, without making any further assumptions.“A proof by contraposition of the implication p -> q is a direct proof of ¬q ->¬p (the contrapositive of p -> q).”