Discrete Mathematics | Assignment

DISCRETE
MATHEMATICS
MIDTERM EXAM
STUDENT ID:
[Pick the date]

Question 1
The requisite truth table is shown below.
p q p→ q q → p • p • p ∧ q (p→ q ) ∧ (q → p )
T T T T F F T
T F F T F F F
F T T F T T F
F F T T T F T
From the above truth table, it is evident that the premise does not lead to the conclusion and
hence the argument in the given case would be considered as invalid.
Question 2
a) The list of all ordered pairs of relation take would contain the following elements.
 (Adi, TIC1201)
 (Adi, TIC2001)
 (Deepak, TIC1201)
 (Deepak, TMA2102)
 (Lily, TIC2001)
 (Lily, TIC1001)
 (Lily, TMA2102)
b) False since certain input values have more than one output
c) True since (TIC1001,SR7) belongs to the relation held_in.
d) The list of all ordered pairs of relation take would contain the following elements.
 (SR1,Lily)
 (LT15, Adi)
 (LT15, Lily)
 (SR7, Lily)
 (LT15, Deepak)
 (SR10, Lily)
 (SR7, Adi)
 (SR1, Adi)
 (SR10, Deepak)
Question 3
a) True