Truth Functional Rules and Patterns

1. Truth Functional Rules and Patterns By Mike Monge

2. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. Using letters and symbols to represent arguments can help reveal the skeletal structure of an argument, and examining its structure allows us to determine the validity of the argument. With that in mind consider the following arguments:

3. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. Each of these arguments deals with very different subject matters, but each one has the same form or structure. The validity of the argument is solely a function of its structure, and not the content of the argument.

4. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. Let’s concentrate on the first argument.

5. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Let’s concentrate on the first argument.

6. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. First, we will highlight each of the simple statements.

7. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. First, we will highlight each of the simple statements.

8. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. First, we will highlight each of the simple statements.

9. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. First, we will highlight each of the simple statements.

10. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. First, we will highlight each of the simple statements.

11. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Then, we will replace the simple statements with letters.

12. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did notturn red. Therefore, the sample is notan acid. Then, we will replace the simple statements with letters. S L L S

13. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did notturn red. Therefore, the sample is notan acid. Next, we replace the logical words with symbols. S L L S

14. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did notturn red. Therefore, the sample is notan acid. Next, we replace the logical words with symbols.  S L  L ~ S ~

15. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Now, with all replacements made, we can move everything into position.  S L  L ~ S ~

16. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Now, with all replacements made, we can move everything into position.  S L  L ~ S ~

17. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Now, with all replacements made, we can move everything into position.  S L ~ L  ~ S

18. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. This basic pattern is so common and useful that is has its own name. It is called modus tollens. Any argument which exhibits the pattern of modus tollensis a valid argument.  S L ~ L Modus Tollens  ~ S

19. Truth Functional Rules and Patterns If the sample were an acid, then the litmus paper would have turned red. The litmus paper did not turn red. Therefore, the sample is not an acid. Let’s go back to the other arguments, one at a time.  S L ~ L Modus Tollens  ~ S

20. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. Let’s go back to the other arguments, one at a time.  S L ~ L Modus Tollens  ~ S

21. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. We need to find the simple statements again.  S L ~ L Modus Tollens  ~ S

22. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. We need to find the simple statements again.  S L ~ L Modus Tollens  ~ S

23. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. We need to find the simple statements again.  S L ~ L Modus Tollens  ~ S

24. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. We need to find the simple statements again.  S L ~ L Modus Tollens  ~ S

25. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. We need to find the simple statements again.  S L ~ L Modus Tollens  ~ S

26. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. Notice that the words “only if” are replaced by the horseshoe, and that “which means that” is a conclusion indicator.  S L ~ L Modus Tollens  ~ S

27. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. Notice that the words “only if” are replaced by the horseshoe, and that “which means that” is a conclusion indicator.    S L ~ L Modus Tollens  ~ S

28. Truth Functional Rules and Patterns Ceres is a planet only if it has cleared its orbital path. Ceres has not cleared its orbital path, which means that Ceres is not a planet. Let’s look at the last argument. There is one wrinkle we haven’t yet discussed.    S L ~ L Modus Tollens  ~ S

29. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. Let’s look at the last argument. There is one wrinkle we haven’t yet discussed.  S L ~ L Modus Tollens  ~ S

30. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. As before, we will identify the simple statements.  S L ~ L Modus Tollens  ~ S

31. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. As before, we will identify the simple statements.  S L ~ L Modus Tollens  ~ S

32. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. As before, we will identify the simple statements.  S L ~ L Modus Tollens  ~ S

33. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. As before, we will identify the simple statements.  S L ~ L Modus Tollens  ~ S

34. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. As before, we will identify the simple statements.  S L ~ L Modus Tollens  ~ S

35. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witness would imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So, my brother is not a devout Jehovah’s witness. We can also fill in the symbols.  S L ~ L Modus Tollens  ~ S

36. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witnesswould imply thathe doesn’t celebrate birthdays. My brother celebrates birthdays. So,my brother is not a devout Jehovah’s witness. We can also fill in the symbols.    S L ~ L Modus Tollens  ~ S

37. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witnesswould imply that he doesn’t celebrate birthdays. My brother celebrates birthdays. So,my brother is not a devout Jehovah’s witness. There is something very different about this argument. In this case, the second part of the conditional, the consequent, is being negated, and the second premise is affirmative. We need to adjust our structure…    S L ~ L Modus Tollens  ~ S

38. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witnesswould imply thathe doesn’t celebrate birthdays. My brother celebrates birthdays. So,my brother is not a devout Jehovah’s witness. There is something very different about this argument. In this case, the second part of the conditional, the consequent, is being negated, and the second premise is affirmative. We need to adjust our structure…    ~ S L L Modus Tollens ?  ~ S

39. Truth Functional Rules and Patterns My brother being a devout Jehovah’s Witnesswould imply thathe doesn’t celebrate birthdays. My brother celebrates birthdays. So,my brother is not a devout Jehovah’s witness. This argument still fits the pattern of modus tollens. The second premise asserts the opposite of the consequent, while the conclusion asserts opposite of the antecedent.    ~ S L L Modus Tollens  ~ S

40. Truth Functional Rules and Patterns Click on the circle below an argument if the argument is an example of modus tollens. p  q ~q ~p (A  B)  ~C ~C  A B A  (~B  C) ~(~B  C) ~A (A  B)  ~C A  B ~C That’s right! That’s right! That’s not right. Look closely. That’s not right. Look closely.

41. Truth Functional Rules and Patterns For those of you who don’t trust me yet, here is a truth table to prove that modus tollensis a valid argument pattern.