Title: First Notions Of Logic