연역
<논리> 어떤 명제로부터 추론 규칙에 따라 결론을 이끌어 냄. 또는 그런 과정. 일반적인 사실이나 원리를 전제로 하여 개별적인 사실이나 보다 특수한 다른 원리를 이끌어 내는 추리를 이른다. 경험을 필요로 하지 않는 순수한 사유에 의하여 이루어지며 그 전형은 삼단 논법이다.
[유의어] 연역적 추리ㆍ연역 추리ㆍ형식적 추리ㆍ형식 추리.

귀납
[논리] 개별적인 특수한 사실이나 원리로부터 일반적이고 보편적인 명제 및 법칙을 유도해 내는 일. 추리 및 사고방식의 하나로, 개연적인 확실성만을 가진다.
[유의어] 도출.