ABSTRACT
In this chapter we investigate basic properties of propositional logic. Actually, we do not expect that this book will be the first contact of the reader with logic. However, all the concepts will be rigorously introduced and a number of propositions and theorems proved.
