Scribd
Upload
337 views

Assignment On Rules of Inference

This document contains an assignment on discrete mathematics. It includes two sections: 1) Identifying valid argument forms in several examples. The examples use propositional logic to represent arguments in terms of premises and conclusions. 2) Solving two problems by representing statements symbolically and determining if conclusions can be logically drawn using rules of inference. The problems require analyzing relationships between statements and identifying the argument form used.

Uploaded by

Adriel Payod
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
337 views

Assignment On Rules of Inference

This document contains an assignment on discrete mathematics. It includes two sections: 1) Identifying valid argument forms in several examples. The examples use propositional logic to represent arguments in terms of premises and conclusions. 2) Solving two problems by representing statements symbolically and determining if conclusions can be logically drawn using rules of inference. The problems require analyzing relationships between statements and identifying the argument form used.

Uploaded by

Adriel Payod
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

ASSIGNMENT – DISCRETE MATHEMATICS

Name Score
Section
Schedule (Time/Day) Date

A. VALID ARGUMENT FORMS


Directions: Identify the rule of inference is used in each argument below. (Clue: Translate each sentence
into symbols then select from the valid argument forms that we have discussed)

Addition
____________ 1. Alice is a Math major. Therefore, Alice is either a Math major or a CSI major.
Simplification
____________ 2. Jerry is a Math major and a CSI major. Therefore, Jerry is a Math major.
Modus Ponens
____________ 3. If it is rainy, then the pool will be closed. It is rainy. Therefore, the pool is closed.
Modus Tollens
____________ 4. If it snows today, the university will close. The university is not closed today.
Therefore, it did not snow today.
Hypothetical Syllogism 6. If I go swimming, then I will stay in the sun too long. If I stay in the sun too long, then I
____________
will sunburn. Therefore, if I go swimming, then I will sunburn.
____________ 7. l go swimming or eat an ice cream. I did not go swimming. Therefore, I eat an ice
cream.

B. RULES OF INFERENCE
Directions: Read and analyze the problem then answer. Show your solution. Identify the valid argument
form you applied for the premises.

1. Consider the following statements:


• I met Harold at our university library or I met him at the basketball gym.
• If I met Harold at the basketball gym, then I talked about our basketball team.
• If I met Harold at our university library, then I talked about the discrete math course.
• I did not talk about the discrete math course.
What did I do when I met Harold?

Let p: I met Harold at our university library


q: I met him at the basketball gym.
r: I talked about our basketball team.
s: I talked about the discrete math course.

SOLUTION:
Equivalent in
Symbol
I met Harold at our university library or I met him at the basketball gym. __________
If I met Harold at the basketball gym, then I talked about our basketball team. __________
If I met Harold at our university library, then I talked about the discrete math course. __________
I did not talk about the discrete math course. __________
What did I do when I met Harold? Answer: _______________________

2. It is known that:
 It’s not sunny and it’s colder than yesterday
 We will go swimming only if it’s sunny.
 If we don’t go swimming then we will take canoe trip.
 If we take a canoe trip, then we will be home by sunset.

Can you conclude “We will go home by sunset”?

Let p: It’s sunny this afternoon.


q: It’s colder than yesterday.
r: We will go swimming.
s: We will take a canoe trip.
t: We will be home by sunset.

SOLUTION:
Equivalent in
Symbol
It’s not sunny and it’s colder than yesterday ___________
We will go swimming only if it’s sunny. ___________
If we don’t go swimming then we will take canoe trip. ___________
If we take a canoe trip, then we will be home by sunset. ___________

Can you conclude “We will go home by sunset”? Answer: ____________

You might also like