Introduction to logic