[자연어 논리학] 「008 차근차근 이끌기」, 『두뇌보완계획100』

*자연연역(차근차근 이끌기, natural deduction)
- 추론규칙을 써서 추론의 전제들로부터 결론이 어떻게 따라 나오는지를 하나하나 빈틈없이 밝혀 보이는 것
- 방법
  ➀ 전제들을 순서대로 쓴다.
  ➁ 마지막 전제 다음에 “따라서”를 뜻하는 “//”를 쓰고 그 뒤에 결론을 쓴다.
  ➂ 주어진 전제들로부터 한 번에 하나씩 기본 추론규칙을 적용하여 새로운 문장을 이끌어낸다. 이렇게 얻은 문장에 새로운 번호를 매긴다.
  ➃ 이런 식으로 얻고자 하는 결론이 나올 때까지 계속한다.
  ➄ 마침내 결론에 이르게 되면 차근차근 이끌기는 끝나게 되고 마지막에 “끝”을 쓴다.
ex. 1. 바이러스가 생물이라는 것이 거짓이라는 것은 거짓이다.
     2. 박테리아는 생물이다. // 바이러스는 생물이고 박테리아는 생물이다.
     3. 1.에서 거짓이다 없애, 바이러스는 생물이다.
     4. 3과 2에 이고 넣어, 바이러스는 생물이고 박테리아는 생물이다. “끝”