자연 공제 : 바닥 제거 이해 (¬e)

Question

나는 자연 공제를 처음 켜고 다양한 방법에 대해 온라인으로 읽는 데, 다음 예제 .

>>

나는 단계에서 단계를 이해하지 못한다.

검사시 나의 초기 생각은= P의 가정이 사실 인 것으로 가정합니다. 따라서 어떤 것이 유추 될 수 있습니다 (이 경우 'p'에서).그러나 이것이 당신이 멈추는 곳이라면 (이것은 지나치게 강력한 도구 인 것처럼 보입니다)?그래서 나는이 아이디어가 잘못되었다고 가정합니다.

누군가가 규칙을 이해하는 데 도움이 될 수 있습니까?

참고 : 온라인으로 자원 및 특정 정보가 부족하여 Stackexchange에 왔습니다.

Answer 1

실제로 우리는 두 단계를 함께 용접하고 $ p $ 및 $ \ lnot p $ 은 무엇이든, 공식 논리에서 이것은 두 가지 추론 규칙의 조합입니다.

1. $ P $ 및 $ \ lnot p $ 모두 $ \ bot $ ,
2. $ \ bot $ 은 다음과 같습니다.

이들은 정확하게 9와 10 개의 증거입니다.

우리는 종종 $ \ lnot p $ 을 $ p \ chightow \ bot $ , $ p $ 및 $ \ lnot p $ $ \ bot $ " $ p $ 및 $ P \ Nowarrowr R $ 은 $ R $ "을 따릅니다.