1. 논리 (Logic)
ㅇ 논리(論理)는, 물리적인 형태가 없는 사고(思考) 과정의 전개 형식과 규칙을 말함
ㅇ 전제(premise)에서 결론(conclusion)에 이르는 추론(과정)의 과학
- 추론은, 결론을 이끌어 내는 사고 과정
- 크게, 논리적 추론(연역법적 추론,귀납법적 추론 등)과 통계적 추론으로 구분
2. [보충설명]
ㅇ 논리의 단위 ☞ 명제(命題)/논리문
- 수리논리학의 기본 단위
ㅇ 논리의 값 ☞ 논리값
- 컴퓨터과학의 논리 값은, {1,0} 등 2치 논리를 주로 말함
ㅇ 논리의 표현
- 논리 규칙의 수식화 (논리문을 다룸) ☞ 논리식
- 2치 논리 대수에 적용한 것 ☞ 부울식
ㅇ 논리의 회로화
- 논리 규칙의 회로 소자화 ☞ 논리 소자
- 논리 규칙에 의한 회로 설계 ☞ 논리 회로 설계
ㅇ 논리의 연산
- 복잡한 논리의 전개,분석,계산을 수학적으로 단순한 연산을 적용하는 기법
. 마치 대수학 처럼 식 표현 또는 문제 풀이의 전개 방식을 그대로 적용
- 이러한 논리 전개를, 집합연산을 이용하여 2치 논리 대수로써 공식화한 것 ☞ 부울대수
ㅇ 논리의 간략화
- 부울대수에 따른 논리식을 간략화할 수 있음 ☞ 부울식의 간략화
ㅇ 논리의 컴퓨터 적용 ☞ 프로그래밍, 프로그램 제어 구조, 알고리즘
ㅇ 명제의 진위 여부를 통계적으로 판정하는 방법 ☞ 가설검정