Forgik

Forgik은 자연 공제를 사용하여 결과를 증명하는 교육용 앱입니다.

Forgik은 자연 공제를 배우고 연습 할 수있는 교육용 응용 프로그램입니다.

추론 규칙을 사용하여 목표는 여러 구내를 가정하여 결론을 증명하는 것입니다.

Forgik은 제외 된 중간 법칙을 포함하여 특정 추론 규칙을 사용합니다.

이 규칙 집합을 클래식 논리라고하며 모순을 통해 증명할 수 있습니다.

현재 Forgik은 제안 논리 만 지원합니다.

그러나 곧 1 차 로직 (predicate logic)이라고도합니다.