0% found this document useful (0 votes)
8 views3 pages

Practice For Discrete Mathematics

The document consists of a series of questions related to discrete mathematics, focusing on logical propositions, equivalences, and truth tables. It includes tasks such as expressing propositions in English, verifying logical equivalences, and converting statements into different forms. Additionally, it covers concepts like necessary and sufficient conditions, and the properties of logical statements.

Uploaded by

asifkalu577
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
0% found this document useful (0 votes)
8 views3 pages

Practice For Discrete Mathematics

The document consists of a series of questions related to discrete mathematics, focusing on logical propositions, equivalences, and truth tables. It includes tasks such as expressing propositions in English, verifying logical equivalences, and converting statements into different forms. Additionally, it covers concepts like necessary and sufficient conditions, and the properties of logical statements.

Uploaded by

asifkalu577
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/ 3

Discrete Mathematics

Spring 2025 (SE)

Question 1: Let p, q, and r be the propositions p : You have the flu. q : You miss the final
examination. r : You pass the course. Express each of these propositions as an English sentence. [6]

a. p → q

b. ¬q ↔ r

c. q → ¬r

d. p ∨ q ∨ r

e. (p → ¬r) ∨ (q → ¬r)

f. (p ∧ q) ∨ (¬q ∧ r)

Question 2 : If statement forms P and Q are logically equivalent, then 𝑃 ↔ 𝑄 is a tautology.


Conversely, if 𝑃 ↔ 𝑄 is a tautology, then P and Q are logically equivalent. Use ↔ to convert each of
the logical equivalences into a tautology. Then use a truth table to verify each tautology. [10]

a) 𝑝 → (𝑞 ∨ 𝑟 ) ≡ (𝑝 ∧ ∼ 𝑞) → r
b) 𝑝 → (𝑞 → 𝑟 ) ≡ (𝑝 ∧ 𝑞) → r

Question 3: Write each of these propositions in the form “p if and only if q” in English. [4]
a) For you to get an A in this course, it is necessary and sufficient that you learn how to solve
discrete mathematics problems.
b) If you read the newspaper every day, you will be informed, and conversely.
c) It rains if it is a weekend day, and it is a weekend day if it rains
d) You can see the wizard only if the wizard is not in, and the wizard is not in only if you can see
him
Question 4: Use the properties to verify the logical equivalences in the following. Supply a reason for
each step. [25]

a. (𝑝 ∧∼ 𝑞) ∨ 𝑝 ≡ 𝑝

b. 𝑝 ∧ (∼ 𝑞 ∨ 𝑝) ≡ 𝑝

c. ∼ (𝑝 ∨∼ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞) ≡ ∼ 𝑝

d. ∼ ((∼ 𝑝 ∧ 𝑞) ∨ (∼ 𝑝 ∧∼ 𝑞)) ∨ (𝑝 ∧ 𝑞) ≡ 𝑝

e. (𝑝 ∧ (∼ (∼ 𝑝 ∨ 𝑞))) ∨ (𝑝 ∧ 𝑞) ≡ 𝑝

Question 5: How many assignments of truth values to p; q; r and w are there for which
((p → q) → r) → w is true? Guess a formula in terms of the number of variables. [4+1]

Question 6: “If compound X is boiling, then its temperature must be at least 150◦C.” Assuming that
this statement is true, which of the following must also be true? [5]

a) If the temperature of compound X is less than 150◦C, then compound X is not boiling.

b) Compound X will boil only if its temperature is at least 150◦C.

c) If compound X is not boiling, then its temperature is less than 150◦C.

d) A necessary condition for compound X to boil is that its temperature be at least 150◦C.

e) A sufficient condition for compound X to boil is that its temperature be at least 150◦C.

Question 7: Write each of these statements in the form “if p, then q in English. [8]

a. It snows whenever the wind blows from the northeast.

b. The apple trees will bloom if it stays warm for a week.

c. That the Pistons win the championship implies that they beat the Lakers.

d. It is necessary to walk 8 miles to get to the top of Long’s Peak.

e. To get tenure as a professor, it is sufficient to be world-famous.

f. If you drive more than 400 miles, you will need to buy gasoline.

g. Your guarantee is good only if you bought your CD player less than 90 days ago.

h. Jan will go swimming unless the water is too cold.


Question 8: State the converse, contrapositive, and inverse of each of these conditional statements.
[3+3+3]

a. If it snows tonight, then I will stay at home


b. I go to the beach whenever it is a sunny summer day.
c. When I stay up late, it is necessary that I sleep until noon.

Question 09 [2+2]

If 𝑝 → 𝑞 is false, can you determine the truth value of (~𝑝)˅(𝑝 ↔ 𝑞)? Explain your answer.

If p → 𝑞 is true, can you determine the truth value of ~(𝑝 → 𝑞)˄~𝑝? Explain your answer.

Question 10 [3+2+2]

a) Find simpler statement forms that are logically equivalent to

p ⊕𝑝≡ and (𝑝⊕𝑝)⊕𝑝 ≡

c) Is (𝑝 ⊕𝑞)⊕𝑟 ≡ 𝑝⊕(𝑞⊕𝑟)? Justify your answer.


d) Is (𝑝 ⊕𝑞)∧𝑟 ≡ (𝑝∧𝑟)⊕(𝑞∧𝑟)? Justify your answer.

You might also like