Chapter 6
Turning the Tables: Evaluating Statements with Truth Tables
IN THIS CHAPTER
Creating and analyzing statements by using truth tables
Applying truth tables to evaluate tautologies, contradictions, and contingencies
Seeing the connections between statement types and evaluations
In this chapter, you discover one of the most important tools in sentential logic (SL): the truth table. Truth tables enable you to evaluate a statement under every possible interpretation (a fixed set of truth values for all statement constants; see Chapter 5), which in turn provides insight about a statement even when you don’t know the truth values of its constants.
Truth tables open up vast new logical territory. First of all, they’re an easy way to find out when a statement is true or false — a central question in logic. But beyond this, they can help you identify tautologies and contradictions (statements in SL that are always true or always false).
You can also use truth tables to decide whether a set of statements is consistent — that is, whether all the interpretations can be true. Additionally, with truth tables, you can figure out whether two statements are semantically equivalent — that ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access