Title: Introduction to logic Propositional Logic