Study Guides (380,000)
CA (150,000)
York (10,000)
MATH (400)
ivap (1)
Midterm

MATH 1190 Study Guide - Midterm Guide: Contraposition, Idempotence, Modus Ponens


Department
Mathematics and Statistics
Course Code
MATH 1190
Professor
ivap
Study Guide
Midterm

This 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)(pr).
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