논증에서 근거를 '전제' 라고 한다.

연역이란 구체적 사실에서 일반적 원리나 사실을 이끌어 내는 방법이다

논증에서 주장을 '결론'이라고 한다.

논증이란 근거를 들어 주장이 참임을 증명하는 것으로, 근거가 참이면 주장은 언제나 참이다.