자연 연역의 소증명(subproof) 표기법에 관한 생각

다음 글에서는 제가 계층형 번호 구조로 증명을 작성하긴 했는데, 논리식을 안 썼네요.

2개의 좋아요