LOGIC – Assignment

Course coordinator – Dr.N.Padmapriya

1. Construct the truth table to the following statement formulae:

(a) P  (Q  S )  P  Q

(b) ( P  Q)  R  R  Q

2. Prove the following

(a) P  (Q  R)  ( P  Q)  ( P  R)

(b) ( P  Q)  ( P  Q)  ( P  Q)

(c) P  (Q  R)  ( P  Q)  ( P  R)

(d) P  Q  Q  P

3. Obtain the product of sums of canonical form of ( P  Q)  (P  Q  R)

4. Obtain the principle normal form of the following statement formulae

(a) (P  Q)  ( P  Q)

(b) ( P  Q)  (P  Q)

5. Show that the following premises are inconsistent P  Q, P  R, Q  R, P .

6. Prove the following tautological implications

(a) P  R, Q  R, P  M , M  R  ( P  Q)

7. Determine the contra positive of each of the statements

(a) If Ram works hard then he will pass the examination

(b) If Rekha is quiet then she is intelligent.

8. Prove the following

(a) P  Q, (Q  R), R, (P  S )  S

 (b) P  Q, Q  R, ( P  R), P  R  R

(c) P  (Q  S ), R  P, Q  R  S

9. Write the following statement in symbolic form.

(a) All birds can fly (b) Honest men are rewarded

(c) Something is good (c) There is something whom everybody likes

10. Write the duals to the following statement formula

( P  Q)

11. Verify the validity of the following argument

(a) I like sports. If I study well then I do not like sports. Therefore I do not

study well.

12. Negate the following statements:

(a) All birds have wings

(b) Everybody is liked by some body

13. Prove the following

(a) (x)( P( x)  Q( x))  (x) P( x)  (x)Q( x)

(b) (x)( P( x)  Q(a))  (x) P( x)  Q(a)

(c) (x)( P( x)  Q( x))  (x) P( x)  (x)Q( x)

(d) Show that P(a, b) follows logically from (x)(y)( P( x, y)  W ( x, y)) and

W (a, b)

14. Use automatic theorem to prove the following:

(a) P  Q  ( P  Q)  (Q  P)

(b) ( P  Q)  (P  Q)

(c) P  (Q  R)  ( P  Q)  ( P  R)