MATH204 Discrete Mathematics I Fall 2018

MATH204 – Discrete Mathematics I

Review and Practice Sheet for Test 1

1. Write the truth table for the following statement.

[(q ® s) Ù (q ® r)] ® [(p Ú q) ® (s Ú r)]

2. Write the truth table for the following statement.

(p Ù q) Ú (q Ù r) ® p Ú r

3. Show that following pair is equivalent

(p Ú q) ® r and ~r ® (~p Ù ~q)

4. Show that following pair is equivalent

p Û q º (~p Ú q) Ù (~q Ú p)

5. Determine whether the following statement is tautology, a contradiction or neither

[p ® (q Ú r)] ® [(q ® r) Ú (r ® p)]

6. Determine whether the following statement is tautology, a contradiction or neither

[p ® (q Ù r)] ® r ® (p Þ q)

7. Use the laws of logic and truth table to show that

((p ® q) Ù ~q) Þ ~p
is tautology.

8. Prove or disprove following statement using:

- a) truth tables
- b) the rules of logic
(p Ù ~(q Ù ~ r)) Ú (p Ù q) Û r

9. Prove or disprove following statement using:

- a) truth tables
- b) the rules of logic
(p Ù (p ® q)) ® q Û True

10. For each of the following sentences, determine whether it is a logical truth, a contradiction or
neither.

a) (p Ú q) Ù (p Ú ~q) Ù (~p Ú q) Ù ~(~p Ú ~q)

b) (~q Ù p) Ú (~p Ù q) Ú (p Ù q) Ú (~q Ù ~p)
c) (p Ù 𝑟) Ú (p Ù ~r) Ú (q Ù r) Ú (p Ù ~r)
d) ~(~p Ú r) Ú ~(q Ú r) Ú ~(p Ú q) Ú r

1
MATH204 The Logic of Compound Statements Tutorial 1

11. Write the following arguments in formal version and state which of the following arguments are
valid or invalid (converse or inverse error).

a) All honest students do not cheat on the exam.

Merima is not honest.
∴ Merima cheats on the exam.

b) All mathematicians are rational.

All philosophers are rational.
∴ All philosophers are mathematicians.

c) Pizza is good food.

No good food is wasted.
∴ No pizza is wasted.