1. Evaluating Compound Propositions
Section 1.2
Evaluating Compound Propositions

2. Vocabulary Words
compound proposition

3. In-Class Activity #1 Get in groups of 3 or 4 students.
By next week I’m going to ask you to try to settle into regular groups that you will use each day for the first half of the semester.
Again, each person should print their name at the top of the paper I will hand out.
As a group, complete Part One

4. Activity Let How would we write m = Juan is a math major
c = Juan is a computer science major
How would we write
Juan is a math major but not a computer science major
Juan is either a math major or a computer science major

5. Activity Let How would we write s = stocks are increasing
i = interest rates are steady
How would we write
Stocks are increasing while interest rates are steady
Neither are stocks increasing nor are interest rates steady

6. Activity Neither are stocks increasing nor are interest rates steady.
It’s pretty common for me to hear several different answers for this one.
How can we determine if two different answers are equivalent?

7. Truth Tables
A truth table shows the relationship between various (often related) statements.
It’s size depends on the number of independent variables represented in the statements
N independent atomic formulae (variables)  2N rows

8. One possibility p q
¬ p  ¬ q T F

9. Order of Operations
Just like there is an order of operations with arithmetic (remember PEMDAS?) there is an order of operation with logic.  

10. One possibility p q
¬ p  ¬ q T F

11. One possibility p q
¬ p
¬ q
¬ p  ¬ q T F

12. Activity #2
Let’s see which variations are equivalent.

13. Variation 1 p q
¬ p
¬ q
¬ p  ¬ q T F

14. Variation 2 p q
p  q
¬ (p  q) T F

15. Variation 3 p q
p  q
¬ (p  q) T F

16. “Bigger” Compound Propositions
While the examples we just looked at were “compound” because they had more than one operator, they still dealt with two variables.
But lots of times when we use this phrase we are referring to three or more variables.

17. Activity #3 Let h = John is healthy w = John is wealthy
s = John is wise

18. Activity #3 Write compound propositions representing
John is healthy and wealthy but not wise
John is not wealthy but he is healthy and wise
John is neither healthy, wealthy, nor wise
John is neither wealthy nor wise, but he is healthy.
John is wealthy, but he is not both healthy and wise.

19. How do we build truth tables for these larger compound propositions?

20. Truth Tables
A truth table shows the relationship between various (often related) statements.
It’s size depends on the number of independent variables represented in the statements
N independent atomic formulae (variables)  2N rows

21. A three variable truth tablep q r
p  q  r T F

22. Activity #4

23. A three variable truth tablep q r
p  (¬q  r ) T F

24. A three variable truth tablep q r
p  q  p  r T
(1) F
(2)
(3)
(4)
(5)
(6)
(7)
(8)