통합 논리 계산실
논리 체계 선택
논리식·증명·관계도 자유 작성
한국어 · English · Français한국어·영어·독일어·프랑스어·스페인어·이탈리아어·포르투갈어·네덜란드어·일본어·중국어
L1~L12 · 직접 분석·의미 검증·출력 복원분해·복수 태깅·기호 공유·실행 계획
37~46단계 · v3.0 RC실행·증거·인증서·최소 반례
47~60단계 · v3.2 알파다중 작업·외부 비교·설명 품질·RC 검증
61~66단계 · v3.2 RCTPTP·QMLTP·독립 증명 검사·모호성 병렬 실행
67~70단계 · v4.0 외부 검증 알파실행 시각화·영속 캐시·작업 큐·shard 배치
71~73단계 · v4.1 운영 확장 알파감사·사람 검토·조정·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 직렬 프레임참·미정·거짓의 3값 의미론
32단계 · 첫 확장 플러그인0~1 연속 진리도
33단계 · Zadeh + KD사건 확률·조건부확률
34단계 · 명시 확률모형고전·K3·퍼지·확률 비교
35단계 · 비교·안전 변환4차 4묶음 · 77~80단계
사람 검토를 운영 데이터로 연결하고 RC 동결까지 추적합니다
74~76단계에서 만든 감사 패키지와 사람 검토 프레임을 로그인 기반 제출, 독립 검토 조정, 명시적 승인, 릴리스 매니페스트로 이어 붙였습니다.
사람 리뷰가 충분하지 않으면 79 승인과 80 매니페스트 생성은 열리지 않습니다. 리뷰나 조정 결과가 바뀌면 승인 체크섬도 바뀝니다.
77~80단계
리뷰 운영 preflight
74~75단계
엔진 결과와 사람 검토
각 항목에는 현재 엔진의 판정·형식화·설명·증명 또는 반례를 제시하고 기준 정답은 숨깁니다. 작업본은 JSON으로 보관할 수 있고, 77단계 최종 제출은 로그인 계정과 현재 감사 패키지 체크섬에 묶여 운영 DB에 저장됩니다.
조건문의 기본 추론
P→Q, P ⊢ Q
전건긍정의 판정과 설명을 확인합니다.
{
"premises": [
"P -> Q",
"P"
],
"conclusion": "Q",
"options": {}
}결론이 도출됩니다.
{
"proof": null,
"counterexample": null,
"certificate": null
}기준 정답 판정은 리뷰 화면에서 숨깁니다.
77~80단계
운영 수집·조정·승인·동결
78단계는 독립 리뷰 점수 차이가 기준을 넘거나 과잉확신 판단이 갈릴 때 조정을 요구합니다. 79단계는 현재 리뷰·조정 스냅샷의 체크섬과 일치하는 관리자 승인만 인정하고, 80단계는 그 승인 이후에만 Production 커밋 SHA를 포함한 RC 매니페스트를 만듭니다.
74~76단계
기존 RC preflight 근거
감사 패키지 무결성은 PASS입니다. 이 자동 preflight는 사람 리뷰를 주입하지 않는 기준 검사이므로 실제 운영 리뷰 수집 상태와 별개로 RC 동결 차단 규칙을 계속 확인합니다.
