Glossary
A type of logical reasoning that starts with a general proposition and derives less general, lower level propositions consistent with it.
Posted
in
by
Tags: