thinking mathematically logic 3.2 compound statements and connectives
TRANSCRIPT
![Page 1: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/1.jpg)
Thinking Mathematically
Logic3.2 Compound Statements and Connectives
![Page 2: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/2.jpg)
“Compound” Statements
Simple statements can be connected with “and”, “Either … or”, “If … then”, or “if and only if.” These more complicated statements are called “compound.”
![Page 3: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/3.jpg)
Symbolic Logic
Name Symbolic Form
Read
Negation ~p not p
Conjunction p/\q p and q
Disjunction p\/q p or q
![Page 4: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/4.jpg)
Symbolic Logic (cont.)
Name Symbolic Form Read
Conditional p q • if p then q•p is sufficient for q•q is necessary for p
Biconditional p q • p if and only if q•p is necessary and sufficient for q•q is necessary and sufficient for p
![Page 5: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/5.jpg)
Examples
Exercise Set 3.2 #3, #7p: I’m leaving.q: You’re staying.You’re staying and I’m not leaving.
p: I studyq: I pass the courseI study or I pass the course.
![Page 6: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/6.jpg)
Examples
Exercise Set 3.2 #11, #23p: This is an alligator.q: This is a reptile.If this is an alligator, then this is a reptile.
p: You are human.q: You have feathers.Being human is sufficient for not having feathers.
![Page 7: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/7.jpg)
Examples
Exercise Set 3.2 #35, #49p: The heater is workingq: The house is coldp \/ ~q
p: Romeo loves Juliet.q: Juliet loves Romeo.~(p /\ q)
![Page 8: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/8.jpg)
Dominance of Connectives
1. Negation (~)
2. Conjunction/Disjunction (/\, \/)3. Conditional ()4. Biconditional ()
• The most dominant is applied last• Analogous to order of operations in algebra
![Page 9: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/9.jpg)
Examples
Exercise Set 3.2 #59, #79p: The temperature outside is freezing.q: The heater is working.r: The house is cold.The temperature outside is freezing and the heater is
working, or the house is cold.
p: The temperature is above 85o
q: We finished studyingr: We go to the beach.~r ~(p /\ q)
![Page 10: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/10.jpg)
Examples
• Exercise Set 3.2 #85I miss class if and only if it’s not true that both I
like the teacher and the course is interesting.
![Page 11: Thinking Mathematically Logic 3.2 Compound Statements and Connectives](https://reader035.vdocuments.net/reader035/viewer/2022071807/56649eb75503460f94bc0d1d/html5/thumbnails/11.jpg)
Thinking Mathematically
Logic3.2 Compound Statements and Connectives