논리학

기호논리학의 기초가 되는 증명 작성 방법과 의미적으로 증명을 이해하는 방법을 공부한다. 익힌 기술을 사용하여 프로그램을 설계하고 검증할 수 있는 능력을 키우는 데 궁극적인 목표를 둔다. 다루는 내용은 명제 논리, 1차 논리, 프로그램 논리, 귀납법이다.

Atomic sentence

1.	Atomic sentence	Functional symbol, First-Order Logic
2.	타당성과 안전성	비정형 증명과 정형 증명
3.	정형 법칙	정형 증명
4.	논리연산자	논리연산자
5.	Tautology	Tautological equivalent, logical equivalent
6.	Logical consequece in Fitch	비정형 증명, Fitch에서의 이접 법칙
7.	정형 증명	교접 법칙, 이접 법칙
8.	조건연산	조건연산 법칙, 진리 함수의 완성도
9.	한정사가 사용되는 FOL	전체한정사, 존재한정사
10.	한정사의 논리학	Aristotelian forms, FO validity, FO equivalence
11.	복합적인 한정사	단일 한정사와 혼합 한정사에서의 복합적 활용
12.	한정사 문장의 증명	한정사 문장의 비정형 증명과 정형 증명
13.	존재한정사의 법칙	존재한정사의 법칙