Title: An introduction to logic,