*파생 추론규칙(딸림 이끌기 틀, derived rule of inference) - 기본 추론규칙들로부터 만들어진 추론규칙 - 다음과 같은 3개의 파생 추론규칙이 있음 9. 뒤로 이면 없애기 10. 이면 잇기 11. 이러나저러나 *부정논법(뒤로 이면 없애기, Modus Tollens) 1. X이면 Y 2. Y는 거짓이다. 따라서 X는 거짓이다. 1. X→Y 2. ~Y ∴ ~X ex. 만일 물이 생물이면, 물은 죽는다. 물이 죽는다는 것은 거짓이다. 따라서, 물이 생물이라는 것은 거짓이다. *부정논법의 증명 1. X이면 Y 2. Y는 거짓이다. // X는 거짓이다. 3*. 거짓이다 넣기 시작: X 4*. 3*로 1에서 이면 없애, Y 5*. 2와 4*에 이고 넣어, Y는 참이고 Y는 거짓이다. 6. 3*..
