[일반] 논리학 cut elimination 증명인데 이해가 안되는게 있습니다.

[익명(218.145)]

andou yuuki 라는 사람의 증명입니다.

맨 마지막줄이 왜 성립하는거죠???

A1 v A2, D, D 로부터 D를 얻는건 그냥 아무 추론규칙 없이 되는거 아닌가요?

근데 A1 v A2 는 왜 나온거죠? (증명 Gamma를 아에 지워버릴 수 있는거 아닌가요???)