Title: Basic Concepts and Symbolization in Propositional Logic