모든 학생은 내일까지 보고서를 제출해야 한다.
통합 논리 계산실
논리 체계 선택
논리식 편집실열기
논리식·증명·관계도 자유 작성
한국어 · 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단계 · 비교·안전 변환언어 확장 L1~L12 · 10개 언어 직접 분석
다국어 논리 입력·출력실
각 언어를 직접 읽고, 같은 뜻인지 검증한 뒤 결과도 같은 언어로 설명합니다.
한국어·영어·독일어·프랑스어·스페인어·이탈리아어·포르투갈어·네덜란드어·일본어·중국어의 양화·의무·가능·시간·확률·정도·조건·부정을 각 언어에서 직접 읽어 공통 의미 구조로 정규화합니다. L11~L12에서는 띄어쓰기에 의존하지 않는 CJK 분절 규칙과 문자 체계 판별을 추가하고, L5 의미 드리프트 검사와 L6 결과 복원 계층을 동일하게 적용합니다.
L1공통 언어 인터페이스L2EnglishL3DeutschL4FrançaisL5공통 의미 정밀 검증L6입력 언어 출력 복원L7EspañolL8ItalianoL9PortuguêsL10NederlandsL11日本語L12中文
논리식·증명·도식을 직접 작성하려면 → 로고스 논리식 편집실 · Logic Editor · Éditeur logique
입력 언어
문장 분석
L5 · 언어 간 정밀 검증
같은 뜻이 같은 의미 구조로 들어오는가
All students must submit the report by tomorrow.
Alle Schüler müssen den Bericht bis morgen einreichen.
Tous les élèves doivent remettre le rapport avant demain.
Todos los estudiantes deben entregar el informe antes de mañana.
Tutti gli studenti devono consegnare il rapporto entro domani.
Todos os estudantes devem entregar o relatório até amanhã.
Alle studenten moeten het verslag uiterlijk morgen inleveren.
すべての学生は明日までに報告書を提出しなければならない。
所有学生必须在明天之前提交报告。