책에 있는 논리학 예제 하나 질문점

[익명(175.121)]

((p → q) → q) → (p v q)

파생규칙들 다 써도 되면 어떻게 해야 가장 빠르게 나오나요?

[익명(1.227)]

가장 빠른진 모르겠는데 내가 생각한 답은, ~p 가정하고 q 도출해서 ~p then q를 보인 후 이걸 p or q로 바꿈

[ㅁㄴㅇㄹ(61.35)]

파생규칙이 뭐에요?

[Y(61.72)]

가장 적은 갯수의 규칙을 사용하는 방식을 물으시는 것 같은데요. 규칙을 명시하지 않으셔서 답변 드리기가 어렵네요. Peirce’s law의 변형으로 Fitch나 Gentzen-Prawitz 자연연역을 고려한다면 ~(P V Q)를 가정해서 Classical reductio 규칙(혹은 이중부정 제거규칙)을 사용해서 푸시면 되요. 인터넷 뒤져 보시면 답도 나옵니