한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과61건

표시정렬

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

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

모든 규칙을 한꺼번에 고치기 전에, 더는 줄일 수 없는 모순의 묶음을 찾아봅니다. 체크 상자로 규칙을 빼며 가능한 상태를 확인하세요.

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

논증과 대화해외 학술 연구 · 연구 해설 · 일반

같은 세 사람의 표를 전제별로 합칠 때와 결론으로 합칠 때 결과가 갈립니다. 표를 직접 바꾸며 두 경로를 비교합니다.

Aggregating Sets of Judgments: An Impossibility Result

읽기·생활 추론접힌 우산을 두고 간 까닭은 무엇일까?논리학 배우기

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

짧은 이야기에서 가능한 해석과 반드시 따라오는 결론을 나누고, 추가 단서가 오답의 빈칸을 어떻게 고치는지 확인합니다.

접힌 우산을 두고 간 까닭은 무엇일까?

대화What Makes You Say That? · 그렇게 말하는 근거는 무엇인가?논리학 배우기

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

공용 보관함을 두고 나눈 가상 대화에서 단어의 뜻, 확인할 사실, 선택 기준을 구분하고 다음 질문을 설계합니다.

What Makes You Say That? · 그렇게 말하는 근거는 무엇인가?

26–30 / 61편