반사성○ 성립
반사성 조건을 모두 만족합니다.
통합 논리 계산실
논리 체계 선택
논리식 편집실열기
논리식·증명·관계도 자유 작성
한국어 · 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단계 · 비교·안전 변환12단계 · 관계 전용 검사
관계 성질 검사실
관계의 외연을 넣고 반사·대칭·추이를 직접 검사합니다.
유한 영역과 순서쌍을 입력하면 관계 행렬과 성질을 계산하고, 성질이 깨질 때는 어떤 개체가 반례가 되는지 보여줍니다.
반사성모든 a에 대해 aRa대칭성aRb이면 bRa추이성aRb·bRc이면 aRc
예제
검사 결과
R의 관계 성질
대칭성× 성립하지 않음
1R2이지만 2R1이 없어 대칭성이 깨집니다.
추이성○ 성립
추이성 조건을 모두 만족합니다.
{1, 2, 3}{(1, 1), (2, 2), (3, 3), (1, 2), (2, 3), (1, 3)}| R | 1 | 2 | 3 |
|---|---|---|---|
| 1 | ● | ● | ● |
| 2 | · | ● | ● |
| 3 | · | · | ● |