Title: An introduction to logic