기호논리학 : 2025년 1학기: 두 판 사이의 차이
편집 요약 없음 |
|||
| 26번째 줄: | 26번째 줄: | ||
== 수업 일정 == | == 수업 일정 == | ||
2주. 논리학과 논증 : 타당성과 건전성 (강의노트) | * 1주. 오리엔테이션 | ||
* 2주. 논리학과 논증 : 타당성과 건전성 (강의노트) | |||
3주. 논리적 연결사 : 부정, 연언 그리고 선언 | * 3주. 논리적 연결사 : 부정, 연언 그리고 선언 | ||
* 4주. 문장 논리의 언어와 진리표를 이용한 타당성 증명 | |||
4주. 문장 논리의 언어와 진리표를 이용한 타당성 증명 | * 5주. 조건문, 쌍조건문, 필요조건 그리고 충분조건 | ||
* 6주. 문장 논리 1 : 자연 연역에 의한 타당성 증명 | |||
5주. 조건문, 쌍조건문, 필요조건 그리고 충분조건 | * 7주. 문장 논리 2 : 파생 규칙 | ||
* 8주. 중간고사 | |||
6주. 문장 논리 1 : 자연 연역에 의한 타당성 증명 | * 9주. 술어 논리 1 : 술어 논리의 언어 | ||
* 10주. 술어 논리 2 : 의미론과 타당성 | |||
7주. 문장 논리 2 : 파생 규칙 | * 11주. 다중 양화 문장 | ||
* 12주. 술어 논리의 자연 연역 | |||
8주. 중간고사 | * 13주. 동일성 문장과 확정 기술어구 | ||
* 14주. 재구성을 통한 논증의 이해 | |||
9주. 술어 논리 1 : 술어 논리의 언어 | * 15주. 기말고사 | ||
10주. 술어 논리 2 : 의미론과 타당성 | |||
11주. 다중 양화 문장 | |||
12주. 술어 논리의 자연 연역 | |||
13주. 동일성 문장과 확정 기술어구 | |||
14주. 재구성을 통한 논증의 이해 | |||
15주. 기말고사 | |||
== 관련 항목 == | == 관련 항목 == | ||
* [[기호논리학 : 2020년 1학기]] | * [[기호논리학 : 2020년 1학기]] | ||
[[분류:논리학 강의]] | [[분류:논리학 강의]] | ||
[[분류:정동욱]] | [[분류:정동욱]] | ||