분야
hwp● 전제와 추리
전제 : 결론에 도달하기 위해 주어진 정보
추리 : 전제를 토대로 결론을 내리는 인지 과정
● 연역추리와 귀납추리
연역추리 : 전제들이 참이면 결론이 항상 참인 추리(결정론적)
귀납추리 : 몇몇 사례에서 관찰된 것을 토대로 일반원리를 생성하는 추리(확률적)
→ 결론이 참이라는 것이 보장되지 않음
연역추리
1) 조건추리
명제와 명제추리
명제 : 진위를 판단할 수 있는 최소 단위
명제추리 : 명제에서 연역적으로 타당한 결론을 내리는 추리
명제추리에서는 단순명제가 사용되기도 하지만 논리접속사(연접 연접(conjunctive) : 결합하는, 접합적인 → ~고 ~이다.
, 이접 이접(disjunctive) : 차단하는, 분리성의 → ~나 ~이다(배타적), A든 B든(포함적)
, 부정 부정(negation) → ~하지 않다.
