존재양화사 제거규칙 이렇게 쓰는 거 맞냐

[익명(39.7)]

어떤 x가 A(x)가 아니면 모든 x가 A(x)인 것은 아니다
이걸 증명해야 함

[익명(125.190)]

저런 증명법은 난생처음본다 무슨증명법임?

[익명(118.235)]

겐첸 방식의 자연연역인데 트리형식으로 증명을 나타내는거임. 전제들이 명확히 표기되기 때문에 익숙해지면 굉장히 편리함.

[익명(118.235)]

굿굿 제대로 하셨음. 2번 전제의 자유변항 x가 1번이랑 3번 전제, 그리고 제거규칙의 결론에서 자유롭게 나타나지 않으니까 올바른 제거규칙 적용임.