Introduction to Philosophical Logic/Formalisation/Propositional Calculus
Natural languages, such as English, are flawed. One such flaw is ambiguity, another is that they are tedious to write out if they are long. However, sentences can be formalised into a symbolic, logical language that contains neither of these flaws (although, as the discerning reader will discover, natural languages have many advantages over these languages).
The first such language to be considered is the propositional calculus.