Chapter 10
Applying Equivalence Rules
IN THIS CHAPTER
Understanding a key difference between equivalence rules and implication rules
Using the ten important equivalence rules
If you like implication rules (see Chapter 9), you’re going to adore the other ten rules of inference that I go over in this chapter: the equivalence rules. Why? Let me count the ways.
First of all, these rules will dazzle and astound you (and numerous other admirers) with the ease they provide you in working logic proofs. For example, just try proving the validity of the following argument by using only implication rules:
Alas, you can’t. But, luckily for you, when you apply the equivalence rules I explain in this chapter, problems like these are just momentary distractions on an otherwise cloudless day. Even more good news: Equivalence rules are generally easier and more flexible to use within proofs for several important reasons, which I also explain.
So, in this chapter, you discover how to apply ten important equivalence rules, get tips on when and how to use them, and continue to sharpen your skills at proving the validity of arguments. The proofs in this chapter also make full use of the implication ...
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