| 1. | |
명제 논리: 핵심문장의 논리 | 1. 핵심문장 2. 논리적 타당성 |  |
|
명제 논리: 타당성의 증명 | 1. 비정형적 증명 2. 정형적 증명 | |
|
|
1장 | 1장 |  |
|
| 2. | |
명제 논리: 타당성의 증명 | 1. 비정형적 증명 2. 정형적 증명 | |
|
명제 논리: 불 논리 1 | 불 논리연산자 (구문과 의미) | |
|
|
2장 | 2장 | |
|
| 3. | |
명제 논리: 불 논리 1 | 불 논리연산자 (구문과 의미) | |
|
명제 논리: 불 논리 3 | 논리적 결과 | |
|
|
3장 | 3장 | |
|
| 4. | |
명제 논리: 불 논리 3 | 논리적 결과 | |
|
명제 논리: 비정형 증명 | 1. 경우별 증명 2. 간접 증명 - 모순유도 증명 | |
|
|
4장 | 4장 | |
|
| 5. | |
명제 논리: 비정형 증명 | 1. 경우별 증명 2. 간접 증명 - 모순유도 증명 | |
|
명제 논리: 정형 증명 1 | 1. 논리곱 규칙 2. 논리합 규칙 | |
|
|
5장 | 5장 | |
|
| 6. | |
명제 논리: 정형 증명 1 | 1. 논리곱 규칙 2. 논리합 규칙 | |
|
명제 논리: 정형 증명 2 | 1. 논리역 규칙 2. 모순 규칙 3. 증명 전략과 전술 | |
|
|
6장 | 6장 | |
|
| 7. | |
명제 논리: 정형 증명 2 | 1. 논리역 규칙 2. 모순 규칙 3. 증명 전략과 전술 | |
|
명제 논리: 정형 증명 3 | 증명 전략과 전술 - 어려운 증명 | |
|
|
7장 | 7장 | |
|
| 8. | |
명제 논리: 조건 명제 1 | 1. 조건 명제 2. 상호 조건 명제 | |
|
8장 | 8장 | |
|
| 9. | |
명제 논리: 조건 명제 2 | 조건 명제의 정형 증명 | |
|
9장 | 9장 | |
|
| 10. | |
명제 논리: System F의 안전성과 완전성 1 | System F의 안전성 | |
|
10장 | 10장 | |
|
| 11. | |
명제 논리: System F의 안전성과 완전성 2 | System F의 완전성 | |
|
11장 | 11장 | |
|
| 12. | |
명제 논리: 총정리 | 1. 명제 논리 총정리 2. 명제 논리 문제 풀이 | |
| 13. | |
서술 논리: 정량화 소개 1 | 1. 적격식 2. 전칭 양화사 3. 존재 양화사 | |
| 14. | |
서술 논리: 정량화 소개 2 | 1. 양화사의 의미 2. 복잡 명사구의 번역 3. 대화의 함의 및 일반화 | |
| 15. | |
서술 논리: 양화사의 논리 1 | 1차 논리의 항진 | |
대구광역시 동구 동내로 64(동내동 1119) 우)41061
COPYRIGHT keris. all rights reserved
페이스북
트위터
카카오톡
네이버밴드
링크복사
