Deduction:To find conclusions
that follow from given assumptions in the
sense that if the assumptions are true then the conclusions must be true
as well.
This is the type of reasoning on
which mathematics is based and that logic tries to
explain and formalize.