한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과65건

표시정렬

논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.

Proof-Theoretic Semantics

대화Principled Negotiation: Focus on Interests to Create Value논리학 배우기

인공지능과 논리논리학 배우기 · 대화 · 일반

가상 회의에서 진행자의 질문과 참여자의 응답을 바꾸며 확인된 사실, 합의와 남은 쟁점이 어떻게 달라지는지 따라갑니다.

Principled Negotiation: Focus on Interests to Create Value

쓰기Organizing Your Argument논리학 배우기

인간의 사고와 추론논리학 배우기 · 쓰기 · 일반

가상 열람실 연장 제안에서 문장 카드를 선택해 필요 근거, 실행 조건과 반론 대응이 실제 주장에 연결되는지 확인하고 한 문단으로 씁니다.

Organizing Your Argument

논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.

Connexive Logic

논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic

16–20 / 65편