1. 논리(학) (Logic, 論理(學))
ㅇ 물리적인 형태가 없는, 사고(思考) 과정의 전개 형식과 규칙을 말함
ㅇ 전제(premise)에서 결론(conclusion)에 이르는 추론(과정)의 과학
- 여기서, 추론은, 결론을 이끌어 내는 사고 과정
. 크게, 논리적 추론(연역법적 추론,귀납법적 추론 등)과 통계적 추론으로 구분
2. [논리학의 학문적 관점]
ㅇ 학문 마다, 논리학(logic)에 대해, 다른 관점을 가짐
- 철학/법학 등에서는, 규범, 논증의 정당성을 다룸
. 좋은 논증과 나쁜 논증을 구분하는 일반적,규범적 방법을 다룸
. "이 논증은 정당한가?"
- 수학/컴퓨터과학 등에서는, 추론의 계산 가능성, 기계가 실행하는 형식 시스템을 다룸
. 공리, 정의, 추론 규칙 등으로 이루어진 형식 언어와 증명 체계를 연구
. "이 추론은 형식 규칙으로 증명,계산 가능한가?"
3. [논리의 보충설명]
ㅇ 논리의 단위 ☞ 명제(命題) / 논리문
- 수리논리학의 기본 단위
ㅇ 논리의 연결 ☞ 논리 연결자
- ∧, ∨, ￢, →, ↔
ㅇ 논리의 확장
- 명제 논리 → 술어 논리 (1차 논리 → 2차 논리)
. 명제 논리 : 문장 전체를 참,거짓으로 만 다루는 논리
. 술어 논리 : 명제 논리를 확장하여, 대상과 그 속성,관계를 다룰 수 있게 한 논리
.. 1차 논리 : 대상과 그 속성,관계를 변수로 표현하는 논리
.. 2차 논리 : 1차 논리를 확장하여, 술어(속성)나 관계 자체에도 양화가 가능한 논리
ㅇ 논리(학)의 형식화, 수학적, 기호적 취급 ☞ 형식 논리, 수리 논리, 기호 논리 참조
- 논증의 형식화
ㅇ 한편, 명제의 진위 여부를 통계적으로 판정하는 방법 ☞ 가설검정
4. [논리의 컴퓨터과학]
ㅇ 논리의 값 ☞ 논리값
- 컴퓨터과학의 논리 값은, {1,0} 등 2치 논리를 주로 말함
ㅇ 논리의 표현
- 논리 규칙의 수식화 (논리문을 다룸) ☞ 논리식
- 주로, 2치 논리 대수에 적용 가능케 한 것 ☞ 부울식
ㅇ 논리의 회로화
- 논리 규칙의 회로 소자화 ☞ 논리 소자
- 논리 규칙에 의한 회로 설계 ☞ 논리 회로 설계
ㅇ 논리의 연산 (계산 논리)
- 불리안이라 불리는 값(논리값)들로 이루어진 표현식의 계산을 다룸
. 복잡한 논리의 전개,분석,계산을, 수학적으로 단순한 연산(계산) 처럼 수행하는 기법
. 마치 대수학 같이, 식 표현 또는 문제 풀이의 전개 처럼 다루어짐
- 이러한 논리 전개를, 집합연산을 이용하여 2치 논리 대수로써 공식화한 것 ☞ 부울대수
ㅇ 논리의 간략화
- 부울대수에 의해 논리식을 간략화할 수 있음 ☞ 부울식의 간략화
ㅇ 논리의 컴퓨터 적용 ☞ 프로그래밍, 프로그램 제어 구조(선택구조,반복구조 등), 알고리즘
- 비지니스 로직 (Business Logic)
. 업무용 프로그램의 핵심 논리를 구성하는 것으로써,
. 데이터(결제 등)가 어떻게 생성,저장,수정되는지를 정의하는 프로그램 규칙