PSU MATH RELAYS LOGIC & SET THEORY 2017

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

WUCT121. Discrete Mathematics. Logic. Tutorial Exercises

Chapter 1: The Logic of Compound Statements. January 7, 2008

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

MGF 1106: Exam 1 Solutions

1) Let h = John is healthy, w = John is wealthy and s = John is wise Write the following statement is symbolic form

5. Use a truth table to determine whether the two statements are equivalent. Let t be a tautology and c be a contradiction.

Read ahead and use your textbook to fill in the blanks. We will work the examples together.

n logical not (negation) n logical or (disjunction) n logical and (conjunction) n logical exclusive or n logical implication (conditional)

THE LOGIC OF COMPOUND STATEMENTS

CHAPTER 1 - LOGIC OF COMPOUND STATEMENTS

2. The Logic of Compound Statements Summary. Aaron Tan August 2017

UNIVERSITY OF VICTORIA DECEMBER EXAMINATIONS MATH 122: Logic and Foundations

ANS: If you are in Kwangju then you are in South Korea but not in Seoul.

Sets and Logic Linear Algebra, Spring 2012

The Nature of Mathematics 13th Edition, Smith Notes. Korey Nishimoto Math Department, Kapiolani Community College October

- a reversed conditional; if a conditional is p q, than its converse is q p

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

Discrete Mathematics Exam File Spring Exam #1

MATH 115 Concepts in Mathematics

Chapter 1 Elementary Logic

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

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

CSE 20. Final Review. CSE 20: Final Review

Propositional Logic. Argument Forms. Ioan Despi. University of New England. July 19, 2013

Today s Lecture 2/25/10. Truth Tables Continued Introduction to Proofs (the implicational rules of inference)

STUDY PROBLEMS FOR EXAM I CMSC 203 DISCRETE STRUCTURES. n (n +1)(2n +1), 6. j 2 = 1(1+1)(2 1+1) 6. k (k +1)(2k +1) 6

Math 1312 Lesson 1: Sets, Statements, and Reasoning. A set is any collection of objects. These objects are called the elements of the set.

Valid Reasoning. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing February, Outline Truth and Validity Valid Reasoning

Logical forms and substitution instances. Philosophy and Logic Unit 2, Section 2.1

Unit 1 Logic Unit Math 114

1. Consider the conditional E = p q r. Use de Morgan s laws to write simplified versions of the following : The negation of E : 5 points

Analyzing Arguments with Truth Tables

Chapter 2. Reasoning and Proof

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

Section 1.3. Let I be a set. When I is used in the following context,

Unit 1 Logic Unit Math 114

Chapter 1 Logic Unit Math 114

Math 3336: Discrete Mathematics Practice Problems for Exam I

DEDUCTIVE REASONING Propositional Logic

Logic Review Solutions

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

DISCRETE MATH: FINAL REVIEW

Austin is the capital of Texas, and Texas shares a border with Louisiana. is true because p is true and r is true. 2-2 Logic

Deductive and Inductive Logic

Chapter-2 SETS In Mathematics, Set theory was developed by George Cantor ( ).

THE LOGIC OF COMPOUND STATEMENTS

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

Math Final Exam December 14, 2009 Page 1 of 5

Math.3336: Discrete Mathematics. Propositional Equivalences

Mathematical Reasoning (Part I) 1

Do not start until you are given the green signal

DISCRETE MATH: LECTURE 3

New test - September 23, 2015 [148 marks]

[Ch 3, 4] Logic and Proofs (2) 1. Valid and Invalid Arguments ( 2.3, 3.4) 400 lecture note #2. 1) Basics

P Q (P Q) (P Q) (P Q) (P % Q) T T T T T T T F F T F F F T F T T T F F F F T T

Proposition logic and argument. CISC2100, Spring 2017 X.Zhang

Where are my glasses?

Unit I LOGIC AND PROOFS. B. Thilaka Applied Mathematics

Korey Nishimoto. Nature of Mathematics

GEOMETRY. 2.1 Conditional Statements

Section 1.3: Valid and Invalid Arguments

KOÇ UNIVERSITY EQUR 121 FIRST EXAM March 3, 2014

PROPOSITIONAL CALCULUS

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

Logic, Sets, and Proofs

FORMAL PROOFS DONU ARAPURA

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

CSC 125 :: Final Exam May 3 & 5, 2010

Quiz 1. Directions: Show all of your work and justify all of your answers.

1-1. Expressions and Formulas. Lesson 1-1. What You ll Learn. Active Vocabulary

Propositional Logic. Spring Propositional Logic Spring / 32

Lecture 1: Propositional Logic (I)

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

Logic. Definition [1] A logic is a formal language that comes with rules for deducing the truth of one proposition from the truth of another.

1.3 Propositional Equivalences

CS100: DISCRETE STRUCTURES. Lecture 5: Logic (Ch1)

PHI Propositional Logic Lecture 2. Truth Tables

1.5 Related Conditionals

Propositional Logic. Fall () Propositional Logic Fall / 30

SYMBOLIC LOGIC (PART ONE) LAMC INTERMEDIATE - 5/18/14

Section 2.1: Introduction to the Logic of Quantified Statements

Conditional Statements

MTH 299 In Class and Recitation Problems SUMMER 2016

3 Rules of Inferential Logic

Representing Knowledge

Math Final Exam Solutions - Spring Jaimos F Skriletz 1

Math 10850, fall 2017, University of Notre Dame

Rules Build Arguments Rules Building Arguments

Chapter 1A -- Real Numbers. iff. Math Symbols: Sets of Numbers

The Logic of Compound Statements cont.

DISCRETE MATH: LECTURE 6

Midterm Exam Solution

RYERSON UNIVERSITY DEPARTMENT OF MATHEMATICS

Predicate Logic & Quantification

1.1 Language and Logic

A Quick Lesson on Negation

Logic and Propositional Calculus

Propositional Logic. Jason Filippou UMCP. ason Filippou UMCP) Propositional Logic / 38

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

Transcription:

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 answer is NOT one of the choices, mark "E" on teh answer sheet. Remember, NO CREDIT is given for any marks on the answer sheet except the complete shading of the correct choice. Write a negation for the statement. 1) 12x + 11y < 12 12 > 12x + 11y 12x + 11y 12 12x + 11y 12 12x + 11y > 11 Translate the symbolic compound statement into words. 2) Let p represent the statement : "Students are happy" and let q represent the statement: "Teachers are happy." ~(p ~q) It is not the case that students are happy or teachers are not happy. Students are not happy and teachers are not happy. It is not the case that students are happy and teachers are not happy. Students are not happy or teachers are not happy. Write the negation of the statement. If not a statement, state so. 3) The following excerpt appears on the cover page of a mathematics exam: We will deduct points if there is no work to justify your answer. We may not deduct points if there is no work to justify your answer. We will not deduct points if there is no work to justify your answer. We will not deduct points if there is work to justify your answer. The excerpt is not a statement. 4) The following excerpt appears on the cover page of a mathematics exam: Make sure that you fill in the circle on the answer sheet that corresponds to your answer choice. Do not make sure that you fill in the circle on the answer sheet that corresponds to your answer choice. Do not make sure that you do not fill in the circle on the answer sheet that corresponds to your answer choice. Make sure that you do not fill in the circle on the answer sheet that corresponds to your answer choice. The excerpt is not a statement. Give the number of rows in the truth table for the compound statement. 5) (p q) (~r s) ~t 25 10 8 32 Find the number of subsets of the set. 6) {math, English, history, science, art} 32 24 28 16 7) {x x is an even number between 17 and 37} 36 8 256 1024 Please turn over for additional questions

Construct a truth table for the compound statement. 8) ~s ~p 9) ~[~(q s)] Construct a truth table for the statement. 10) (p q) (~p q) 2

11) ~(p q) (p ~q) Write the statement as an equivalent statement that does not use the if... then connective. Remember that p q is equivalent to ~p q. 12) If the sun comes out tomorrow, the roses will open. The sun does not come out tomorrow and the roses will not open. The sun does not come out tomorrow or the roses will not open. The sun does not come out tomorrow or the roses will open. The sun comes out tomorrow and the roses will not open. Write the negation of the statement. Remember that the negation of p q is p ~q. 13) If it is raining, you take your umbrella. If it is raining, you do not take your umbrella. It is raining and you do not take your umbrella. It is not raining and you do not take your umbrella. It is not raining and you take your umbrella. 14) If 7x + 2y > 3, the answer is "Lake ". 7x + 2y > -3, so the answer is not "Lake ". 7x + 2y 3 and the answer is not "Lake ". If 7x + 2y > 3, the answer is not "Lake ". 7x + 2y > 3 and the answer is not "Lake ". Let U = {q, r, s, t, u, v, w, x, y, z}; A = {q, s, u, w, y}; B = {q, s, y, z}; and C = {v, w, x, y, z}. List the members of the indicated set, using set braces. 15) (A ' {t, v, x} {q, s, t, u, v, w, x, y} {r, t, u, v, w, x, z} {s, u, w} 16) B' (A C') {r, t, u} {q, r, s, t, u, w} {q, r, s, t, u, v, w, x, y} {r, t, u, w} Use the union rule to answer the question. 17) If n( = 4, n( = 9, and n(a = 2; what is n(a? 11 12 13 10 3

Shade the Venn diagram to represent the set. 18) A' B' 19) (A (A ' 4

Use a Venn Diagram and the given information to determine the number of elements in the indicated region. 20) n(u) = 60, n( = 34, n( = 22, and n(a = 8. Find n(a '. 48 4 56 12 21) n(a B = 77, n(a B = 11, n(a = 24, n(a = 21, n(b = 19, n( = 56, n( = 38, and n( = 36. Find n(a' B 7 9 10 8 Decide whether the argument is valid or invalid, and give the form (of valid or invalid argument) that applies. 22) If I'm hungry, then I will eat. I'm not hungry. I will not eat. Valid; modus ponens Invalid; fallacy of the inverse Valid; modus tollens Invalid; fallacy of the converse Use a Venn diagram to answer the question. 23) A survey of 240 families showed that 91 had a dog; 70 had a cat; 31 had a dog and a cat; 91 had neither a cat nor a dog, and in addition did not have a parakeet; 7 had a cat, a dog, and a parakeet. How many had a parakeet only? 19 24 34 29 NOTE the following section is BI-MODAL for answer choices. Determine if the argument is valid. 24) If a number is even, then it is divisible by 2. If a number is divisible by 8, then it is divisible by 2. Some numbers are either even or divisible by 8. Some numbers are divisible by 2. Invalid Valid The argument has a true conclusion. Identify the argument as valid or invalid. 25) Rational numbers are real numbers. Integers are rational numbers. Integers are real numbers. Valid Invalid Decide whether the statement is true or false. 26) {10, 11, 2} = {10, 11, 2} Let p represent a true statement, and let q and r represent false statements. Find the truth value of the given compound statement. 27) ~(~p ~q) (~r ~p) 5

Use a truth table to decide if the statements are equivalent. 28) ~(q p) ; q ~p Not equivalent Equivalent The argument has a true conclusion. Identify the argument as valid or invalid. 29) 12 is less than 12. 6 is less than 12. 12 is less than 6. Invalid Valid Use a truth table to decide if the statements are equivalent. 30) q ~p; ~p ~q Equivalent Not equivalent Tell whether the statement is true or false. 31) 11 {x x is an even counting number} 32) {x x is a counting number greater than 32} = {32, 33, 34,... } Insert " " or " " in the blank to make the statement true. 33) 34) {x x is a counting number larger than 5} {7, 8, 9,... } Let A = {1, 3, 5, 7}; B = {5, 6, 7, 8}; C = {5, 8}; D = {2, 5, 8}; and U = {1, 2, 3, 4, 5, 6, 7, 8}. Determine whether the given statement is true or false. 35) A 36) U A 37) {0} U 38) C B 39) A A Let p represent a true statement, and let q and r represent false statements. Find the truth value of the given compound statement. 40) (~p ~q) ~q Thank you for participating! 6