통합 논리 계산실

논리 체계 선택

계산 결과는 같은 판정 언어로 표시합니다.

논리식 편집실열기

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

한국어 · English · Français

언어 확장열기

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

L1~L12 · 직접 분석·의미 검증·출력 복원

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

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

다중 작업·외부 비교·설명 품질·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 금지

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

0~1 연속 진리도

사건 확률·조건부확률

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

25~29단계 + 58~59단계 · 형식화·모호성

한국어 논리 입력실

한국어 문장을 바로 계산하지 않고, 가능한 형식화를 먼저 보여 줍니다.

문장 구조를 읽고 적합한 논리 체계와 논리식 후보를 제시한 뒤, 사용자가 뜻을 확인하면 해당 계산 엔진으로 보냅니다. 해석과 계산을 분리해 잘못된 형식화가 그대로 판정으로 이어지는 일을 줄입니다.

25공통 입구26논리식 후보27의미 확인28엔진 연결29오류 진단58형식화 후보 확장59의미 모호성 분기

25단계

한국어 문장 입력

한 문장부터 시작합니다

논리적으로 분석할 문장