01이곳에서 무엇을 얻는가
연역·귀납·가설추론·인과·반사실·불확실성의 차이를 직접 만지는 실습실입니다. 진리표 계산기와 전제 토글은 브라우저에서 실제로 계산되며, "설명 텍스트 = 모델 내부 사고"로 제시하지 않고 검토 가능한 근거·도구 결과·요약만 보여줍니다.
규칙 엔진은 미리 정한 도메인(명제 논리)에서만 작동합니다. 자유 문장의 논리 타당성을 완전히 검증한다고 주장하지 않습니다.
02진리표 계산기 (브라우저 계산)
명제 p·q·r의 참/거짓을 바꾸면 수식의 값이 실제로 계산됩니다. (명제 논리, 교육용)
계산 결과
전체 진리표 보기
03전제 토글 — 결론은 무엇에 서 있는가
주장의 전제를 하나씩 꺼 보세요. 결론의 상태가 어떻게 바뀌는지 편집된 설명이 표시됩니다.
04상관과 인과 판별
사례를 보고 "인과 주장 가능"인지 "상관만"인지 고른 뒤 확인하세요. (편집된 교육 사례)
05작은 문제 9개
06결과 설명과 가장 강한 반론
관찰한 것 / 추론한 것 / 아직 모르는 것
관찰한 것: 진리표·전제 토글의 계산 결과와 나의 판별 선택.
추론한 것: 타당성(형식)과 참(내용)은 다르며, 그럴듯함은 둘 다 대신하지 못한다는 교훈.
아직 모르는 것: 자연어 문장의 논리 검증은 이 페이지의 범위 밖입니다.
다음 질문 — 쉬운: "내가 오늘 한 추론 중 전제가 숨어 있던 것은?" · 반대: "타당하지만 거짓인 추론은 언제 유용한가?" · 먼 분야: "법정에서의 증거 규칙은 AI 시스템의 근거 제시 설계에 무엇을 시사하는가?"
관련 페이지: AI 기술 아틀라스(테스트 시점 계산) · 인지경계 실험실 · 검증과 증거