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. 귀납법에 바탕을 둔 프로그래밍 사례 | ![]() |