Professional Documents
Culture Documents
q ≡ Dhanashri is intelligent
q ≡ We go cycling
q ≡ Nirmala passed
r ≡ Nirmala is happy
04. Pinku never works hard yet she gets good marks ≡ ~ p ∧ q
( Pinku does not work hard and still she gets good marks )
where p ≡ It is cloudy
q ≡ It is still raining
- 1 -
08. Inspite of bad weather , India won the cricket match ≡ p ∧ q
(the weather is bad and still India won the cric ket match )
(Yuvraj does not play cricket and he does not play tennis )
12. Two triangles have equal areas only if they are congruent ≡ p → q
q ≡ Subhash is happy
f ≡ we will fail
15. if Pravin likes a radio programme and the programme is a sponsored programme
≡ p → ( q ∨ r )
q ≡ A person is a politician
( Try to understand this : Parallelogram is necessary condition for rhombus and hence
∴ the above statement should be read as if 8 is even then condition for that is √ 25 = 4 )
≡ p → q
q ≡ √25 = 4
q ≡ Sky is blue
- 3 -
Q2. CONSTRUCT TRUTH TABLES
1. (p ∧ q) ∧ ∼ p
p q ∼p p ∧ q (p ∧ q) ∧ ∼ p
T T F T F
T F F F F
F T T F F
F F T F F
T T F F T F F
T F F T F F F
F T T F T F F
F F T T T T T
3. (p ∧ ∼ q ) ∧ ∼ (q ∧ ∼ p )
p q ∼ p ∼ q p ∧ ∼q q ∧ ∼p ∼ (q ∧ ∼ p ) (p ∧ ∼ q ) ∧ ∼ (q ∧ ∼ p )
T T F F F F T F
T F F T T F T T
F T T F F T F F
F F T T F F T F
4. (p ∧ q) → (p ∨ ∼ q)
p q ∼ q p ∧ q p ∨ ∼q (p ∧ q) → (p ∨ ∼ q)
T T F T T T
T F T F T T
F T F F F T
F F T F T T
- 4 -
5. (p → q) ↔ (∼
∼ p ∨ q)
p q ∼ p p → q ∼p ∨ q (p → q) ↔ (∼
∼ p ∨ q)
T T F T T T
T F F F F T
F T T T T T
F F T T T T
6. (p ∧ ∼ q) ↔ (q → p)
p q ∼ q p ∧ ∼q q → p (p ∧ ∼ q) ↔ (q → p)
T T F F T F
T F T T T T
F T F F F T
F F T F T F
7. (∼
∼ p ∨ ∼ q ) ↔ ∼ (p ∧ q)
p q ∼ p ∼ q ∼p ∨ ∼q p ∧ q ∼ (p ∧ q) (∼
∼ p ∨ ∼ q ) ↔ ∼ (p ∧ q)
T T F F F T F T
T F F T T F T T
F T T F T F T T
F F T T T F T T
Q3. D etermine whether the following sta tem ent pa ttern is T AUT OLOGY or CONTR AD ICT ION or
neither
1. [ p ∧ (p → q)] → q
p q p → q p ∧ (p → q) [ p ∧ (p → q)] → q
T T T T T
T F F F T
F T T F T
F F T F T
Since a ll the truth va lues in the la st column a re ‘T’ , given sta tem ent is ‘Ta utolog y’
- 5 -
2. ( ∼ p ∨ q ) ∨ (q → p)
p q ∼ p ∼p ∨ q q → p ( ∼ p ∨ q ) ∨ (q → p)
T T F T T T
T F F F T T
F T T T F T
F F T T T T
Since a ll the truth va lues in the la st column a re ‘T’ , given sta tem ent is ‘Ta utolog y’
3. (p ∧ ∼ q) ↔ (p → q)
p q ∼ q p ∧ ∼q p → q (p ∧ ∼ q) ↔ (q → p)
T T F F T F
T F T T F F
F T F F T F
F F T F T F
Since a ll the va lues in the la st colum n are ‘F’ , given sta tement is ‘Contrad iction’
4. (p ∧ q) ∧ (p → ∼ q)
p q ∼ q p ∧ q p → ∼q (p ∧ q) ∧ (p → ∼ q)
T T F T F F
T F T F T F
F T F F T F
F F T F T F
Since a ll the va lues in the la st colum n are ‘F’ , given sta tement is ‘Contrad iction’
6. ( ∼ p ∧ ∼ q ) ∧ (q ∧ r)
p q r ∼p ∼q ∼p ∧ ∼q q ∧ r ( ∼ p ∧ ∼ q ) ∧ (q ∧ r)
T T T F F F T F
T T F F F F F F
T F T F T F F F
T F F F T F F F
F T T T F F T F
F T F T F F F F
F F T T T T F F
F F F T T T F F
Since a ll the va lues in the la st colum n are ‘F’ , given sta tement is ‘Contrad iction’
- 6 -
Q3. Prove tha t the following sta tements are LOGICALLY EQUIV ALENT
2. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
COL A COL B
p q r q ∨ r p ∧ q p ∧ r p ∧ (q ∨ r) (p ∧ q) ∨ (p ∧ r)
T T T T T T T T
T T F T T F T T
T F T T F T T T
T F F F F F F F
F T T T F F F F
F T F T F F F F
F F T T F F F F
F F F F F F F F
3. a) ∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
COL A COL B
p q ∼ p ∼ q p ∨ q ∼ (p ∨ q) ∼ p ∧ ∼ q
T T F F T F F
T F F T T F F
F T T F T F F
F F T T F T T
4. p ↔ q ≡ (p → q ) ∧ (q → p )
COL A COL B
p q p ↔ q p → q q → p (p → q ) ∧ (q → p )
T T T T T T
T F F F T F
F T F T F F
F F T T T T
5. p → q ≡ ∼ q → ∼ p ≡ ∼ p ∨ q
p q ∼ p ∼ q p → q ∼ q → ∼ p ∼ p ∨ q
T T F F T T T
T F F T F F F
F T T F T T T
F F T T T T T
- 7 -
7. (p ∨ q) → r ≡ (p → r) ∧ (q → r)
COL A COL B
p q r q ∨ r p ∨ q (p ∨ q) → r p → r q → r (p → r) ∧ (q → r)
T T T T T T T T T
T T F T T F F F F
T F T T T T T T T
T F F F T F F T F
F T T T T T T T T
F T F T T F T F F
F F T T F T T T T
F F F F F T T T T
Q4. if p and q are true statements and r , s are false statements , find the truth values
1. p ∨ ( q ∧ r)
2. (p ∧ ∼ r) ∧ (∼
∼ q ∧ s)
≡ ( T ∧ ∼ F ) ∧ (∼
∼ T∧F) R EC AL L AN D M EI N DON O
J AT HI I TS TRU E ; DON O
≡ (T∧T ) ∧ (F ∧F) N AHI J AT HI I TS FAL S E
≡ T ∧ F
(RECALL : AND MEIN EK
JATHI AND DOOSRI NAHI
≡ F JATHI ; ITS FALSE )
- 8 -
3. ∼ (p ∧ ∼ r) ∨ (∼
∼ q ∨ s)
≡ ∼ (T ∧ ∼ F ) ∨ ( ∼ T ∨ F )
≡ ∼ (T∧T ) ∨ (F ∨ F)
≡ ∼ T ∨ F O R M EI N DON O N AHI
J AT HI THEN I T I S FAL S E
≡ F ∨ F
≡ F
4. (p ∧ ∼ r) → (q ∧ s) 5. (p → q) → (q → r) → (r → s)
≡ ( T ∧ ∼F ) → ( T ∧ F ) ≡ (T → T) → ( T → F) → (F → F)
≡ (T∧T ) → (T ∧ F) ≡ T → F → T
≡ T → F ≡ F → T
≡ F ≡ T
Q6. from the following set of sta tem ents , identify the pa irs of sta tem ents ha ving sam e
m ea ning
BASED ON p → q ≡ ∼q →∼p
SOLUTION : Since P → Q ≡ ~ Q → ~ P
- 9 -
2 a) if a man is rich then he buys a car ≡ R → C
SOLUTION : Since P → Q ≡ ~ Q → ~ P
R → C ≡ ~ C→
→ ~ R ; statement (a) & (d) have same meaning
≡ P → Q
≡ ~ P ∨ Q
≡ P → Q
≡ ~ P ∨ Q
Q8. R ewrite the sta tement rem oving the connective ‘if a nd only if’ a nd using the
≡ P ↔ Q
≡ (P → Q) ∧ (Q → P)
≡ (~P ∨ Q) ∧ (~Q ∨ P)
- 10 -
b ) T he d ema nd falls if and only if the price increases
≡ P ↔ Q
≡ (P → Q) ∧ (Q → P)
≡ (~P ∨ Q) ∧ (~Q ∨ P)
≡ Demand does not f all or price i ncreases and Price does not increase or
demand falls
Q9. Write CONVERSE – CONTRA-POSITIVE – INVERSE for the given conditional statements
SOLUTION :
CONVERSE : Q → P
CONTRAPOSITIVE : ~ Q → ~ P
INVERSE : ~ P → ~ Q
SOLUTION :
CONVERSE : Q → P
CONTRAPOSITIVE : ~ Q → ~ P
INVERSE : ~ P → ~ Q
- 11 -
3. if a man is a bachelor , then he is unhappy
SOLUTION :
CONVERSE : Q → P
CONTRAPOSITIVE : ~ Q → ~ P
INVERSE : ~ P → ~ Q
SOLUTION :
CONVERSE : Q → P
CONTRAPOSITIVE : ~ Q → ~ P
INVERSE : ~ P → ~ Q
SOLUTION :
LET P → Q ≡ if the women in the family are literate then the family becomes literate
CONVERSE : Q → P
If the family becomes literate then the women in the family are literate
CONTRAPOSITIVE : ~ Q → ~ P
If the family does not become literate then the women in the family are not literate
INVERSE : ~ P → ~ Q
if the women in the family are not literate then the family does not becomes literate
- 12 -
6. Quadrilateral is a rhombus only if it is a parallelogram
SOLUTION :
CONVERSE : Q → P
CONTRAPOSITIVE : ~ Q → ~ P
INVERSE : ~ P → ~ Q
Q10. W rite the NEGAT IONS of the following sta tem ents
De Morgan’s Law ∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
∼ (p ∧ q ) ≡ ∼ p ∨ ∼ q
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
4. It is cold or it is raining
U si ng : ~(P ∨ Q) ≡ ~ P ∧ ~ Q
- 13 -
5. I will ha ve tea or coffee
U si ng : ~(P ∨ Q) ≡ ~ P ∧ ~ Q
U si ng : ~(P ∨ Q) ≡ ~ P ∧ ~ Q
U si ng : ~(P ∨ Q) ≡ ~ P ∧ ~ Q
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
10. the tea cher must have b oth cha risma a nd diploma cy
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
U si ng : ~(P ∨ Q) ≡ ~ P ∧ ~ Q
Ne g at io n : Ashok does not r ead daily newspaper DN A AN D Ashok does not read
TOI
- 14 -
~(P → Q) ≡ P ∧ ~ Q
U si ng : ~(P → Q) ≡ P ∧ ~ Q
U si ng : ~(P → Q) ≡ P ∧ ~ Q
Ne g at io n : Di agonals of par allelogr am are per pendicu lar and i t i s not a rhombu s
U si ng : ~(P → Q) ≡ P ∧ ~ Q
16. if the lines are parallel then their slopes are equal
U si ng : ~(P → Q) ≡ P ∧ ~ Q
Ne g at io n : li nes are par allel and their slopes are not equ al
U si ng : ~(P → Q) ≡ P ∧ ~ Q
18. if 2 + 5 = 10 then 4 + 10 = 20
U si ng : ~(P → Q) ≡ P ∧ ~ Q
Ne g at io n : 2 + 5 = 10 and 4 + 10 ≠ 20
U si ng : ~(P → Q) ≡ P ∧ ~ Q
- 15 -
∼ (p ↔ q ) ≡ ( ∼ p ∧ q ) ∨ (p ∧ ∼ q )
OR
U si ng : ~(P ↔ Q) ≡ (P ∧ ~ Q) ∨ (Q ∧ ~ P)
OR
U si ng : ~(P ↔ Q) ≡ (P ∧ ~ Q) ∨ (Q ∧ ~ P)
OR
U si ng : ~(P ↔ Q) ≡ (P ∧ ~ Q) ∨ (Q ∧ ~ P)
OR
U si ng : ~(P ↔ Q) ≡ (P ∧ ~ Q) ∨ (Q ∧ ~ P)
OR
- 16 -
24. (a + b ) 2 = a 2 + b 2 if a nd only if ab = 0
U si ng : ~(P ↔ Q) ≡ (P ∧ ~ Q) ∨ (Q ∧ ~ P)
Ne g at io n : (a + b ) 2 = a 2 + b 2 and ab ≠ 0
OR
ab = 0 and (a + b) 2 ≠ a 2 + b 2
Q11. write NEGAT IONS of the following E VERY THIN G KA S OM ETH ING
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
U si ng : ~(P ∨ Q) ≡ ~ P ∧ ~ Q
- 17 -
7. some dogs are intelligent
W e ch a ng e ‘ Som et h in g’ to ‘No t hi n g’
Ne g at io n : No dog is intelligent
W e ch a ng e ‘ Som et h in g’ to ‘No t hi n g’
W e ch a ng e ‘ Som et h in g’ to ‘No t hi n g’
W e ch a ng e ‘N ot h in g’ to ‘S ome t hi n g’
W e ch a ng e ‘N ot h in g’ to ‘S ome t hi n g’
W e ch a ng e ‘ Som et h in g’ to ‘No t hi n g’
13. Some members of the Indian cricket team are not committed
Recall here we decided that since there is a ‘not’ in the given statement we will not
W e ch a ng e ‘ Som et h in g’ to ‘Ev e ry th i ng ’
Nega tion : Ever y member of the I ndi an cricket team is c ommi tted
W e ch a ng e ‘ Som et h in g’ to ‘Ev e ry th i ng ’
- 18 -
15. every integer is a rational and every rational is a real
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
Nega tion : Some i nteger s ar e not rational OR Some r ati onals are not real
16. All students have completed their homework and the teacher is present
W e ch a ng e ‘ Eve ry t hi n g’ to ‘S ome t hi n g’
U si ng : ~(P ∧ Q) ≡ ~ P ∨ ~ Q
Nega tion : Some stu dents have not completed their homework
OR
17. ∀ n ∈ N , n + 7 > 8
Negation : ∀ n ∈ N , n2 ≠ n
- 19 -
Q12. Using rules of nega tion , write d own the neg a tion of the following sta tem ents
1. ( p ∧ ∼ q ) ∧ ( ∼ p v ∼ q)
Solution : ∼ ( p ∧ ∼ q ) ∧ (∼ p v ∼ q)
≡ ( ∼ p ∨ q ) ∨ ( p ∧ q )
2. (∼ p ∧ ∼ q ) v ( p ∧ ∼ q)
Solution : ∼ ( ∼ p ∧ ∼ q ) v ( p ∧ ∼ q)
≡ ( p ∨ q ) ∧ (∼p ∨ q )
3. ( p ∧ q ) → ( ∼ p v r)
Solution : ∼ ( p ∧ q ) → ( ∼ p v r)
≡ ( p ∧ q ) ∧ ∼ ( ∼ p v r) ….. ~(P → Q) ≡ P ∧ ~ Q
≡ ( p ∧ q ) ∧ (p ∧ ∼ r )
4. p → ( q ∧ r )
Solution : ∼ p → ( q ∧ r )
≡ p ∧ ∼ (q ∧ r) ….. ~(P → Q) ≡ P ∧ ~ Q
5. (p → ∼ q ) ∧ ( ∼ q → p )
Solution : ∼ (p → ∼ q ) ∧ ( ∼ q → p )
≡ p ∧ ∼ (∼ q ) ∨ (∼ q ∧ ∼ p) ….. ~(P → Q) ≡ P ∧ ~ Q
≡ ( p ∧ q ) ∨ (∼q ∧ ∼ p )
- 20 -
D UALITY
T wo comp ound sta tements a re sa id to b e d ual of ea ch other if one can be ob ta ined from
1. (p ∨ q) ∧ r 2. (p ∧ t) ∨ (c ∧ ∼ q)
D UA L : (p ∧ q) ∨ r D UA L : (p ∨ c ) ∧ ( t ∨ ∼ q)
3. t ∨ (p ∧ q) 4. ∼ (p ∧ q) ∨ p ∧ ∼ (q ∨ ∼ s)
DUAL : c ∧ (p ∨ q) DUAL :
∼ (p ∨ q) ∧ p ∨ ∼ (q ∧ ∼ s)
5. (p ∨ q) ∨ r ≡ p ∨ (q ∨ r) 6. ∼ (p ∨ q) ∨ (∼
∼ p ∧ q) ≡ ∼ p
D UA L : D UA L :
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r) ∼ (p ∧ q) ∧ (∼
∼ p ∨ q) ≡ ∼ p
7. p ∧ (∼
∼ q ∨ c)
D UA L : p ∨ (∼
∼ q ∧ c)
8. (p → q) ∨ (q → p)
Solution
≡ (∼
∼ p ∨ q) ∨ (∼
∼ q ∨ p)
D UA L :
≡ (∼
∼ p ∧ q) ∧ (∼
∼ q ∧ p)
≡ p → q
≡ ∼p ∨ q
DUAL :
≡ ∼p ∧ q
Q15. Express the truth of ea ch of the following statem ent by VENN D IAGR AM
P ≡ set of a ll p rofessors E
- 22 -
4. co-op era tive ind ustry is a prop rietary firm
U ≡ set of a ll firm s
U
5. circle is a polyg on
H ≡ set of a ll Holiday s S
U ≡ set of a ll d ays in a y ea r
U
8. All na tural num bers a re rea l numb ers a nd x is not a na tura l numb er
P P
R.x R
.x
.x
U U
- 23 -
9. Some hardworking students a re ob edient
O ≡ set of a ll scholars T ≡ O
B ≡ set of a ll b owlers
W B
U ≡ set of a ll p lay ers in a cricket team
U
N ≡ set of a ll na va l p ersons
S ≡ set of all students ; H ≡ set of all scholars ; U ≡ set of all human beings
S H S H
U U
P ≡ set of all politicians ; A ≡ set of all actors ; U ≡ set of all human beings
P A P A
U U
Statement (c) statement (a) & (b)
17. Some Isosceles tria ng les are not equila tera l tria ng les
( Som e Isosceles tria ng les a re not eq uila tera l triangles but a ll eq uila tera l tria ng les
a re isosceles )
E ≡ set of a ll eq uila tera l tria ng les
I
( Som e recta ng les are sq ua res and a ll sq ua res are recta ng les )
R ≡ set of a ll rectang les
R
S ≡ set of a ll sq ua res S
- 25 -
19. Some rea l numb ers a re integ ers
( Som e rea l numb ers a re integers b ut all integers are rea l numb ers )
S ≡ set of a ll integers I
( Som e ra tiona l numb ers are not integ ers b ut all integers a re ra tional numb ers )
Q ≡ set of a ll ra tiona l numbers
Q
I ≡ set of a ll integers I
1. p ∨ (q ∧ ∼ q) ≡ p
Solution : p ∨ (q ∧ ∼ q)
2. p ∨ (∼
∼ p ∧ q) ≡ p ∨ q
Solution p ∨ (∼
∼ p ∧ q)
- 26 -
. 3. ∼ (p ∨ q) ∨ (∼
∼ p ∧ q) ≡ ∼ p
Solution ∼ (p ∨ q) ∨ (∼
∼ p ∧ q)
≡ (∼
∼ p ∧ ∼ q) ∨ (∼
∼ p ∧ q) ……… De Morgan’s Law
4. p ∧ (∼
∼ p ∨ q) ∨ ∼ q ≡ p
Solution p ∧ (∼
∼ p ∨ q) ∨ ∼ q
5. p ∧ (q ∨ r) ∨ (∼
∼ r ∧ ∼ q) ∧ p ≡ p
Solution p ∧ (q ∨ r) ∨ p ∧ (∼
∼ q ∧ ∼ r) ……… Commutative Law
≡ p ∧ (q ∨ r) ∨ (∼
∼ q ∧ ∼ r) ……… Distributive Law
6. (p ∧ q) ∨ (p ∧ ∼ q) ∨ (∼
∼ p ∨ ∼ q) ≡ t
Solution (p ∧ q) ∨ (p ∧ ∼ q) ∨ (∼
∼ p ∨ ∼q )
≡ p ∧ ( q ∨ ∼ q ) ∨ (∼
∼ p ∨ ∼q ) ……… Distributive Law
≡ ( p ∧ t ) ∨ (∼
∼ p ∨ ∼q ) ……… Complement Law
≡ p ∨ (∼
∼ p ∨ ∼ q ) ……… Identity Law
- 27 -
7. (p ∧ q) ∨ (p ∧ ∼ q) ∨ (∼
∼ p ∧ ∼ q) ≡ p ∨ ∼q
Solution (p ∧ q) ∨ (p ∧ ∼ q) ∨ (∼
∼ p ∧ ∼q )
≡ p ∧ ( q ∨ ∼ q ) ∨ (∼
∼ p ∧ ∼q ) ……… Distributive Law
≡ ( p ∧ t ) ∨ (∼
∼ p ∧ ∼q ) ……… Complement Law
≡ p ∨ (∼
∼ p ∧ ∼ q ) ……… Identity Law
8. (p ∨ q) ∧ ∼ p → q is a tautology
Solution (p ∨ q) ∧ ∼ p → q
≡ ∼ (q ∧ ∼ p) ∨ q ……… P→
→Q ≡ ∼P ∨ Q
≡ (∼
∼ q ∨ p) ∨ q ……… DeMorgan’s Law
≡ q ∨ (∼
∼ q ∨ p) ……… Commutative Law
- 28 -