[정보통신기술용어해설] |
Mathematical Logic 수리 논리학 | (2020-04-18) |
1. 수리 논리학 (Mathematical Logic) ㅇ 논리(학)의 수학적 취급 - 논리의 엄격한 수학화를 통해, 결론에 이르는 추론 논리의 과학화 영역 2. 수리 논리(학)의 구분 ㅇ 명제 논리학 (Propositional Calculus) - 명제가 참 또는 거짓인가 알 수 있도록 형식화시킨 논리 대수학(Logic Algebra) - 명제의 논리적 대수이론 (형식화 이론) ㅇ 술어 논리학 (Predicate Calculus) - 변수가 포함된 문장(명제)를 다룸 ㅇ 기호 논리학 (Symbolic Logic) - 일반적인 복합명제를 수학적 기호로 취급 분석 - 기호를 사용하여 형식화시켜 논증의 구조 그 자체를 대상으로 함