Mathematics in the Modern World GEC 14 Teachers

2.4 Practice Exercises

(1) Write the negation of each of the following statements.
(a) All classes in CMU should be online.
(b) Some students in CMU are kind.
(c) No one in the students in GEC 14 fails in their final exam.
(2) Consider the following propositions:

p : 2 is a prime number.
q : 3 is a factor of 6.

Write the compound propositions symbolized by

(a) p∨∼q
(b) ∼ (q ∧ p)
(c) ∼ p =⇒ q
(d) ∼ p ⇐⇒ ∼ q
(3) Let p be the proposition “Today is my birthday” and q be “I’ll go
to Paris”. Write the following propositions symbollically.
(a) If today is my birthday, then I won’t go to Paris.
(b) Today is my birthday or I’ll go to Paris.
(c) I’ll go to Paris and today is not my birthday.
(d) If and only if today is not my birthday then I’ll go to Paris.
(4) Write the converse, inverse, and contrapositive of the statement
about the real number x: “If x > 1, then x2 > 1.”
(5) Construct truth tables for the following compound propositions.
(a) ∼p∨q
(b) ∼p∧∼q
(c) ∼ q =⇒ p
(d) ∼ p ⇐⇒ ∼ q
(6) Construct truth tables for
(a) p =⇒ (q ∧ r)
(b) (∼ p ∨ q) ⇐⇒ ∼ r

Second Semester page 14 of 17 CMU Mathematics Department