연역 (deduction)
전제들로부터 결론이 필연적으로 도출되거나, 또는 어쨌든 화자가 그러하다고 주장하는 추론. 또한, 한 논증이 각 줄이 전제들 중 하나이거나 어떤 표준적인 추론의 원리에 의하여 앞의 줄들오부터 추론된 것들인 일련의 줄들로 형식적으로 정리되었다면, 그 논증은 보다 좁고 특수한 의미에서 연역이라고 불린다.
Stephen F. Barker, 최세만 이재희 옮김, 『논리학의 기초』, 경기 파주: 서광사, 2009, p. 403.
