Drawing a specific conclusion through logical reasoning by starting with general assumptions that are known to be valid.
» NB Math Dictionary
