자연연역 질문

[ㅇㅇㅇ(147.46)]

이 논증이 참임을 어떻게 증명해야 할지 모르겠습니다. 설명 부탁드립니다.

[논증bot(59.0)]

Av-A는 전제 없이 도출할 수 있습니다. 간단하게 보자면 -(Av-A) / A / Av-A / -A / Av-A / --(Av-A) / Av-A 순서로 도출할 수 있겠죠.