6 Chapter 10: Sentential and Symbolic Logic
Chapter 10: Symbolic Logic
Matthew Knachel and Maureen Sander-Staudt
In this chapter from Matthew Knachel and Maureen Sander-Staudt we are introduced to sentential logic, which uses symbols to represent sentences, and logical operators to calculate their truth values. This method provides a fast and clear method for determining the truth or falsity of single sentences, based on the known truth values of their components. First, we learn how to symbolize simple and compound sentences, then we learn how compute their truth values, and we finish by learning how to translate everyday phrases into symbolic form.