*간접증명법(거짓이다 넣기, indirect proof)(=귀류법, 배리법, proof by contradiction) - 다음의 왼쪽 추론이 마땅하면, 오른쪽 추론도 마땅하다. 1. A 2. X 따라서 Y는 참이고 거짓이다. 1. A 따라서 X는 거짓이다. 1. A 2. X ∴ Y&~Y 1. A ∴ ~X *간접증명법의 특징 - 주장 X를 참이라고 여길 경우 오류에 귀착하기 때문에 주장 X를 거짓이라고 여겨야 한다고 추론 (귀류법) - 주장 X를 참이라고 여길 경우 이치에 배반하기 때문에 주장 X를 거짓이라고 여겨야 한다고 추론 (배리법) *간접증명법의 사용 ➀ 추론(추론ㄱ)의 결론(결론ㄱ)을 확인한다. ➁ 기존 결론(결론ㄱ)의 부정문을 새로운 전제(*)로 덧붙인다. ➂ 새로운 전제를 덧붙인 새로운 추론..
