자연연역 증명기
전제와 결론을 입력한 뒤, 줄마다 규칙과 인용할 줄 번호를 지정해 증명을 작성하세요. 하위증명(가정) 안에는 또 다른 하위증명을 중첩할 수 있습니다.
전제 & 결론
증명
규칙 목록 (인용 표기법)
줄 번호는 쉼표로 구분해서 적습니다 (예: 1,2). 하위증명 전체를 인용할 때는 시작줄-끝줄 형태로 적습니다 (예: 2-4).
전제와 결론을 입력한 뒤, 줄마다 규칙과 인용할 줄 번호를 지정해 증명을 작성하세요. 하위증명(가정) 안에는 또 다른 하위증명을 중첩할 수 있습니다.
줄 번호는 쉼표로 구분해서 적습니다 (예: 1,2). 하위증명 전체를 인용할 때는 시작줄-끝줄 형태로 적습니다 (예: 2-4).