실습Lecture 3: Optimization · Constraint Satisfaction논리학 배우기
조건을 만족하는 시간표, 하나만 가능할까?
세 모임의 순서를 여섯 가지로 펼쳐 보고, 조건을 하나씩 적용하면서 가능한 배치와 유일한 배치를 구별합니다.
Lecture 3: Optimization · Constraint Satisfaction
게시 2026-09-13 · 약 15분논리학 학습 글 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
세 모임의 순서를 여섯 가지로 펼쳐 보고, 조건을 하나씩 적용하면서 가능한 배치와 유일한 배치를 구별합니다.
Lecture 3: Optimization · Constraint Satisfaction
정당화 논리는 무엇을 안다는 말에 그 근거의 구조를 함께 기록합니다. 결론이 같을 때에도 어떤 자료와 규칙을 거쳤는지 구별해 봅니다.
Justification Logic
연결 논리는 조건문과 부정의 관계를 새롭게 규정합니다. 고전논리의 진리표와 자연어의 직관을 비교하며 체계 선택의 의미를 살핍니다.
Connexive Logic
파라일관 논리는 모순에서 임의의 결론이 폭발하는 규칙을 제한합니다. 불일치와 아무 결론이나 허용하는 사소화를 구분합니다.
Paraconsistent Logic
오류 목록 암기보다 실제 전제·결론·맥락을 복원해야 약점이 어디에 있는지 판단할 수 있습니다.
Fallacies
386–390 / 1890편