증명 사전

가정에서 결론까지 논리 규칙만으로 이어지는 근거의 사슬.

이 용어를 정식으로 다루는 문서: 명제

이 용어가 등장하는 문서