Professional Documents
Culture Documents
Question 1.
Question 2.
If P, Q and R are statements, construct truth tables for each compound statement in the following
pairs of statements. What do you conclude in each case?
(i) P Q ~(~P ~Q) and P Q.
P Q P Q ~ (~P ~Q) P Q They have the same truth table, and hence
T T T T T F F F T are logically equivalent statements.
T F F F F F T T F
F T F F F T T F F
F F F F F T T T F
Order 4 5* 3 1 2 1 1*
(ii) P Q R and P ~Q R.
P Q R P Q R P ~Q R They have the same truth table, and hence are
T T T T T F F T logically equivalent statements.
T T F T T F F T
T F T T T T T T
T F F F F T T F
F T T T T F F T
F T F T T F F T
F F T T T F T T
F F F T F F T T
Order 2* 1 2 1 3*
Question 4.
Question 5.
Question 6.
Question 7.
Is Q, the set of rational number, closed with respect to the operations of subtraction and division?
Briefly justify your answer.
a
Q={ : a, b Z b 0 }. Take m,n,p,q in Z and n,q non-zero.
b
m p m p mq np
Then , Q and = Q , since subtraction is closed on Z (mq-np is in Z),
n q n q nq
multiplication is closed on Z (nq is in Z), and (n 0 q 0) nq 0 .
Division: 0 Q , but x 0 is undefined.