SCSI1013: Discrete Structure

[2015/2016 - Semester 1]

TUTORIAL 1.2
1. Represent the statement symbolically by letting,
p: There is a hurricane
q: It is raining
a) There is no hurricane
b) There is a hurricane and it is raining
c) There is no hurricane and it is not raining
d) Either there is a hurricane or it is raining (or both)
2. Evaluate the following propositions for the truth value, p=F, q=T, r=F.
a) (p q) (p r)
b) p (p r)
3. Write the truth table for the following propositions.
a) (p q) (p)
b) (p q) (p r)
4. For each pair of propositions P and Q, state whether or not P Q
a) P = p q, Q= (p q) (q p).
b) P = p (q r), Q = p (q r)
5. Let,
p(x) : x2 -7x + 10 = 0
q(x) : x2 - 2x - 3 = 0
r(x) : x < 0
a) Determine the truth or falsity of the following statements, where the domain of
discourse is all integers. If a statement is false, provide a counterexample or
explanation.
i. x [ p(x) r(x)]
ii. x [ q(x) r(x)]
iii. x [ q(x) r(x)]
iv. x [ p(x) r(x)]
b) Find the answers to part (a) when the domain of discourse contains only the integer 2
and 5.
6. Determine the truth value of each statement in (a)-(d). The domain of discourse is the set
of real numbers. Justify your answers.
a) For some x, if x>1, then x2>x.
b) For every x, for every y, x2<y+1
c) For some x, for some y, x2+y2=9
d) For some x, for every y, x2+y2 0

Note: Deadline of submission (28th September 2015)