통합 논리 계산실

논리 체계 선택

계산 결과는 같은 판정 언어로 표시합니다.
논리식 편집실열기

논리식·증명·관계도 자유 작성

한국어 · English · Français
언어 확장열기

한국어·영어·독일어·프랑스어·스페인어·이탈리아어·포르투갈어·네덜란드어·일본어·중국어

L1~L12 · 직접 분석·의미 검증·출력 복원
복합 논리열기

분해·복수 태깅·기호 공유·실행 계획

37~46단계 · v3.0 RC
실행 오케스트레이터열기

실행·증거·인증서·최소 반례

47~60단계 · v3.2 알파
배치 실행열기

다중 작업·외부 비교·설명 품질·RC 검증

61~66단계 · v3.2 RC
외부 연동열기

TPTP·QMLTP·독립 증명 검사·모호성 병렬 실행

67~70단계 · v4.0 외부 검증 알파
대규모 운영열기

실행 시각화·영속 캐시·작업 큐·shard 배치

71~73단계 · v4.1 운영 확장 알파
v4 검증열기

감사·사람 검토·조정·RC 동결

74~80단계 · 사람 검토 운영·RC 동결
한국어 입력열기

문장 분석·형식화 후보·의미 분기·엔진 연결

25~29 + 58~59단계 · 의미 확인 강화
논리학 훈련실현재

형식화·증명·오류 진단·맞춤 재훈련

학습 엔진 1~22단계 · 대규모 운영·공개 베타·RC
명제논리열기

진리값·반례·진리표·자연연역

완전 의미론 판정
술어·관계·동일성열기

양화사·동일성·유한 반모형

부분 증명 + 제한 반모형
양상논리열기

K·T·S4·S5 타블로·크립키 모형

부분 증명 + 제한 반모형
시간논리열기

LTLf X·F·G·U·진행 오토마톤

오토마톤 판정 + 반례 시간흐름
의무논리열기

O 의무·P 허용·F 금지

30단계 · D 직렬 프레임
다치논리 K3열기

참·미정·거짓의 3값 의미론

32단계 · 첫 확장 플러그인
퍼지논리열기

0~1 연속 진리도

33단계 · Zadeh + KD
확률논리열기

사건 확률·조건부확률

34단계 · 명시 확률모형
교차 논리열기

고전·K3·퍼지·확률 비교

35단계 · 비교·안전 변환

학습 엔진 1~22단계 · 3차 RC

논리학 훈련실

풀고, 진단받고, 다시 풀면서 다음 문제가 달라집니다.

명제논리와 술어논리의 한국어 형식화부터 단계별 증명까지 한 흐름으로 연결합니다. 오답 유형과 힌트 사용 기록을 바탕으로 반복 오류와 독립 수행 안정성을 진단하고, 선수개념 보완부터 전이·상향 문제까지 다음 학습 경로를 구성합니다. 검수 가능한 새 문제 후보를 만들고, 일별 기록을 장기 성장 흐름으로 이어서 확인합니다. 로그인하면 학습 기록을 계정에 이어 저장하고 학급 과제와 진행 상황을 연결합니다. 운영자는 실제 풀이 표본으로 문항 품질과 접근제어를 점검합니다. 17~18단계에서는 실제 학습효과와 문항 보정 근거를 확인합니다. 19단계는 망각·도움 의존·선수개념·반복 오류·전이 가능성을 함께 계산하고, 20단계는 교사가 지원할 순서를 보여줍니다. 21단계는 1,000명 규모 학급에서도 조회·저장 요청을 고정 크기 페이지와 배치로 분할하고, 22단계는 로그인 기반 직접 링크 공개 베타와 피드백·차단 이슈·RC 게이트를 운영합니다.

1직접 풀기2오류 진단3단계 힌트4맞춤 재훈련9정밀 진단10학습 경로11문제 생성·검수12장기 성장13계정·동기화14학급·과제15문항 품질16운영 준비17학습효과 검증18난이도·변별도 보정19개인화 학습 2.020교사 개입 엔진21대규모 운영22공개 베타·RC
학습 기록을 불러오는 중입니다.