읽기·생활 추론Contemporary Mathematics, Chapter 2: Key Concepts논리학 배우기
예약 번호가 없으면 입장할 수 없을까?
예약 번호와 당일표의 상태, ‘또는’의 뜻을 바꾸어 가능한 네 경우를 다시 세고 빠뜨린 선택지를 복구합니다.
Contemporary Mathematics, Chapter 2: Key Concepts
게시 2026-09-27 · 약 27분논리학 학습 글 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
예약 번호와 당일표의 상태, ‘또는’의 뜻을 바꾸어 가능한 네 경우를 다시 세고 빠뜨린 선택지를 복구합니다.
Contemporary Mathematics, Chapter 2: Key Concepts
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
‘참석하면 이름표를 받는다’의 방향을 뒤집은 오답을 반례로 고치고, 추가 전제나 직접 기록에 따라 가능한 경우와 결론을 바꿉니다.
Chapter 12: Semantic concepts
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.
Dependence Logic
6–10 / 18편