Title: Introduction to Formal Logic