Scribd
Upload
24 views5 pages

DM Handout

This document contains 7 questions about rules of inference in discrete mathematics. The questions cover using rules of inference to show implications, determining validity of arguments, identifying errors in arguments, and applying rules like universal instantiation and modus ponens.

Uploaded by

aboodbas31
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
24 views5 pages

DM Handout

This document contains 7 questions about rules of inference in discrete mathematics. The questions cover using rules of inference to show implications, determining validity of arguments, identifying errors in arguments, and applying rules like universal instantiation and modus ponens.

Uploaded by

aboodbas31
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

Hashemite University

Prince Al-Hussein bin Abdullah II Faculty for


Information Technology
Department of Information Technology

Year: 2022\2023 Discrete Mathematics Semester: (2)


2010042101
Week 3 Handout (3)

Rules of Inference
==============

Q1) Use rules of inference to show that the hypotheses


“If it does not rain or if it is not foggy, then the sailing race will be held and the lifesaving
demonstration will go on,” “If the sailing race is held, then the trophy will be awarded,” and “The
trophy was not awarded” imply the conclusion “It rained.”

Q2) Show that the argument form with premises


(p 𝖠 t) → (r ∨ s),
q → (u 𝖠 t),
u → p,
¬s
q
conclusion q → r is valid.

Q3) For each of these arguments, explain which rules of inference are used for each step.

A. “Linda, a student in this class, owns a red convertible. Everyone who owns a red
convertible has gotten at least one speeding ticket. Therefore, someone in this class has
gotten a speeding ticket.”

B. “Each of five roommates, Melissa, Aaron, Ralph, Veneesha, and Keeshawn, has taken a
course in discrete mathematics. Every student who has taken a course in discrete
mathematics can take a course in algorithms. Therefore, all five roommates can take a
course in algorithms next year.”

C. “All movies produced by John Sayles are wonderful. John Sayles produced a movie
about coal miners. Therefore, there is a wonderful movie about coal miners.”

D. “There is someone in this class who has been to France. Everyone who goes to France
visits the Louvre. Therefore, someone in this class has visited the Louvre.

1 pg.
Q4) For each of these arguments determine whether the argument is correct or incorrect and
explain why.

A. Everyone enrolled in the university has lived in a dormitory. Mia has never lived in a
dormitory. Therefore, Mia is not enrolled in the university.

B. A convertible car is fun to drive. Isaac’s car is not a convertible. Therefore, Isaac’s car is
not fun to drive.

C. Quincy likes all action movies. Quincy likes the movie Eight Men Out. Therefore, Eight
Men Out is an action movie.

D. All lobstermen set at least a dozen traps. Hamilton is a lobsterman. Therefore, Hamilton
sets at least a dozen traps.

Q5) Identify the error or errors in this argument that supposedly shows that if
∀x(P(x) ∨ Q(x)) is true then ∀xP(x) ∨ ∀xQ(x) is true.

1. ∀x(P(x) ∨ Q(x)) Premise


2. P(c) ∨ Q(c) Universal instantiation from (1)
3. P(c) Simplification from (2)
4. ∀xP(x) Universal generalization from (3)
5. Q(c) Simplification from (2)
6. ∀xQ(x) Universal generalization from (5)
7. ∀x(P(x) ∨ ∀xQ(x)) Conjunction from (4) and (6)

Q6) Assume that “For all positive integers n, if n is greater than 4, then n2 is less than 2n” is true.
Use universal modus ponens to show that 1002 < 2100.

Q7) Is the following argument valid?

If you do every problem in this book, then you will learn discrete mathematics. You
learned discrete mathematics. Therefore, you did every problem in this book.

2 pg.
Answers
=======
Q1)

Q2)

Q3)

3 pg.
4 pg.
Q4)

A. This is correct, using universal instantiation and modus tollens.

B. This is not correct. After applying universal instantiation, it contains the fallacy of
denying the hypothesis.

C. This is not correct, after applying universal instantiation; it contains the fallacy of
affirming the conclusion.

D. This is correct, using universal instantiation and modus ponens.

Q5)

Steps 3 and 5 are incorrect; simplification applies to conjunctions, not disjunctions.

Q6)

Q7)

5 pg.

You might also like