[김민석]

pl-book-draft 31페이지의 증명 규칙에서요
귀납 규칙들을 분수로 표현하고 그에 대한 설명이 다음과 같은데요.

(Γ,f)쌍들의 집합을 만드는 규칙들이다. 특히, “Γ에 있는 모든 논리식들이 참
이면 f는 참”인 경우에 (Γ,f)를 만들어 내는 규칙들이다.

이 부분이 이해가 잘 안갑니다.

첫번째 귀납 규칙을 예로 들어서 설명해주실 수 있나요?

[강동옥]

우선, f는 논리식이고, Γ는 논리식의 집합입니다. 이제 교재의 표현을 보면,

[김민석]

그렇다면 증명규칙의 의의는 무엇인가요?

각각의 규칙들의 증명방식 같은 것은 대략 이해가 가는데 증명규칙을 왜 배우는지 궁금합니다.

[강동옥]

형식 논리는 사람의 말을 기호로 옮긴다는데 의의가 있습니다.

"A이거나 B일때 C이고 D이면 A이거나 E이고 E이고 A이면 B일때 C가 성립한다."

이런식으로 말로 나열하면 에매한 부분도 생기고 너무 번거롭습니다.

형식논리는 이러한 애매한부분을 제거해주며, 단순히 규칙표의 규칙을 적용하며 명료하게 논리가 참인지 여부를 확인합니다.


규칙표에 있는 규칙들은 사람 말로 풀어보면 당연하다고 생각되는 간단한 규칙들입니다.
이것을 토대로 형식적인 조합만으로 복잡한 논리식이 말이 되는 논리식임을 증명하는 것입니다.