이 문제 이렇게 증명되는게 맞나요?

[익명(222.234)]

화질은 죄송합니당.. 6번에서 왜 결론이랑 똑같다고 생각하고 증명을 끝내는지 모르겠어용

- dc official App

[익명(180.83)]

교재가?

[익명(222.234)]

저도 모르겠습니다.. ㅠ 교수님이 시험대비 연습하라고 올려주신거여서 - dc App

[익명(180.83)]

일단 찾아보겠음. 표기법만 봐서는 어빙 코피 같은데

[익명(222.234)]

감사합니다! - dc App

[익명(180.83)]

혹시 교수 이름이?…

[익명(180.83)]

어느 교재인지 잘 모르겠는데. ax라는 자유변수를 다른 자유변수 a로 치환한다던가 하는 내용이 교재 앞부분에 있는 건가 싶음.

[귀결(122.34)]

그런데 x에 의존하니까 a_x로 표현한 거 같긴 한데, 그게 a랑 같다고 할 수 있나 싶네. 그냥 a_x 를 a로 썼다고 쳐도 "(어떤)소거"할 때 결론에 a가 나오면 안된다는 규칙이 있을건데 이상하네