School

York UniversityDepartment

Mathematics and StatisticsCourse Code

MATH 1190Professor

ivapStudy Guide

MidtermThis

**preview**shows page 1. to view the full**5 pages of the document.**Discrete Math I – Practice Problems for Exam I

The upcoming exam on Thursday, January 12 will cover the material in Sections 1 through 6 of Chapter 1. There may also

be one question from Section 7. If there is, it will not be ask you to prove any statement, but rather a short answer question

about proofs.

You will be provided with a sheet containing the laws of logical equivalences and the rules of inference (and you can find

it as page 3 of this practice exam). Do NOT print the one provided here. I will give each of you one during the exam.

Note that this practice exam is NOT “synchronized” with what you will see on exam day. I won’t purposely present

problems here and just give you the same problem with the numbers changed. That is, the following problems do not

represent all of the possible types of problems that could appear on the exam. Problems chosen for the exam will be

similar to homework problems, the quizzes, and examples done in class. Also note that the number of problems presented

in this practice exam may not represent the actual length of the exam you see on the exam day. You should be prepared for

a lengthy exam.

IMPORTANT! First try these problems as if it were the real exam; work by yourself without the text or your notes. This

is supposed to be a gauge on what you need to work on to prepare for the exam. Answering these problems as you might

handle homework problems won’t necessarily give you much of a clue on what you need to work on.

Instructions: Provide all steps necessary to solve the problem. Unless otherwise stated, your answer must be exact and

reasonably simplified. Additionally, clearly indicate the value or expression that is your final answer. Calculators are

NOT allowed.

1. Find the truth table of the compound proposition (pq)(pr).

2. Give the converse, the contrapositive, and the inverse of the statement “If it rains today, then I will drive to work.”

3. Show that p(qr) and q (pr) are logically equivalent using the laws of logical equivalences. Be sure to cite

each law whenever used.

4. Use the table of logical equivalences to simplify the compound proposition [(pq)p] q. Be sure to justify your

answers.

5. Let P(m,n) be the statement “m | n,” where the domain for both variables consists of all positive integers. [By “m | n”,

which we say as “m divides n”, we mean that n = km for some integer k.] Determine the truth values of each of these

statements. (a) P(4,5) (b) P(2,4) (c) mn P(m,n)

(d) mn P(m,n) (e) nm P(m,n) (f) n P(1,n)

6. Consider the compound proposition (mn [P(m,n)])( nm[P(m,n)]) where both m and n are integers. Determine

the truth value of the proposition if

(a) P(m,n) is the statement “m < n”.

(b) P(m,n) is the statement “m | n”.

7. Suppose that the variable x represents students, F(x) means “x is a freshman,” and M(x) means “x is a math major”. For

each of the three statements (a), (b), and (c), determine which of the symbolic statements are equivalent. (Note: Each

statement may have multiple answers.)

I. x [M(x)F(x)] II. x [M(x)F(x)] III. x [F(x)M(x)] IV. x [M(x)F(x)]

V. x [F(x)M(x)] VI. x [F(x)M(x)] VII. x [(M(x)F(x))] VIII. x [M(x)F(x)]

IX. x [M(x)F(x)] X. x [M(x)F(x)] XI. x [F(x)M(x)]

(a) Some freshmen are math majors. Answer: _______________________

(b) Every math major is a freshman. Answer: _______________________

(c) No math major is a freshman. Answer: _______________________

###### You're Reading a Preview

Unlock to view full version

Only page 1 are available for preview. Some parts have been intentionally blurred.

8. Determine whether the following argument is valid.

p r

q r

(p q)

--------

r

If the argument if valid, provide a valid proof of the result (that is, use the laws of logical equivalences and the

rules of inference to demonstrate that the conclusion is valid).

If the argument is not valid, provide specific truth values of p, q, and r in which the premises are true, but the

conclusion is false.

Exercises from the text. I would STONGLY recommend that you try as many of these problems as you can. Any of

these problems (or ones similar to them) could appear on the exam.

Chapter 1 Supplementary Exercises (pg 111-113): 3, 6, 20, 23, 25

###### You're Reading a Preview

Unlock to view full version