< 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.
This article is issued from
Wikibooks.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.