Assertion: conclusion | /r/HasProperty | reached in deductive reasoning
Facets:
value: reductively
type: MANNER
value: by applying general rules
type: MANNER
Source sentences:
text: Deductive reasoning ("top-down logic") contrasts with inductive reasoning ("bottom-up logic") in the following way; in deductive reasoning, a conclusion is reached reductively by applying general rules which hold over the entirety of a closed domain of discourse, narrowing the range under consideration until only the conclusion(s) is left (there is no epistemic uncertainty; i.e. unrecognized parts of the currently available set; all parts of the currently available set are available and recognized).