Download - LOGIC AND SETS
![Page 1: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/1.jpg)
LOGIC AND SETS
CHAPTER 5
![Page 2: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/2.jpg)
LOGIC AND SETS
5.1 Equivalent Statements5.2 Drawing Conclusions from Data5.3 Valid and Invalid
Arguments
![Page 3: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/3.jpg)
5.1 Negating Statements 1. Select the statement that is the negation of “It is raining and the sun is not out”.
A. If it is raining then the sun is not out.B. It is not raining and the sun is outC. It is raining and the sun is not out.D. It is not raining or the sun is out.
![Page 4: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/4.jpg)
5.1 Negating Statements Statement Negation
p ~pp and q ~p or ~qp or q ~p and ~q
If p, then q p and ~ q
1. Select the statement that is the negation of “It is raining and the sun is not out”.
A. If it is raining then the sun is not out.B. It is not raining and the sun is outC. It is raining and the sun is not out.D. It is not raining or the sun is out.
![Page 5: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/5.jpg)
5.1 Negating Statements Statement Negation
p ~pp and q ~p or ~qp or q ~p and ~q
If p, then q p and ~ q
1. Select the statement that is the negation of “It is raining and the sun is not out”.
A. If it is raining then the sun is not out.B. It is not raining and the sun is outC. It is raining and the sun is not out.D. It is not raining or the sun is out.
![Page 6: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/6.jpg)
5.1 Universal Quantifiers
ALL Some (are)
Some (are not)No (None)4. The negation of “ No students failed this class”:
B. Some students failed this class.A. All students failed this class.
D. No student failed this class.C. Some students did not fail this class.
![Page 7: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/7.jpg)
5.1 Equivalent Statements
Equivalencies for “If p, then q” 1) ~p or q 2) If ~q, then ~p
![Page 8: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/8.jpg)
5.1 Example
5. Select the statement logically equivalent to “If Tina is in Las Vegas, then she is in Nevada”.A. Tina is in Las Vegas or she is in Nevada. B. If Tina is not in Nevada, then she is not in Vegas. C. If Tina is in Nevada, then she is in Las Vegas. D. If Tina is not in Las Vegas, then she is not in Nevada.
Let V=in LasVegasLet N=in Nevada
The statement given is “If V then N”
The statement given is equivalent to:~V or N , If ~N then ~V
![Page 9: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/9.jpg)
5.1 Example
5. Select the statement logically equivalent to “If Tina is in Las Vegas, then she is in Nevada”.A. Tina is in Las Vegas or she is in Nevada. B. If Tina is not in Nevada, then she is not in Vegas. C. If Tina is in Nevada, then she is in Las Vegas. D. If Tina is not in Las Vegas, then she is not in Nevada.
Let V=in LasVegasLet N=in NevadaThe statement given is equivalent to:~V or N , If ~N then ~V
V or N
If ~N then ~V
If N then V
If ~V then ~N
![Page 10: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/10.jpg)
10. Select the rule of logical equivalence that directly transforms (in one step) statement “i” into statement “ii”.i. Not all children are left handed.ii. Some children are not left-handed.
A. “Not (not p)” is equivalent to “p”
5.1 Transforming
B. “If p then q” is equivalent to “If not q, then not p”C. “Not all are p” is equivalent to “Some are not p”D. “All are not p” is equivalent to “Some are not p”
![Page 11: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/11.jpg)
5.2 Venn Diagram
A BC
1. Sets A,B, and C are related as shown in the diagram. Which of the following statements is true, assuming none of the regions is empty?
U
A. Any element of A is also a member of C.B. No element is a member of A, B and C.C. Any element of U is a member of A.D. None of these statements is true.
![Page 12: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/12.jpg)
5.2 Draw Conclusions
P
Q
All P’s are Q’s Some P’s are Q’s
No P’s are Q’s Some P’s are not Q’s
P
P
PQ
Q
Q
![Page 13: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/13.jpg)
5.2 Example
F
No A’s are F’sI
Given that: i. No people who make assignments are friendly.ii. All instructors make assignments.
Determine which can be logically deduced.A. All instructors are friendly.
All I’s are A’s
A
B. No instructor is friendly.C. Some instructors are friendly.D. None of these answers.
![Page 14: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/14.jpg)
5.2 Valid Arguments
qp
qp
∴
→
€
p→q~q∴~p
rprqqp
→∴→→
qpqp
∴
∨~
![Page 15: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/15.jpg)
5.2 Example
Select the conclusion that will make the following argument valid.If all students take Math, then some new instructors are needed. No new instructors are needed.
A. No students take Math B. If there are no new instructors, no students take Math
C. Some students do not take MathD. Some students take Math
![Page 16: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/16.jpg)
5.2 Example
Select the conclusion that will make the following argument valid.If all students take Math, then some new instructors are needed. No new instructors are needed.
Let p = all students take mathLet q = some new instructors are needed
The statement: If all students take Math, then some new instructors are needed.
![Page 17: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/17.jpg)
5.2 Example
Select the conclusion that will make the following argument valid.If all students take Math, then some new instructors are needed. No new instructors are needed.
Let p = all students take mathLet q = some new instructors are needed
The statement: No new instructors are needed.
![Page 18: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/18.jpg)
5.2 Example
Select the conclusion that will make the following argument valid.If all students take Math, then some new instructors are needed. No new instructors are needed.
Let p = all students take mathLet q = some new instructors are needed
pqqp
~~∴
→
: Not (all students take math)
Not all means some do not
![Page 19: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/19.jpg)
5.2 Example
Select the conclusion that will make the following argument valid.If all students take Math, then some new instructors are needed. No new instructors are needed.
A. No students take Math B. If there are no new instructors, no students take Math
C. Some students do not take MathD. Some students take Math
![Page 20: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/20.jpg)
5.3 Deducing Conclusions
1. If you ask questions, you will learn a lot. If you read often, you will ask questions.
2. All sailors are swimmers. All swimmers wear life jackets. Sally is wearing a life jacket.
Use symbolic argument
Use Venn diagram
![Page 21: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/21.jpg)
5.3 Symbolic Example
1. Select a logical conclusion: If you ask questions, you will learn a lot. If you read often, you will ask questions. ? ∴
→→
qrlq
? ∴→→
lqqr
lr →B. You will learn a lot.A. If you learn a lot, you will ask questions
C. You will not learn a lot.D. If you read often, you will learn a lot.
![Page 22: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/22.jpg)
5.3 Diagram ExampleStudy the given information and select the Correct conclusion
A. Sally is not a sailor.LSW
SL
U
B. Sally is a sailor.C. Sally is a swimmer.D. None of these
2. All sailors are swimmers. All swimmers wear life jackets. Sally is wearing a life jacket.
One who wears a life jacket can be anywhere in L
![Page 23: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/23.jpg)
C. All fish live in water and all bass are fish. Therefore, all bass live in water.
A. All fish taste good and all bass are fish. Therefore, all bass taste good.
B. Every Girl Scout is a girl. Susan is a Girl Scout. Therefore, Susan is a girl.
5.3 Invalid Arguments 3. All of the following arguments have true
conclusions, but one is not valid. Select the argument that is not valid.
D. All flies are dirty and insects are dirty. Therefore, all flies are insects.
![Page 24: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/24.jpg)
C. All fish live in water and all bass are fish. Therefore, all bass live in water.
A. All fish taste good and all bass are fish. Therefore, all bass taste good.
B. Every Girl Scout is a girl. Susan is a Girl Scout. Therefore, Susan is a girl.
5.3 Invalid Arguments 3. All of the following arguments have true
conclusions, but one is not valid. Select the argument that is not valid.
D. All flies are dirty and insects are dirty. Therefore, all flies are insects.
MAKE A VENN DIAGRAM FOR EACH
![Page 25: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/25.jpg)
A. All fish taste good and all bass are fish. Therefore, all bass taste good.
5.3 Invalid Arguments
TasteFish
Bass
U
√ valid
![Page 26: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/26.jpg)
B. Every Girl Scout is a girl. Susan is a Girl Scout. Therefore, Susan is a girl.
5.3 Invalid Arguments
GirlsGSSusan
U
√ valid
![Page 27: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/27.jpg)
C. All fish live in water and all bass are fish. Therefore, all bass live in water.
5.3 Invalid Arguments
WaterFish
Bass
U
√ valid
![Page 28: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/28.jpg)
5.3 Invalid ArgumentsD. All flies are dirty and insects are dirty.Therefore, all flies are insects.
DirtyFlies
Insects
U
x invalid
![Page 29: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/29.jpg)
C. All fish live in water and all bass are fish. Therefore, all bass live in water.
A. All fish taste good and all bass are fish. Therefore, all bass taste good.
B. Every Girl Scout is a girl. Susan is a Girl Scout. Therefore, Susan is a girl.
5.3 Invalid Arguments 3. All of the following arguments have true
conclusions, but one is not valid. Select the argument that is not valid.
D. All flies are dirty and insects are dirty. Therefore, all flies are insects.
![Page 30: LOGIC AND SETS](https://reader035.vdocument.in/reader035/viewer/2022062302/56816842550346895dde15bd/html5/thumbnails/30.jpg)
REMEMBER
MATH IS FUN AND … YOU CAN DO IT