통합 논리 계산실

논리 체계 선택

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

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

한국어 · 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단계 · 비교·안전 변환

4차 4묶음 · 77~80단계

사람 검토를 운영 데이터로 연결하고 RC 동결까지 추적합니다

74~76단계에서 만든 감사 패키지와 사람 검토 프레임을 로그인 기반 제출, 독립 검토 조정, 명시적 승인, 릴리스 매니페스트로 이어 붙였습니다.

사람 리뷰가 충분하지 않으면 79 승인과 80 매니페스트 생성은 열리지 않습니다. 리뷰나 조정 결과가 바뀌면 승인 체크섬도 바뀝니다.

74감사 결과 패키지75사람 검토 벤치마크76RC 통합 preflight77로그인 리뷰 저장78이중검토 조정79RC 승인 게이트80릴리스 매니페스트

77~80단계

리뷰 운영 preflight

4.0.0-rc-ops.1 · ready-for-human-operations
자동 게이트READY기존 37~76 검증
77 저장 계약PASS로그인·불변 제출
79 승인 보호PASS사람 리뷰 전 승인 차단
현재 상태human-review-required정상 대기 상태

74~75단계

엔진 결과와 사람 검토

8 cases · 5 dimensions

각 항목에는 현재 엔진의 판정·형식화·설명·증명 또는 반례를 제시하고 기준 정답은 숨깁니다. 작업본은 JSON으로 보관할 수 있고, 77단계 최종 제출은 로그인 계정과 현재 감사 패키지 체크섬에 묶여 운영 DB에 저장됩니다.

propositional · HR-01

조건문의 기본 추론

P→Q, P ⊢ Q

전건긍정의 판정과 설명을 확인합니다.

엔진 판정entailed
형식화
{
  "premises": [
    "P -> Q",
    "P"
  ],
  "conclusion": "Q",
  "options": {}
}
설명

결론이 도출됩니다.

증명·반례
{
  "proof": null,
  "counterexample": null,
  "certificate": null
}

기준 정답 판정은 리뷰 화면에서 숨깁니다.

작업본 0/8 · 운영 제출 0/8

77~80단계

운영 수집·조정·승인·동결

관리자 운영 상태
78~80단계 운영 상태를 확인하고 있습니다.

78단계는 독립 리뷰 점수 차이가 기준을 넘거나 과잉확신 판단이 갈릴 때 조정을 요구합니다. 79단계는 현재 리뷰·조정 스냅샷의 체크섬과 일치하는 관리자 승인만 인정하고, 80단계는 그 승인 이후에만 Production 커밋 SHA를 포함한 RC 매니페스트를 만듭니다.

74~76단계

기존 RC preflight 근거

4.0.0-rc-preflight.1
v3ReleasePASS
v31ReleasePASS
v32ReleasePASS
v40ExternalValidationPASS
v41ScaleValidationPASS
stage74AuditPackagePASS
stage74RequiredFieldsPASS
stage75ReviewFrameworkPASS

감사 패키지 무결성은 PASS입니다. 이 자동 preflight는 사람 리뷰를 주입하지 않는 기준 검사이므로 실제 운영 리뷰 수집 상태와 별개로 RC 동결 차단 규칙을 계속 확인합니다.