ABSTRACT
In this chapter we are going to investigate a formal system which has been developed for discussing the truth or falsity of a particular kind of statement called a proposition. We will start by explaining what propositions are, then we will introduce a formal language called propositional logic which has as the usual interpretation of its well formed formulae the truth values of propositions, and finally we will provide a deductive apparatus to create a formal system called propositional calculus.
