Logic   논리, 로직

(2020-04-20)

Mathematical Logic, 수리 논리학

1. 논리 (Logic)

  ㅇ 일반적으로, 논리는 물리적인 형태가 없는 사고(思考) 과정의 전개 형식과 규칙을 말함

  ㅇ 전제(premise)에서 결론(conclusion)에 이르는 추론(과정)의 과학


2. 수리 논리학 (Mathematical Logic)

  ㅇ 논리(학)의 수학적 취급
     - 논리의 엄격한 수학화를 통해, 결론에 이르는 추론 논리의 과학화 영역

  ㅇ 수리 논리(학)의 구분
     - 명제 논리학 (Propositional Calculus)
        . 명제가 참 또는 거짓인가 알 수 있도록 형식화시킨 논리 대수학(Logic Algebra)
        . 명제의 논리적 대수이론 (형식화 이론)      
     - 술어 논리학 (Predicate Calculus)
        . 변수가 포함된 문장(명제)를 다룸
     - 기호 논리학 (Symbolic Logic)
        . 일반적인 복합명제수학적 기호로 취급 분석 
        . 기호를 사용하여 형식화시켜 논증의 구조 그 자체를 대상으로 함


3. [참고사항]

  ㅇ 논리의 단위명제(命題)/논리문
     - 수리논리학의 기본 단위

  ㅇ 논리에 값을 부여  ☞ 논리값
     - 컴퓨터과학논리 값은, {true,false},{1,0} 등 2치 논리를 주로 말함

  ㅇ 논리의 표현
     - 논리 규칙의 수식화 (논리문을 다룸)  ☞ 논리식
     - 논리 규칙의 회로화  ☞ 논리 소자, 논리 회로

  ㅇ 논리의 연산 
     - 복잡한 논리의 전개,분석,계산을 수학적으로 단순한 연산을 적용하는 기법
        . 마치 대수학 처럼 식 표현 또는 문제 풀이의 전개 방식을 그대로 적용
     - 이러한 논리 전개를, 집합연산을 이용하여 2치 논리 대수로써 공식화한 것  ☞ 부울대수논리식의 간략화
     - 부울대수에 따른 논리식을 간략화할 수 있음  ☞ 부울식의 간략화수학적 논리를 이용하여 컴퓨터를 동작하는 것  ☞ 프로그래밍, 프로그램 제어 구조, 알고리즘

  ㅇ 결론을 이끌어 내는 사고 과정  ☞ 추론
     - 크게, 논리적 추론(연역법추론,귀납법추론 등)과 통계적 추론으로 구분

  ㅇ 명제의 진위 여부를 통계적으로 판정하는 방법  ☞ 가설검정


[논리] 1. 수리 논리학 2. 논리식 3. 명제(proposition) 4. 술어(predicate) 5. 공리(axiom) 6. 정리(theorem) 7. 정의(definition) 8. 동치(equivalence)
[추론,논증]
  1.   기술공통
  2.   기초과학
        1. 과학
    1.   수학
          1. 수학
      1.   기초수학
      2.   집합,논리
        1.   집합
        2.   논리
              1. 수리 논리학
              2. 논리식
              3. 명제(proposition)
              4. 술어(predicate)
              5. 공리(axiom)
              6. 정리(theorem)
              7. 정의(definition)
              8. 동치(equivalence)
          1.   추론,논증
        3.   관계
      3.   해석학(미적분 등)
      4.   대수학
      5.   확률/통계
      6.   수치해법
    2.   물리
    3.   화학
    4.   지구,천체 과학
    5.   생명과학
    6.   뇌과학
  3.   진동/파동
  4.   방송/멀티미디어/정보이론
  5.   전기전자공학
  6.   통신/네트워킹
  7.   정보기술(IT)
  8.   공학일반(기계,재료등)
  9.   표준/계측/품질
  10.   기술경영

 
        최근수정     요약목록     참고문헌