Title: introduction to logic