Exercise 2.1 | Advanced Mathematics | Class 9

Propositional Logic|Advanced Mathematics|Class 9

Exercise 2.1 | Advanced Mathematics | Class 9

1. Fill up the tables of truth values -
(A)
 p  q  p  q  pq  pq  (pq)  pq  pq
 T  T  F  F  T  T  F  F  F
 T  F  F  T  T  F  F  F  T
 F  T  T  F  T  F  F  T  T
 F  F  T  T  F  F  T  F  T

(B)
 p  q  p  q  pq  pq  (pq)  p→∼q
 T  T  F  F  F  T  F  T
 T  F  F  T  T  F  T  T
 F  T  T  F  F  T  F  F
 F  F  T  T  F  T  F  T

(C)
 p  q  pq  p(pq)  p(pq)q
 T  T  T  T  T
 T  F  F  F  T
 F  T  T  F  T
 F  F  T  F  T



2. Prove all the algebraic properties of statements with the help of truth tables.
Solution:
Click Here


3. If  a,  b and  c are any three statements, then prove that-
(a)  (ab)(ab)
(b)  [(ab)(bc)](ac)
are two statements both of which are formula (or tentologies).
Solution:
(a)
 a  b  ab  ab  (ab)(ab)
 T  T  T  T  T
 T  F  F  T  T
 F  T  F  T  T
 F  F  F  F  T

(b)
 a  b  c  ab  bc  ac  (ab)(bc)  [(ab)(bc)](ac)
 T  T  T  T  T  T  T  T
 T  T  F  T  F  F  F  T
 T  F  T  F  T  T  F  T
 T  F  F  F  T  F  F  T
 F  T  T  T  T  T  T  T
 F  T  F  T  F  T  F  T
 F  F  T  T  T  T  T  T
 F  F  F  T  T  T  T  T



4. Prove that
(a)  (pq)pq
Solution:
 p  q  p  q  pq  pq  (pq)
 T  T  F  F  T  F  T
 T  F  F  T  T  F  T
 F  T  T  F  T  F  T
 F  F  T  T  F  T  F

(b)  (pq)≡∼pq
Solution:
 p  q  p  q  pq  (pq)  pq
 T  T  F  F  T  F  F
 T  F  F  T  T  F  F
 F  T  T  F  F  T  T
 F  F  T  T  T  F  F



5. Test if correct or incorrect-
(a)  pqp→∼q
Solution:
 p  q  p  q  pq  pq
 T  T  F  F  T  T
 T  F  F  T  F  T
 F  T  T  F  T  F
 F  F  T  T  T  T
It is not correct.

(b)  (pq)pq
Solution:
 p  q  p  q  pq  (pq)  pq
 T  T  F  F  T  F  F
 T  F  F  T  F  T  T
 F  T  T  F  T  F  T
 F  F  T  T  T  F  T
It is not correct.

(c)  (pq)(pq)(qp)
Solution:
 p  q  p  q  pq  (pq)  pq  qp  (pq)(qp)
 T  T  F  F  T  F  F  F  F
 T  F  F  T  F  T  T  F  T
 F  T  T  F  T  F  T  T  T
 F  F  T  T  T  F  T  F  T
It is not correct.

2024 © advMath
All rights reserved!
Designed by Khairul Anam

Comments

Popular posts from this blog

Indices and their Laws | Advanced Mathematics | Class 8

Propositional Logic | Advanced Mathematics | Class 9