Title: A new introduction to logic