1) The set of the days of the week A) {Saturday, Sunday} B) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday}

Size: px
Start display at page:

Download "1) The set of the days of the week A) {Saturday, Sunday} B) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday}"

Transcription

1 Review for Exam 1 Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. List the elements in the set. 1) The set of the days of the week 1) A) {Saturday, Sunday} B) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday} C) {Friday, Monday, Saturday, Sunday, Thursday, Tuesday, Wednesday} D) {Tuesday, Thursday} Write a word description of the set. 2) {January, February, March, April, May, June, July, August, September, October, November, 2) December} A) months of the year B) seasons of the year C) days of the year D) days of the week Determine if the set is the empty set. 3) {0, } 3) A) Yes, it is the empty set. B) No, it is not the empty set. 4) 4) {x x < 6 and x > 10} A) Yes, it is the empty set. B) No, it is not the empty set. Determine whether the statement is true or false. 5) 7 {1, 2, 3,..., 40} 5) A) True B) False Fill in the blank with either or to make the statement true. 6) Manitoba the set of states in the United States 6) A) B) Express the set using the roster method. 7) the set of odd natural numbers less than 21 7) A) {0, 1, 3, 5,..., 19} B) {1, 3, 5,..., 19} C) {1, 3, 5,..., 21} D) {2, 4, 6,..., 20} 8) 8) {x x N and x is greater than 13} A) {14,16,18,...} B) {13,14,15,...} C) {14,15,16} D) {14,15,16,...} Make sure you know what symbolic forms are.

2 Find the cardinal number for the set. 9) {x x is a day of the week that begins with the letter N} 9) A) 2 B) 3 C) 1 D) 0 Are the sets equivalent? 10) A is the set of residents age 68 or older living in the United States 10) B is the set of residents age 68 or older registered to vote in the United States A) Yes B) No 11) 11) A = {7, 8, 9, 10, 11} B = {6, 7, 8, 9, 10} A) Yes B) No Determine whether the set is finite or infinite. 12) {x x N and x 1000} 12) A) Finite B) Infinite 13) 13) {x x N and x 100} A) Finite B) Infinite 14) 14) The set of natural numbers less than 1 A) Finite B) Infinite Are the sets equal? 15) {28, 30, 32, 34, 36} = {30, 32, 34, 36} 15) A) Yes B) No Determine whether the statement is true or false. 16) Ted {Bob, Carol, Ted, Alice} 16) A) True B) False 17) 17) {Carol} {Bob, Carol, Ted, Alice} A) True B) False Use,,, or both and to make a true statement. 18) {a, b} {z, a, y, b, x, c} 18) A) B) C) D) and Determine whether the statement is true or false. 19) {France, Germany, Switzerland} 19) A) True B) False 2

3 List all the subsets of the given set. 20) {Siamese, domestic shorthair} 20) A) {Siamese}, {domestic shorthair}, { } B) {Siamese, domestic shorthair}, {Siamese}, {domestic shorthair}, { } C) {Siamese, domestic shorthair}, {Siamese}, {domestic shorthair}, D) {Siamese, domestic shorthair}, {domestic shorthair}, { } Write or in the blank so that the resulting statement is true. 21) {red, blue, green} {blue, green, yellow, black} 21) A) B) Calculate the number of subsets and the number of proper subsets for the set. 22) the set of natural numbers less than 10 22) A) 511; 510 B) 510; 511 C) 512; 511 D) 511; 512 Consider below the branching tree diagram based on the number per 3000 American adults. Let T = the set of Americans who like classical music R = the set of Republicans who like classical music D = the set of Democrats who like classical music I = the set of Independents who like classical music Determine whether the statement is true or false. 23) 23) Let M = the set of Republican men who like classical music W = the set of Republican women who like classical music If x R, then x M. A) True B) False 3

4 Use the Venn diagram to list the elements of the set in roster form. 24) The set of students who studied Saturday 24) A) {Karen, Charly} B) {Karen, Charly, Sam, Sophia} C) {Sam, Sophia} D) {Karen, Charly, Vijay} Let U = {1, 2, 4, 5, a, b, c, d, e}. Use the roster method to write the complement of the set. 25) Q = {2, 4, b, d} 25) A) {1, 3, 5, a, c, e} B) {1, 5, a, c, e} C) {1, 5, a, e} D) {1, 2, 4, 5, a, b, c, d, e} Let U = {q, r, s, t, u, v, w, x, y, z} A = {q, s, u, w, y} B = {q, s, y, z} C = {v, w, x, y, z}. List the elements in the set. 26) (A C)' 26) A) {w, y} B) {q, r, s, t, u, v, x, z} C) {q, r, s, t, u, v, w, x, y, z} D) {q, s, y, z} 27) 27) C A) {q, s, y, z} B) {v, w, x, y, z} C) { } D) {q, s, u, w, y} Use the Venn diagram to list the elements of the set in roster form. 28) 28) (A B)' A) {13, 17} B) {18, 19} C) {11, 12, 14, 15, 16} D) {11, 12, 13, 14, 15, 16, 17} 4

5 Use sets to solve the problem. 29) Results of a survey of fifty students indicate that 30 like red jelly beans, 29 like green jelly beans, 29) and 17 like both red and green jelly beans. How many of the students surveyed like red or green jelly beans? A) 25 B) 13 C) 42 D) 17 Let U = {q, r, s, t, u, v, w, x, y, z} A = {q, s, u, w, y} B = {q, s, y, z} C = {v, w, x, y, z}. List the elements in the set. 30) A' B 30) A) {s, u, w} B) {q, s, t, u, v, w, x, y} C) {r, s, t, u, v, w, x, z} D) {q, r, s, t, v, x, y, z} 31) 31) (A B) (A C) A) {q, s, u, w, y, z} B) {r, t, v, x} C) {q, s, u, w, y} D) {q, s, w, y} 32) 32) (A' B) (A' C') A) {q, s, u, v, x, y} B) {r, s, t, y, z} C) {q, r, t, y, z} D) {r, t, z} 33) (A B C)' 33) A) B) {r, t, v, x} C) {q, r, s, t, u, v, w, x, z} D) {q, s, u, w, z} Use the Venn diagram shown to answer the question. 34) 34) Which regions represent set E'? A) II, III, V, VI B) I, IV, VII, VIII C) II, V, VI D) VIII 5

6 Determine whether the sentence is a statement. 35) Does she always act like that when she's unhappy? 35) A) not a statement B) statement Form the negation of the statement. 36) Copenhagen is not the capital of Brazil. 36) A) It is not true that Copenhagen is not the capital of Brazil. B) It is not true that Brazil is not the capital of Copenhagen. C) It is true that Brazil is not the capital of Copenhagen. D) It is true that Copenhagen is not the capital of Brazil. Let p, q, r, and s represent the following statements: p: One plays hard. q: One is a guitar player. r: The commute to work is not long. s: It is not true that the car is working. Express the following statement symbolically. 37) 37) The car is working. A) ~s B) s C) ~r D) r Express the symbolic statement ~p in words. 38) p: Lake Champlain is one of the Great Lakes. 38) A) It is true that Lake Champlain is one of the Great Lakes. B) Lake Champlain is not one of the Great Lakes. C) Lake Champlain is truly one of the Great Lakes. D) It is not true that Lake Champlain is not one of the Great Lakes Express the quantified statement in an equivalent way, that is, in a way that has exactly the same meaning. 39) Some mammals are cats. 39) A) At least one mammal is a cat. B) There exists at least one cat that is a mammal. C) No mammals are cats. D) All cats are mammals. 40) Some drinks are not liquids. 40) A) All drinks are liquids. B) Some liquids are not drinks. C) All drinks are not liquids. D) Not all drinks are liquids. Write the negation of the quantified statement. (The negation should begin with "all," "some," or "no.") 41) Some drinks are not liquids. 41) A) All drinks are liquids. B) All liquids are drinks. C) All drinks are not liquids. D) No drinks are liquids. 6

7 Construct a truth table for the statement. 42) (r q) (~r ~q) 42) A) r q (r q) (~r ~q) B) r q (r q) (~r ~q) T F F F T F C) r q (r q) (~r ~q) T T T T F T F T T F F F T T F T F F F T T F F T D) r q (r q) (~r ~q) T T T T F F F T F F F T 43) 43) ~(r t) ~(t r) A) r t ~(r t) ~(t r) T T F T F F F T F F F F C) r t ~(r t) ~(t r) T T F T F F F T F F F T B) r t ~(r t) ~(t r) T T F T F T F T T F F F D) r t ~(r t) ~(t r) T T F T F F F T T F F F 44) (p q) (p q) 44) A) B) p q p q p q (p q) (p q) T T T T T T F T F F F T T F F F F F F T p q p q p q (p q) (p q) T T T T T T F F T T F T F T T F F F F T C) p q p q p q (p q) (p q) T T T T T T F F T T F T F T T F F T F F D) p q p q p q (p q) (p q) T T T T T T F F T T F T F T T F F F F F 7

8 45) 45) (q ~r) (q ~r) A) q r (q ~r) (q ~r) T T T T F T F T F F F T C) q r (q ~r) (q ~r) T T F T F F F F F F T T B) q r (q ~r) (q ~r) T T F T F T F T T F F T D) q r (q ~r) (q ~r) T T T T F T F T F F F F Construct a truth table for the given statement and then determine if the statement is a tautology. 46) [ (p ~ q) q ] p 46) A) p q ~ q p ~ q (p ~ q) q [ (p ~ q) q ] p T T F F F T T F T T T T Is not a tautology. F T F F T F F F T T T F B) C) D) p q ~ q p ~ q (p ~ q) q [ (p ~ q) q ] p T T F F T T T F T T T T F T F T T F F F T T T F p q ~ q p ~ q (p ~ q) q [ (p ~ q) q ] p T T F F T T T F T T T T F T F T T F F F T T T F p q ~ q p ~ q (p ~ q) q [ (p ~ q) q ] p T T F F T T T F T T T T F T F T T T F F T T T T Is a tautology. Is not a tautology. Is a tautology. 8

9 47) [ (p ~ q) ~ p ] ~ q 47) A) B) C) D) p q ~ q p ~ q ~ p (p ~ q) ~ p [ (p ~ q) ~ p ] ~ q T T F F F F T T F T T F F T Is a tautology. F T F F T F T F F T F T F T p q ~ q p ~ q ~ p (p ~ q) ~ p [ (p ~ q) ~ p ] ~ q T T F F F F T T F T T F F T Is not a tautology. F T F F T F T F F T F T F T p q ~ q p ~ q ~ p (p ~ q) ~ p [ (p ~ q) ~ p ] ~ q T T F F F F T T F T T F F F Is not a tautology. F T F F T F T F F T F T F F p q ~ q p ~ q ~ p (p ~ q) ~ p [ (p ~ q) ~ p ] ~ q T T F F F F F T F T T F F F Is not a tautology. F T F F T F F F F T F T F F 9

10 48) 48) ( ~ p q) (~ p q) A) p q ~ p ~ p q ~ p q ( ~ p q) (~ p q) B) C) D) T T F F T T T F F F F F F T T T T T F F T F T T Is not a tautology. p q ~ p ~ p q ~ p q ( ~ p q) (~ p q) T T F F F F T F F F F F Is not a tautology. F T T T T T F F T F F F p q ~ p ~ p q ~ p q ( ~ p q) (~ p q) T T F F T F T F F F F F Is not a tautology. F T T T T T F F T F T F p q ~ p ~ p q ~ p q ( ~ p q) (~ p q) T T F F T T T F F F F T Is a tautology. F T T T T T F F T F T T 10

11 Use a truth table to show that p q and ~ p q are equivalent. Then use the result to write a statement that is equivalent to the statement shown. 49) If the garden is not watered every day, the flowers wilt. 49) A) p q p q ~ p ~ p q T T T F T T F F F F F T T T T F F T T T B) C) D) The flowers do not wilt if and only if the garden is not watered every day. p q p q ~ p ~ p q T T T F T T F F F F F T T T T F F T T T Either the garden is not watered every day, or the flowers don't wilt. p q p q ~ p ~ p q T T T F T T F F F F F T T T T F F T T T Either the garden is watered every day, or the flowers wilt. p q p q ~ p ~ p q T T T F T T F F F F F T T T T F F T T T The flowers wilt if the garden is not watered every day. Write the negation of the conditional statement. 50) If she can't water the lawn, I will. 50) A) She can't water the lawn, I can't. B) She can water the lawn, and I can't. C) If she can water the lawn, I can't. D) She can't water the lawn, and I won't. 11

12 Use the De Morgan law that states: ~(p q) is equivalent to ~ p ~ q to write an equivalent English statement for the statement. 51) 51) It is not true that condors and rabbits are both birds. A) condors are birds or rabbits are birds. B) Neither condors nor rabbits are birds. C) rabbits are not birds, but condors are. D) condors are not birds or rabbits are not birds. Use a truth table to determine whether the symbolic form of the argument is valid or invalid. 52) (p q) (q p) 52) q p q A) B) C) D) p q p q q p [ (p q) (q p) ] p q [ [(p q) (q p) ] q ] (p q) T T T T T F T T F F T F F T F T T F F F T F F T T T T F Argument is invalid. p q p q q p [ (p q) (q p) ] p q [ [( p q) (q p) ] q ] (p q) T T T T T T T T F F T F T T F T T F F T T F F T T T F T Argument is valid. p q p q q p [ (p q) (q p) ] p q [ [( p q) (q p) ] q ] (p q) T T T T T T T T F F T F F T F T T F F F T F F T T T F F Argument is invalid. p q p q q p [ (p q) (q p) ] p q [ [(p q) (q p) ] q ] (p q) T T T T T T T T F F T F T T F T T F F T T F F T T T F F Argument is valid. 12

13 53) 53) q p p r r q A) B) C) p q r q p p r (q p) (p r) r q [(q p) (p r)] (r q) T T T T T T T T T T F T F F T F T F T T T T F F T F F T F F T F F T T F T F T F F T F F T F T F F F T T T T F F F F F T T T T T Symbolic argument is invalid. p q r q p p r (q p) (p r) r q [(q p) (p r)] (r q) T T T T T T T T T T F T F F T T T F T T T T F F T F F T F F T T F T T F T F T T F T F F T F T T F F T T T T F F F F F T T T T T Symbolic argument is invalid. p q r q p p r (q p) (p r) r q [(q p) (p r)] (r q) T T T T T T T T T T F T F F T T T F T T T F T T T F F T F F T T F T T F T F T T F T F F T F T T F F T T T F T T F F F T T T T T Symbolic argument is valid. 13

14 D) p q r q p p r (q p) (p r) r q [(q p) (p r)] (r q) T T T T T T T T T T F T F F T T T F T T T F T T T F F T F F T T F T T F T F T T F T F F T F T T F F T T T F T T F F F T T F T T Symbolic argument is valid. 54) 54) ~ p q q r p r A) B) p q r ~ p ~ p q q r (~ p q) (q r) p r [(~ p q) (q r)] (p r) T T T F F T F T T T T F F F F F F T T F T F F F F T T T F F F F T F F T F T T T T T T F F F T F T T F F F T F F T T F F F F T F F F T F T F F T Symbolic argument is invalid. p q r ~ p ~ p q q r (~ p q) (q r) p r [(~ p q) (q r)] (p r) T T T F F T F T F T T F F F F F F F T F T F F F F T F T F F F F T F F F F T T T T T T F F F T F T T F F F F F F T T F F F F F F F F T F T F F F Symbolic argument is invalid. 14

15 C) D) p q r ~ p ~ p q q r (~ p q) (q r) p r [(~ p q) (q r)] (p r) T T T F F T F T T T T F F F F F F T T F T F F F F T T T F F F F T F F T F T T T T T T T T F T F T T F F F T F F T T F F F F T F F F T F T F T T Symbolic argument is valid. p q r ~ p ~ p q q r (~ p q) (q r) p r [(~ p q) (q r)] (p r) T T T F F T F T T T T F F F F F F T T F T F F F F T T T F F F F T F F T F T T T T T T T T F T F T T F F F T F F T T F F F F T F F F T F T F F T Symbolic argument is valid. SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Translate the argument into symbolic form. Then use a truth table to determine whether the argument is valid or invalid. (Ignore differences in past, present, and future tense.) 55) 55) If Emilio and Rodrigo both cook, then the meal is tasty. Emilio cooked and the meal was not tasty. Rodrigo did not cook. 15

16 MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Construct a truth table for the statement. 56) ~(p q) ~(p q) 56) A) p q ~(p q) ~(p q) B) p q ~(p q) ~(p q) T T F T F F F T F F F T C) p q ~(p q) ~(p q) T T T T F F F T F F F T T T T T F T F T T F F T D) p q ~(p q) ~(p q) T T F T F T F T T F F T Write the compound statement in symbolic form. Let letters assigned to the simple statements represent English sentences that are not negated. Use the dominance of connectives to show grouping symbols (parentheses) in symbolic statements. 57) If I do not like the song and I change the station then the DJ is not entertaining or I look for a CD to 57) play. A) (p ~r) (q ~s) B) [~p (r ~q)] s C) (~p r) (~q s) D) ~p [(r ~q) s] Let p, q, and r represent the following simple statements: p: There is a blizzard outside. q: We do not have to go to school. r: We go sledding. First place parenthesis as needed before and after the most dominant connective and then translate the symbolic statement into English. 58) 58) ~r ~p ~q A) If we go sledding, then there is a blizzard outside or we do not have to go to school. B) If we go sledding then there is a blizzard outside, and we do not have to go to school. C) If we do not go sledding then there is not a blizzard outside, or we have to go to school. D) If we do not go sledding, then there is not a blizzard outside or we have to go to school. Given that p and q each represents a simple statement, write the indicated symbolic statement in words. 59) p: The car has been repaired. 59) q: The kids are home. r: We will visit Aunt Tillie. ~ r (~ p ~ q) A) We will not visit Aunt Tillie if and only if the car has not been repaired or the kids are not home. B) If we will not visit Aunt Tillie, then the car has not been repaired or the kids are not home. C) If we visit Aunt Tillie, then the car has been repaired or the kids are home. D) If we will not visit Aunt Tillie, then the car has not been repaired and the kids are not home. 16

17 60) 60) p: Emilio dislikes Laura q: Laura dislikes Emilio ~ (p q) A) Emilio does not dislike Laura, but Laura dislikes Emilio. B) Emilio dislikes Laura and Laura dislikes Emilio. C) Emilio dislikes Laura but Laura does not dislike Emilio. D) It is not true that Emilio dislikes Laura and Laura dislikes Emilio. Given that p and q each represents a simple statement, write the indicated compound statement in its symbolic form. 61) p: The outside humidity is high. 61) q: The basement dehumidifier is running. r: The basement is getting moldy. If the outside humidity is high, then the basement dehumidifier is running or the basement is not getting moldy. A) p (q ~ r) B) p (q r) C) p (q ~ r) D) p (q ~ r) 62) 62) p: The outside humidity is high. q: The basement dehumidifier is running. r: The basement is getting moldy. The outside humidity is high and the basement dehumidifier is running, or the basement is getting moldy. A) p q r B) (p q) ~ r C) p (q r) D) (p q) r 63) 63) p: He works out. q: He builds up his strength. He works out or he does not build up his strength. A) p ~ q B) p ~ q C) p ~ q D) p q Express the symbolic statement ~p in words. 64) p: No fifth graders play soccer. 64) A) All fifth graders play soccer. B) No fifth grader does not play soccer. C) At least one fifth grader plays soccer. D) Not all fifth graders play soccer. SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Translate the argument into symbolic form. Then use a truth table to determine whether the argument is valid or invalid. (Ignore differences in past, present, and future tense.) 65) 65) If it is July or August, then I am living at the beach I am not living at the beach. It is neither July nor August. 17

18 Answer Key Testname: 1332 REVIEW FOR EXAM 1 1) C 2) A 3) B 4) A 5) B 6) B 7) B 8) D 9) D 10) B 11) A 12) B 13) A 14) A 15) B 16) B 17) A 18) D 19) A 20) B 21) B 22) C 23) B 24) B 25) B 26) B 27) B 28) B 29) C 30) D 31) A 32) D 33) C 34) B 35) A 36) A 37) A 38) B 39) A 40) D 41) A 42) D 18

19 Answer Key Testname: 1332 REVIEW FOR EXAM 1 43) C 44) B 45) D 46) C 47) A 48) C 49) C 50) D 51) D 52) B 53) B 54) A 55) p: Emilio cooks. q: Rodrigo cooks. r: The meal is tasty. 56) C 57) C 58) D 59) B 60) D 61) A 62) D 63) A 64) C (p q) r p ~ r ~ q p q r p q (p q) r ~r p ~r [(p q) r] (p ~r) ~ q {[(p q) r ] (p ~r)} ~q T T T T T F F F F T T T F T F T T F F T T F T F T F F F T T T F F F T T T T T T F T T F T F F F F T F T F F T T F F F T F F T F T F F F T T F F F F T T F F T T Argument is valid. 19

20 Answer Key Testname: 1332 REVIEW FOR EXAM 1 65) p: It is July. q: It is August. r: I am living at the beach. (p q) r ~ r ~ p ~ q p q r p q (p q) r ~r [(p q) r ] ~ r ~ p ~ q ~ p ~ q { [(p q) r ] ~ r } ( ~ p ~ q ) T T T T T F F F F F T T T F T F T F F F F T T F T T T F F F T F T T F F T F T F F T F T F T T T T F F T F F T F T F T F T F T F F T F F T F T F F T T T T F F F F T T T T T T T Argument is valid. 20

1) A = {19, 20, 21, 22, 23} B = {18, 19, 20, 21, 22} 2) 2) 3) 3) A) {q, r, t, y, z} B) {r, s, t, y, z} C) {r, t, z} D) {q, s, u, v, x, y} 4) 4) 6) 6)

1) A = {19, 20, 21, 22, 23} B = {18, 19, 20, 21, 22} 2) 2) 3) 3) A) {q, r, t, y, z} B) {r, s, t, y, z} C) {r, t, z} D) {q, s, u, v, x, y} 4) 4) 6) 6) Exam 1B Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Are the sets equivalent? 1) A = {19, 20, 21, 22, 23} 1) B = {18, 19, 20, 21, 22} A) Yes

More information

Review Test 1. MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

Review Test 1. MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Review Test 1 MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Determine whether the statement is true or false. 1) 4 {1, 2, 3,..., 15} A) True B)

More information

A spinner has a pointer which can land on one of three regions labelled 1, 2, and 3 respectively.

A spinner has a pointer which can land on one of three regions labelled 1, 2, and 3 respectively. Math For Liberal Arts Spring 2011 Final Exam. Practice Version Name A spinner has a pointer which can land on one of three regions labelled 1, 2, and 3 respectively. 1) Compute the expected value for the

More information

Review #1. 4) the set of odd natural numbers less than 19 A) {1, 3, 5,..., 17} B) {0, 1, 3, 5,..., 17} C) {2, 4, 6,..., 18} D) {1, 3, 5,...

Review #1. 4) the set of odd natural numbers less than 19 A) {1, 3, 5,..., 17} B) {0, 1, 3, 5,..., 17} C) {2, 4, 6,..., 18} D) {1, 3, 5,... Prestatistics Review #1 List the elements in the set. 1) The set of the days of the week A) {Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Sunday} B) {Tuesday, Thursday} C) {Friday, Monday, Saturday,

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Exam Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Write a word description of the set. 1) {January, February, March, April, May, June, July,

More information

Chapter 1 0+7= 1+6= 2+5= 3+4= 4+3= 5+2= 6+1= 7+0= How would you write five plus two equals seven?

Chapter 1 0+7= 1+6= 2+5= 3+4= 4+3= 5+2= 6+1= 7+0= How would you write five plus two equals seven? Chapter 1 0+7= 1+6= 2+5= 3+4= 4+3= 5+2= 6+1= 7+0= If 3 cats plus 4 cats is 7 cats, what does 4 olives plus 3 olives equal? olives How would you write five plus two equals seven? Chapter 2 Tom has 4 apples

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Worksheet 10. (Sec 3.6-3.7) Please indicate the most suitable answer on blank near the right margin. Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

More information

MATH 1310 (College Mathematics for Liberal Arts) - Final Exam Review (Revised: Fall 2016)

MATH 1310 (College Mathematics for Liberal Arts) - Final Exam Review (Revised: Fall 2016) MATH 30 (College Mathematics for Liberal Arts) - Final Exam Review (Revised: Fall 206) This Review is comprehensive but should not be the only material used to study for the Final Exam. It should not be

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Final Review MGF 06 MDC Kendall MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Find the measure of the complement of the angle. ) Find the complement

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. MGF 1106 Math for Liberal Arts I Summer 2008 - Practice Final Exam Dr. Schnackenberg If you do not agree with the given answers, answer "E" for "None of the above". MULTIPLE CHOICE. Choose the one alternative

More information

DAILY QUESTIONS 28 TH JUNE 18 REASONING - CALENDAR

DAILY QUESTIONS 28 TH JUNE 18 REASONING - CALENDAR DAILY QUESTIONS 28 TH JUNE 18 REASONING - CALENDAR LEAP AND NON-LEAP YEAR *A non-leap year has 365 days whereas a leap year has 366 days. (as February has 29 days). *Every year which is divisible by 4

More information

Fill in the blank with either or to make the statement true. A) B)

Fill in the blank with either or to make the statement true. A) B) Edison College MGF 1106 Summer 2008 Practice Midterm Exam Dr. Schnackenberg If you do not agree with the given answers, choose "E" for "None of the above". MULTIPLE CHOICE. Choose the one alternative that

More information

PSU MATH RELAYS LOGIC & SET THEORY 2017

PSU MATH RELAYS LOGIC & SET THEORY 2017 PSU MATH RELAYS LOGIC & SET THEORY 2017 MULTIPLE CHOICE. There are 40 questions. Select the letter of the most appropriate answer and SHADE in the corresponding region of the answer sheet. If the correct

More information

MATH FOR LIBERAL ARTS FINAL REVIEW

MATH FOR LIBERAL ARTS FINAL REVIEW MATH FOR LIBERAL ARTS FINAL REVIEW Find the value of the annuity. Round to the nearest cent. A = P 1 + r n r n nt - 1 P = A r n 1 + r n nt - 1 1) Periodic Deposit: $100 at the end of each year Rate: 5%

More information

Predicates and Quantifiers

Predicates and Quantifiers Predicates and Quantifiers Lecture 9 Section 3.1 Robb T. Koether Hampden-Sydney College Wed, Jan 29, 2014 Robb T. Koether (Hampden-Sydney College) Predicates and Quantifiers Wed, Jan 29, 2014 1 / 32 1

More information

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question.

SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Math 1332 Exam Review Name SHORT ANSWER. Write the word or phrase that best completes each statement or answers the question. Find the cardinal number for the set. 1) {8, 10, 12,..., 66} 1) Are the sets

More information

Mathematics Practice Test 2

Mathematics Practice Test 2 Mathematics Practice Test 2 Complete 50 question practice test The questions in the Mathematics section require you to solve mathematical problems. Most of the questions are presented as word problems.

More information

Section L.1- Introduction to Logic

Section L.1- Introduction to Logic Section L.1- Introduction to Logic Definition: A statement, or proposition, is a declarative sentence that can be classified as either true or false, but not both. Example 1: Which of the following are

More information

Discrete Mathematics Exam File Spring Exam #1

Discrete Mathematics Exam File Spring Exam #1 Discrete Mathematics Exam File Spring 2008 Exam #1 1.) Consider the sequence a n = 2n + 3. a.) Write out the first five terms of the sequence. b.) Determine a recursive formula for the sequence. 2.) Consider

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Fall 2017 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring c Dr Oksana Shatalov, Spring 2015 1 2. Sets 2.1&2.2: Sets and Subsets. Combining Sets. Set Terminology and Notation DEFINITIONS: Set is well-defined collection of objects. Elements are objects or members

More information

Propositional Calculus. Problems. Propositional Calculus 3&4. 1&2 Propositional Calculus. Johnson will leave the cabinet, and we ll lose the election.

Propositional Calculus. Problems. Propositional Calculus 3&4. 1&2 Propositional Calculus. Johnson will leave the cabinet, and we ll lose the election. 1&2 Propositional Calculus Propositional Calculus Problems Jim Woodcock University of York October 2008 1. Let p be it s cold and let q be it s raining. Give a simple verbal sentence which describes each

More information

Exploring Nature With Children A Guided Journal Cursive Edition by Lynn Seddon

Exploring Nature With Children A Guided Journal Cursive Edition by Lynn Seddon Exploring Nature With Children A Guided Journal Cursive Edition by Lynn Seddon Table of Contents Cursive Edition Getting started: notes for parents on how to use this journal 6 Autumn 8 September Seeds

More information

LOGIC. Name: Teacher: Pd: Page 1

LOGIC. Name: Teacher: Pd: Page 1 LOGIC Name: Teacher: Pd: Page 1 Table of Contents Day 1 Introduction to Logic HW pages 8-10 Day 2 - Conjunction, Disjunction, Conditionals, and Biconditionals HW pages 16-17 #13-34 all, #35 65(every other

More information

Introduction to Sets and Logic (MATH 1190)

Introduction to Sets and Logic (MATH 1190) Introduction to Sets Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics Statistics York University Sept 18, 2014 Outline 1 2 Tautologies Definition A tautology is a compound proposition

More information

2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic?

2/13/2012. Logic: Truth Tables. CS160 Rosen Chapter 1. Logic? Logic: Truth Tables CS160 Rosen Chapter 1 Logic? 1 What is logic? Logic is a truth-preserving system of inference Truth-preserving: If the initial statements are true, the inferred statements will be true

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Exam Name MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Express the set using the roster method. 1) {x x N and x is greater than 7} 1) A) {8,9,10,...}

More information

CSCI Homework Set 1 Due: September 11, 2018 at the beginning of class

CSCI Homework Set 1 Due: September 11, 2018 at the beginning of class CSCI 3310 - Homework Set 1 Due: September 11, 2018 at the beginning of class ANSWERS Please write your name and student ID number clearly at the top of your homework. If you have multiple pages, please

More information

1.1 Language and Logic

1.1 Language and Logic c Oksana Shatalov, Spring 2018 1 1.1 Language and Logic Mathematical Statements DEFINITION 1. A proposition is any declarative sentence (i.e. it has both a subject and a verb) that is either true or false,

More information

Write the negation of each of the following propositions without using any form of the word not :

Write the negation of each of the following propositions without using any form of the word not : Write the negation of each of the following propositions without using any form of the word not : Today is Thursday Today is Monday or Tuesday or Wednesday or Friday or Saturday or Sunday 2 + 1 = 3 2+1

More information

My Calendar Notebook

My Calendar Notebook My Calendar Notebook 100 Days of School! Today s number + what number equals 100? + =100 Today is: Sunday Monday Tuesday Wednesday Thursday Friday Saturday The date is: The number before... The number

More information

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question.

MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. MTH 164 Practice Exam 2 Spring 2008 Dr. Garcia-Puente Name Section MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Decide whether or not the following

More information

1) A) 1 B) 2 C) 3 D) 2 3

1) A) 1 B) 2 C) 3 D) 2 3 MATH 100 -- EXAM 1 Millersville University, Fall 2007 Ron Umble, Instr. Name INSTRUCTIONS: Turn off and stow all cell phones and pagers. Calculators may be used, but cell phone may not be used as calculators.

More information

Introduction to Decision Sciences Lecture 2

Introduction to Decision Sciences Lecture 2 Introduction to Decision Sciences Lecture 2 Andrew Nobel August 24, 2017 Compound Proposition A compound proposition is a combination of propositions using the basic operations. For example (p q) ( p)

More information

Her birthday is May 4 th. He is not from Korea. You are not in Level 4.

Her birthday is May 4 th. He is not from Korea. You are not in Level 4. August is the eighth month of the year. Her birthday is May 4 th. He is not from Korea. You are not in Level 4. She is from India. What s her name? April is the fourth month of the year. They are not from

More information

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook)

Lecture 2. Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits. Reading (Epp s textbook) Lecture 2 Logic Compound Statements Conditional Statements Valid & Invalid Arguments Digital Logic Circuits Reading (Epp s textbook) 2.1-2.4 1 Logic Logic is a system based on statements. A statement (or

More information

Exploring Nature With Children A Guided Journal Families Print Edition by Lynn Seddon

Exploring Nature With Children A Guided Journal Families Print Edition by Lynn Seddon Exploring Nature With Children A Guided Journal Families Print Edition by Lynn Seddon If a child is to keep alive his inborn sense of wonder without any such gift from the fairies, he needs the companionship

More information

CCHS Math Unit Exam (Ch 1,2,3) Name: Math for Luiberal Arts (200 Points) 9/23/2014

CCHS Math Unit Exam (Ch 1,2,3) Name: Math for Luiberal Arts (200 Points) 9/23/2014 CCHS Math Unit Exam (Ch 1,2,3) Name: Math for Luiberal Arts (200 Points) 9/23/2014 MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Let U = {q, r,

More information

4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall

4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall c Oksana Shatalov, Fall 2017 1 4. Sets 4.1. The language of sets Set Terminology and Notation Set is a well-defined collection of objects. Elements are objects or members of the set. Describing a Set Roster

More information

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics CSC 224/226 Notes Packet #2: Set Theory & Predicate Calculus Barnes Packet #2: Set Theory & Predicate Calculus Applied Discrete Mathematics Table of Contents Full Adder Information Page 1 Predicate Calculus

More information

2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.

2/18/14. What is logic? Proposi0onal Logic. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1. Logic? Propositional Logic, Truth Tables, and Predicate Logic (Rosen, Sections 1.1, 1.2, 1.3) TOPICS Propositional Logic Logical Operations Equivalences Predicate Logic CS160 - Spring Semester 2014 2 What

More information

The things in the set are called either members or elements. All the members of a set are members of a universal set (or for short: the Universe)

The things in the set are called either members or elements. All the members of a set are members of a universal set (or for short: the Universe) 9/4 Monday, September 1, 2014 5:45 PM Quiz what was the last sentence I Tweeted to #shermat101 A set is a collection of things The things in the set are called either members or elements All the members

More information

Logical Form 5 Famous Valid Forms. Today s Lecture 1/26/10

Logical Form 5 Famous Valid Forms. Today s Lecture 1/26/10 Logical Form 5 Famous Valid Forms Today s Lecture 1/26/10 Announcements Homework: --Read Chapter 7 pp. 277-298 (doing the problems in parts A, B, and C pp. 298-300 are recommended but not required at this

More information

Conditional Statements

Conditional Statements 2.1 TEXAS ESSENTIAL KNOWLEDGE AND SKILLS G.4.B Conditional Statements Essential Question When is a conditional statement true or false? A conditional statement, symbolized by p q, can be written as an

More information

one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen zero oneteen twoteen fiveteen tenteen

one two three four five six seven eight nine ten eleven twelve thirteen fourteen fifteen zero oneteen twoteen fiveteen tenteen Stacking races game Numbers, ordinal numbers, dates, days of the week, months, times Instructions for teachers Cut up one pack of cards. Divide the class into teams of two to four students and give them

More information

Discrete Basic Structure: Sets

Discrete Basic Structure: Sets KS091201 MATEMATIKA DISKRIT (DISCRETE MATHEMATICS ) Discrete Basic Structure: Sets Discrete Math Team 2 -- KS091201 MD W-07 Outline What is a set? Set properties Specifying a set Often used sets The universal

More information

Recall that the expression x > 3 is not a proposition. Why?

Recall that the expression x > 3 is not a proposition. Why? Predicates and Quantifiers Predicates and Quantifiers 1 Recall that the expression x > 3 is not a proposition. Why? Notation: We will use the propositional function notation to denote the expression "

More information

Logic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007

Logic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007 COT3100: Propositional Equivalences 1 Logic and Proofs Jan 2007 COT3100: Propositional Equivalences 2 1 Translating from Natural Languages EXAMPLE. Translate the following sentence into a logical expression:

More information

Algebra 1 Fall Semester Final Review Name

Algebra 1 Fall Semester Final Review Name It is very important that you review for the Algebra Final. Here are a few pieces of information you want to know. Your Final is worth 20% of your overall grade The final covers concepts from the entire

More information

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference

More information

MAT 101 Exam 2 Logic (Part I) Fall Circle the correct answer on the following multiple-choice questions.

MAT 101 Exam 2 Logic (Part I) Fall Circle the correct answer on the following multiple-choice questions. Name: MA 101 Exam 2 Logic (Part I) all 2017 Multiple-Choice Questions [5 pts each] Circle the correct answer on the following multiple-choice questions. 1. Which of the following is not a statement? a)

More information

JANUARY MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY SATURDAY SUNDAY

JANUARY MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY SATURDAY SUNDAY Vocabulary (01) The Calendar (012) In context: Look at the calendar. Then, answer the questions. JANUARY MONDAY TUESDAY WEDNESDAY THURSDAY FRIDAY SATURDAY SUNDAY 1 New 2 3 4 5 6 Year s Day 7 8 9 10 11

More information

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives

Example. Logic. Logical Statements. Outline of logic topics. Logical Connectives. Logical Connectives Logic Logic is study of abstract reasoning, specifically, concerned with whether reasoning is correct. Logic focuses on relationship among statements as opposed to the content of any particular statement.

More information

MATH 114 Fall 2004 Solutions to practice problems for Final Exam

MATH 114 Fall 2004 Solutions to practice problems for Final Exam MATH 11 Fall 00 Solutions to practice problems for Final Exam Reminder: the final exam is on Monday, December 13 from 11am - 1am. Office hours: Thursday, December 9 from 1-5pm; Friday, December 10 from

More information

practice: logic [159 marks]

practice: logic [159 marks] practice: logic [159 marks] Consider two propositions p and q. Complete the truth table below. 1a. [4 marks] (A1)(A1)(ft)(A1)(A1)(ft) (C4) Note: Award (A1) for each correct column (second column (ft) from

More information

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS 1.1 - Logical Form and Logical Equivalence Definition. A statement or proposition is a sentence that is either true or false, but not both. ex. 1 + 2 = 3 IS a statement

More information

Announcements CompSci 102 Discrete Math for Computer Science

Announcements CompSci 102 Discrete Math for Computer Science Announcements CompSci 102 Discrete Math for Computer Science Read for next time Chap. 1.4-1.6 Recitation 1 is tomorrow Homework will be posted by Friday January 19, 2012 Today more logic Prof. Rodger Most

More information

10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference

10/5/2012. Logic? What is logic? Propositional Logic. Propositional Logic (Rosen, Chapter ) Logic is a truth-preserving system of inference Logic? Propositional Logic (Rosen, Chapter 1.1 1.3) TOPICS Propositional Logic Truth Tables Implication Logical Proofs 10/1/12 CS160 Fall Semester 2012 2 What is logic? Logic is a truth-preserving system

More information

2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true.

2. Find all combinations of truth values for p, q and r for which the statement p (q (p r)) is true. 1 Logic Questions 1. Suppose that the statement p q is false. Find all combinations of truth values of r and s for which ( q r) ( p s) is true. 2. Find all combinations of truth values for p, q and r for

More information

Intro to Logic and Proofs

Intro to Logic and Proofs Intro to Logic and Proofs Propositions A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both. Examples: It is raining today. Washington

More information

Mathematical Reasoning (Part I) 1

Mathematical Reasoning (Part I) 1 c Oksana Shatalov, Spring 2017 1 Mathematical Reasoning (art I) 1 Statements DEFINITION 1. A statement is any declarative sentence 2 that is either true or false, but not both. A statement cannot be neither

More information

Mat 243 Exam 1 Review

Mat 243 Exam 1 Review OBJECTIVES (Review problems: on next page) 1.1 Distinguish between propositions and non-propositions. Know the truth tables (i.e., the definitions) of the logical operators,,,, and Write truth tables for

More information

The statement calculus and logic

The statement calculus and logic Chapter 2 Contrariwise, continued Tweedledee, if it was so, it might be; and if it were so, it would be; but as it isn t, it ain t. That s logic. Lewis Carroll You will have encountered several languages

More information

New test - September 23, 2015 [148 marks]

New test - September 23, 2015 [148 marks] New test - September 23, 2015 [148 marks] Consider the following logic statements. p: Carlos is playing the guitar q: Carlos is studying for his IB exams 1a. Write in words the compound statement p q.

More information

Math 3336: Discrete Mathematics Practice Problems for Exam I

Math 3336: Discrete Mathematics Practice Problems for Exam I Math 3336: Discrete Mathematics Practice Problems for Exam I The upcoming exam on Tuesday, February 26, will cover the material in Chapter 1 and Chapter 2*. You will be provided with a sheet containing

More information

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises WUCT11 Discrete Mathematics Logic Tutorial Exercises 1 Logic Predicate Logic 3 Proofs 4 Set Theory 5 Relations and Functions WUCT11 Logic Tutorial Exercises 1 Section 1: Logic Question1 For each of the

More information

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations

3/29/2017. Logic. Propositions and logical operations. Main concepts: propositions truth values propositional variables logical operations Logic Propositions and logical operations Main concepts: propositions truth values propositional variables logical operations 1 Propositions and logical operations A proposition is the most basic element

More information

Math 3 Proportion & Probability Part 2 Sequences, Patterns, Frequency Tables & Venn Diagrams

Math 3 Proportion & Probability Part 2 Sequences, Patterns, Frequency Tables & Venn Diagrams Math 3 Proportion & Probability Part 2 Sequences, Patterns, Frequency Tables & Venn Diagrams 1 MATH 2 REVIEW ARITHMETIC SEQUENCES In an Arithmetic Sequence the difference between one term and the next

More information

ICS141: Discrete Mathematics for Computer Science I

ICS141: Discrete Mathematics for Computer Science I ICS141: Discrete Mathematics for Computer Science I Dept. Information & Computer Sci., Originals slides by Dr. Baek and Dr. Still, adapted by J. Stelovsky Based on slides Dr. M. P. Frank and Dr. J.L. Gross

More information

1. Find the missing side x of the following triangle.

1. Find the missing side x of the following triangle. Math 116 Practice Final Exam 1. Find the missing side x of the following triangle. (A) 15.6 (B) 21.2 (C) 13.2 (D) 18.0 2. Negate the following statement. Some elephants have tails. (A) All elephants have

More information

Exclusive Disjunction

Exclusive Disjunction Exclusive Disjunction Recall A statement is a declarative sentence that is either true or false, but not both. If we have a declarative sentence s, p: s is true, and q: s is false, can we rewrite s is

More information

Math Final Exam December 14, 2009 Page 1 of 5

Math Final Exam December 14, 2009 Page 1 of 5 Math 201-803-Final Exam December 14, 2009 Page 1 of 5 (3) 1. Evaluate the expressions: (a) 10 C 4 (b) 10 P 4 (c) 15!4! 3!11! (4) 2. (a) In how many ways can a president, a vice president and a treasurer

More information

Name Class Date. Tell whether each expression is a numerical expression or a variable expression. For a variable expression, name the variable.

Name Class Date. Tell whether each expression is a numerical expression or a variable expression. For a variable expression, name the variable. Practice 1-1 Variables and Expressions Write an expression for each quantity. 1. the value in cents of 5 quarters 2. the value in cents of q quarters 3. the number of months in 7 years the number of months

More information

Chapter 1 Worksheet 1 1 Whole Numbers ANSWERS

Chapter 1 Worksheet 1 1 Whole Numbers ANSWERS Chapter Worksheet Whole Numbers ANSWERS. Each rectangle number is found by adding linked circular numbers. a b c 0 0 0 (0 + 0) 0 0 0 0 0 0 0 0 0 0 0 0 d e f 0 0 0 0 0 0 00 0 0 0 0 0 0 0 0 0 0 0. Now try

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.1 Logical Form and Logical Equivalence Copyright Cengage Learning. All rights reserved. Logical Form

More information

Formal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures

Formal Logic: Quantifiers, Predicates, and Validity. CS 130 Discrete Structures Formal Logic: Quantifiers, Predicates, and Validity CS 130 Discrete Structures Variables and Statements Variables: A variable is a symbol that stands for an individual in a collection or set. For example,

More information

MACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class)

MACM 101 Discrete Mathematics I. Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class) MACM 101 Discrete Mathematics I Exercises on Propositional Logic. Due: Tuesday, September 29th (at the beginning of the class) SOLUTIONS 1. Construct a truth table for the following compound proposition:

More information

Reteaching Using Deductive and Inductive Reasoning

Reteaching Using Deductive and Inductive Reasoning Name Date Class Reteaching Using Deductive and Inductive Reasoning INV There are two types of basic reasoning in mathematics: deductive reasoning and inductive reasoning. Deductive reasoning bases a conclusion

More information

A set is an unordered collection of objects.

A set is an unordered collection of objects. Section 2.1 Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain

More information

Sets. your school. A group of odd natural numbers less than 25.

Sets. your school. A group of odd natural numbers less than 25. 1 Sets The set theory was developed by German Mathematician Georg Cantor (1845-1918). He first encountered sets while working on problems on trigonometric series. This concept is used in every branch of

More information

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction

More information

Logic Overview, I. and T T T T F F F T F F F F

Logic Overview, I. and T T T T F F F T F F F F Logic Overview, I DEFINITIONS A statement (proposition) is a declarative sentence that can be assigned a truth value T or F, but not both. Statements are denoted by letters p, q, r, s,... The 5 basic logical

More information

Basic Set Concepts (2.1)

Basic Set Concepts (2.1) 1 Basic Set Concepts (2.1) I. Set A collection of objects whose contents can be clearly determined. Capitol letters usually name a set. Elements are the contents in a set. Sets can be described using words,

More information

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS 1. SET 10/9/2013 Discrete Mathematics Fajrian Nur Adnan, M.CS 1 Discrete Mathematics 1. Set and Logic 2. Relation 3. Function 4. Induction 5. Boolean Algebra and Number Theory MID 6. Graf dan Tree/Pohon

More information

NAME: DATE: MATHS: Working with Sets. Maths. Working with Sets

NAME: DATE: MATHS: Working with Sets. Maths. Working with Sets Maths Working with Sets It is not necessary to carry out all the activities contained in this unit. Please see Teachers Notes for explanations, additional activities, and tips and suggestions. Theme All

More information

DISCRETE MATHEMATICS BA202

DISCRETE MATHEMATICS BA202 TOPIC 1 BASIC LOGIC This topic deals with propositional logic, logical connectives and truth tables and validity. Predicate logic, universal and existential quantification are discussed 1.1 PROPOSITION

More information

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH WINTER CSE 20 DISCRETE MATH WINTER 2017 http://cseweb.ucsd.edu/classes/wi17/cse20-ab/ Reminders Homework 3 due Sunday at noon Exam 1 in one week One note card can be used. Bring photo ID. Review sessions Thursday

More information

Pre-Algebra Semester 1 Practice Exam B DRAFT

Pre-Algebra Semester 1 Practice Exam B DRAFT . Evaluate x y 5 6 80 when x = 0 and y =.. Which expression is equivalent to? + + + +. In Pre-Algebra class, we follow the order of operations in evaluating expressions. Which operation should a student

More information

Determine the trend for time series data

Determine the trend for time series data Extra Online Questions Determine the trend for time series data Covers AS 90641 (Statistics and Modelling 3.1) Scholarship Statistics and Modelling Chapter 1 Essent ial exam notes Time series 1. The value

More information

HOMEWORK 1: SOLUTIONS - MATH 215 INSTRUCTOR: George Voutsadakis

HOMEWORK 1: SOLUTIONS - MATH 215 INSTRUCTOR: George Voutsadakis HOMEWORK 1: SOLUTIONS - MATH 215 INSTRUCTOR: George Voutsadakis Problem 1 Make truth tables for the propositional forms (P Q) (P R) and (P Q) (R S). Solution: P Q R P Q P R (P Q) (P R) F F F F F F F F

More information

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes!

Logic and Proof. On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

More information

KOÇ UNIVERSITY EQUR 121 FIRST EXAM March 3, 2014

KOÇ UNIVERSITY EQUR 121 FIRST EXAM March 3, 2014 KOÇ UNIVERSITY EQUR 121 FIRST EXAM March 3, 2014 Burak Özbaǧcı Duration of Exam: 75 minutes INSTRUCTIONS: No calculators may be used on the test. No questions, and talking allowed. You must always explain

More information

1.3 Propositional Equivalences

1.3 Propositional Equivalences 1 1.3 Propositional Equivalences The replacement of a statement with another statement with the same truth is an important step often used in Mathematical arguments. Due to this methods that produce propositions

More information

On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA

On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA Logic and Proof On my first day of school my parents dropped me off at the wrong nursery. There I was...surrounded by trees and bushes! 26-Aug-2011 MA 341 001 2 Requirements for Proof 1. Mutual understanding

More information

Third Grade First Nine Week Math Study Guide A. 167 B. 267 C. 1,501 D. 1,000

Third Grade First Nine Week Math Study Guide A. 167 B. 267 C. 1,501 D. 1,000 Third Grade 2016-2017 First Nine Week Math Study Guide 3.OA.8-Solve two-step word problems using the four operations. Represent these problems using equations with a letter standing for the unknown quantity.

More information

Topics in Logic and Proofs

Topics in Logic and Proofs Chapter 2 Topics in Logic and Proofs Some mathematical statements carry a logical value of being true or false, while some do not. For example, the statement 4 + 5 = 9 is true, whereas the statement 2

More information

Math.3336: Discrete Mathematics. Propositional Equivalences

Math.3336: Discrete Mathematics. Propositional Equivalences Math.3336: Discrete Mathematics Propositional Equivalences Instructor: Dr. Blerina Xhabli Department of Mathematics, University of Houston https://www.math.uh.edu/ blerina Email: blerina@math.uh.edu Fall

More information

Logic and Propositional Calculus

Logic and Propositional Calculus CHAPTER 4 Logic and Propositional Calculus 4.1 INTRODUCTION Many algorithms and proofs use logical expressions such as: IF p THEN q or If p 1 AND p 2, THEN q 1 OR q 2 Therefore it is necessary to know

More information

Math 112 Spring 2018 Midterm 1 Review Problems Page 1

Math 112 Spring 2018 Midterm 1 Review Problems Page 1 Math Spring 8 Midterm Review Problems Page Note: Certain eam questions have been more challenging for students. Questions marked (***) are similar to those challenging eam questions.. Which one of the

More information

Example 1: Identifying the Parts of a Conditional Statement

Example 1: Identifying the Parts of a Conditional Statement "If p, then q" can also be written... If p, q q, if p p implies q p only if q Example 1: Identifying the Parts of a Conditional Statement Identify the hypothesis and conclusion of each conditional. A.

More information