*조건증명법(이면 넣기, conditional proof) - 다음의 왼쪽 추론이 마땅하면, 오른쪽 추론도 마땅하다. 1. A 2. X 따라서 Y 1. A 따라서 X이면 Y 1. A 2. X ∴ Y 1. A ∴ X→Y *조건증명법의 타당함 - 조건증명법도 기본 추론규칙들 가운데 하나이기 때문에, 조건증명법 자체를 다른 규칙들을 써서 이끌어낼 수는 없음. 그래서 우리는 조건증명법을 사용한 추론이 타당한 추론이라고 그냥 처음부터 받아들여야 함. - 다음의 예시를 통해 조건증명법을 사용한 추론이 여타 기본 추론규칙들을 사용한 추론들과 같이 마땅하다는 사실을 알 수 있음 1, 만일 희수가 철학을 좋아한다면, 그는 논리학을 좋아한다 2. 희수는 논리학을 좋아하지 않거나 깊이 생각하는 것을 좋아한다. 3, 희수는 ..
