1. |
|
논리와 합리성
|
1. 과목 소개
2. 논리와 합리성
3. 논리의 역할
4. 논리와 인공언어 |
|
2. |
|
단순명제
|
1. 명사구 및 술어
2. 단순명제
3. 1차 논리 언어 |
|
3. |
|
단순명제 논리
|
1. 주장의 타당성
2. 증명 방식
3. 정형증명 |
|
4. |
|
불(Boole) 연결자
|
1. 불(Boole) 연결자
2. 모호성과 괄호사용
3. 논리적 동일성 |
|
5. |
|
불(Boole) 연결자 논리
|
1. 진리와 가능성
2. 진리표와 항진명제
3. 논리적 결과 vs. 항진적 결과
4. 논리적 동일설 vs. 항진적 동일성 |
|
6. |
|
불(Boole) 논리 관련 증명 방식
|
1. 비정형증명
2. 경우별 증명
3. 간접증명 |
|
7. |
|
정형증명과 불(Boole) 논리 1부
|
1. 자연 연역 체계
2. 증명 규칙: 논리곱 규칙
3. 증명 규칙: 논리합 규칙 |
|
8. |
|
정형증명과 불(Boole) 논리 2부
|
1. 증명 규칙: 논리역과 모순 규칙
2. 모순과 일관성
3. 증명 전략과 전술 |
|
9. |
|
조건명제
|
1. 진리함수 연결자
2. 조건문 관련 비정형증명
3. 조건문 관련 정형증명 |
|
10. |
|
Fitch 시스템의 안전성과 완전성
|
1. 안전성
2. 완전성
3. 안전성과 완전성의 활용 |
|
11. |
|
양화사 논리
|
1. 양화사 소개
2. 양화사 논리
3. 여러 개의 양화사 기호를 사용하는 문장 |
|
12. |
|
양화사를 위한 증명 방법
|
1. 비정형증명: 존재양화사
2. 비정형증명: 전칭양화사
3. 정형증명 |
|
13. |
|
귀납법
|
1. 귀납법 소개
2. 자연수에 대한 귀납법 사례
3. 귀납법에 바탕을 둔 프로그래밍 사례 |
|