Mathematical Logic   수리 논리학

(2023-08-28)

Propositional Calculus, 명제 논리학


1. 수리 논리학 (Mathematical Logic)논리수학적 취급
     - 논리의 엄격한 수학화를 통해, (논리수학적 표현, 논리의 계산 등에 의해)
     - 결론에 이르는 추론 논리과학화 영역

  ㅇ 논증의 형식화


2. 수리 논리(학)의 구분명제 논리학 (Propositional Calculus)
     - 명제가 참 또는 거짓인가 알 수 있도록 형식화시킨 논리 대수학 (Logic Algebra)
     - 명제논리적 대수이론 (형식화 이론)

  ㅇ 술어 논리학 (Predicate Calculus)
     - 변수가 포함된 명제(문장)를 다룸

  ㅇ 기호 논리학 (Symbolic Logic)
     - 기호를 사용하여 형식화시켜 논증의 구조 그 자체를 대상으로 함
     - 일반적인 복합명제수학적 기호로 취급 분석

  ※ 한편, 명확한 취급(형식화)을 위한 3가지 필요사항
     - 명제의 표현 형식
     - 명제 사이의 관계의 표현 형식
     - 다른 명제로부터 새로운 명제추론하는 방법의 기술/서술 형식

수리논리(논리기호 등)
   1. 수리 논리학   2. 논리식   3. 조건 명제   4. 부정   5. 논리합,논리곱   6. 한정사  


Copyrightⓒ written by 차재복 (Cha Jae Bok)               기술용어해설 후원
"본 웹사이트 내 모든 저작물은 원출처를 밝히는 한 자유롭게 사용(상업화포함) 가능합니다"