Title: Introduction to Logic from Everyday Life to Formal Systems