[자연어 논리학] 「001 추론, 전제, 결론」, 『두뇌보완계획100』

*추론 표시어(이끌기 보람말, inference indicator)
- “따라서”(“∴”, “//”), “왜냐하면”(“∵”)
- 문장들의 한 모임을 보고 이것이 추론이라는 것을 쉽게 알아볼 수 있도록 하는 표시어

*결론(따름말, 귀결/논지, conclusion)
- “따라서” 뒤에 나오는 문장, “왜냐하면” 앞에 나오는 문장
- 전제로부터 따라 나오는 문장

*전제(받침말, 근거/논거/가정, premise)
- “따라서” 앞에 나오는 문장, “왜냐하면” 뒤에 나오는 문장
- 결론을 뒷받침하는 문장

*추론(이끌기, inference)
- 전제와 결론으로 이루어진 문장들의 집합
- 전제는 결론을 뒷받침하고, 결론은 전제들로부터 따라 나옴
- 하나의 추론에서 전제는 여러 개일 수 있지만 결론은 하나여야 함
ex. 만일 허난설헌이 아이를 낳았다면, 허난설헌은 여자이다.
     허난설헌은 아이를 낳았다.
     따라서, 허난설헌은 여자이다.

*논리 관계(말길 맺음, logical relation)
- 전제와 결론 사이의 관계

*논리학(말길배움, logic)
- 추론 또는 논증(이끌어 보임, inference : 추론의 언어적 표현)을 연구하는 학문
- 문장들 사이의 논리 관계를 다루는 학문