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