論理的推論
演繹は、結論を規定することを意味する。この推論は、規則と前提条件を用いて結論を導くことである。
例えば、「雨がふると芝生は湿る。雨がふっている。したがって、芝生は湿っている。」
数学者は通常、この種の推論にかかわっている。