코너 안내고급 논리학 8편 · 존재한다고 한 대상에게 이름을 어떻게 마련하나요?논리학 배우기
고급 논리학 8편 · 존재한다고 한 대상에게 이름을 어떻게 마련하나요?
새 상수를 존재문의 증거 이름으로 더하는 헨킨 구성을 배우고, 기존 문장의 무모순성을 지키는 조건을 살펴봅니다.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색2634건
검색 결과 제목
코너 안내고급 논리학 9편 · 문장마다 결정을 보태도 모순을 피할 수 있나요?논리학 배우기
고급 논리학 9편 · 문장마다 결정을 보태도 모순을 피할 수 있나요?
셀 수 있는 언어에서 일관성을 유지하며 문장이나 그 부정을 더하는 방법을 배웁니다. 구성과 계산 절차의 차이도 확인합니다.
코너 안내고급 논리학 10편 · 문장으로 만든 세계에서 왜 그 문장이 참이 되나요?논리학 배우기
고급 논리학 10편 · 문장으로 만든 세계에서 왜 그 문장이 참이 되나요?
항과 동일성의 동치류로 모형을 만들고, 식의 구조를 따라 진리 보조정리를 이해합니다.
코너 안내고급 논리학 11편 · 참인 결론에는 언제나 증명이 있나요?논리학 배우기
고급 논리학 11편 · 참인 결론에는 언제나 증명이 있나요?
일차논리의 완전성 정리를 전제 집합과 결론의 관계로 읽고, 한 모형에서의 참과 모든 모형에서의 귀결을 구별합니다.
코너 안내고급 논리학 12편 · 전제 일부만 살펴도 무엇을 알 수 있나요?논리학 배우기
고급 논리학 12편 · 전제 일부만 살펴도 무엇을 알 수 있나요?
유한한 증명과 콤팩트성의 관계를 배우고, 모든 유한 부분이 만족 가능하다는 조건을 실제 예에 적용합니다.
1191–1195 / 2634편