Title: an introduction to logic