Title: Introduction to deductive logic