Title: Introduction to logic