논리학은 논증 혹은 추론을 다루는 학문이다. 추론을 확인할 수 있는 가장 쉬운 방법 중 하나는 문장들의 모임 안에 “따라서”라는 말이 있는지 찾아보는 것이다. 만약 “따라서”가 보이면 이 문장들의 모임은 추론으로 볼 수 있다. 따라서 앞에 나오는 것들은 전제고 뒤에 나오는 것은 결론이다. 하나의 추론에 전제는 여러 개가 나올 수 있지만 결론은 단 하나만 등장한다. 전제와 “따라서” 그리고 결론이 있다고 모두 같은 추론은 아니고 앞으로 배울 기준에 따라 좋은 추론과 나쁜 추론으로 나뉘게 된다.