주 메뉴 열기

바뀜

5 바이트 제거됨, 8년 전
잔글
편집 요약 없음
[[논리학]]에서 '''연역 추론'''(演繹 推論,deductive reasoning)은 이미 알고 있는 [[판단]]을 근거로 새로운 판단을 유도하는 [[추론]]이다. 여기서 이미 알고 있는 판단은 전제, 새로운 판단은 결론이다. 진리일 가능성을 따지는 [[귀납 추론]]과는 달리, 명제들 간의 관계와 논리적 타당성을 따진다. 즉, 연역 추론으로는 전제들로부터 절대적인 필연성을 가진 결론을 이끌어 낼 수 있다.
 
== 용어 및 어원 ==
* 전제
: 주어진 조건 명제는 [[논리학]]에서 전제라 부르며, 이것은 이미 알려진 사실을 바탕으로 한다. [[영어]]에서 전제(''premise'', ''proposition'')라는 낱말은 [[고대 그리스어]] ''protasis'', [[라틴어]] ''praemissa'', ''propositio''에서 비롯되었다.
* 결론
: 전제를 바탕으로 필연적으로 이끌어 내어지는내는 새로운 명제를 결론이라 부른다. 결론은 전제와 다른 사실을 담고 있어야 한다. 영어에서 결론(''conclusion'')이라는 낱말은 [[고대 그리스어]] ''syllogismos'', [[라틴어]] ''conclusio''에서 비롯되었다.
 
== 구분 ==