XII Sci.

MAHATMA BASWESHWAR COLLEGE, LATUR

Subejct : Mathematics
Mathematical logic
ASSIGNMENT
1. Which of the following is satement in 7. Let p : It is hot and q: It is raining then
logic ? the varbal translation of ~ p ~ q is
a] Listen to me you fool ! a] It is not hot or it is raining
b] 829 is dinsible by 9 b] It is not but it is no raining
c] Where are you going ? c] It is not hot or it is not raining
d] It is pink in colour d] It is hot and it is hot raining
2. Which of the following is not a statement 8. If p : Earth is planet and q : 16 is a perfect

L
is logic ? square then the truth value of p ~ q is
a] How nice ! a] T c] T or F
b] All right triangles are concurrent b] F d] T and F

C
c] the roots of equation 9. Using suitable logical connectives, write
2
x  3x  4  0 are complex the following compound statement in
d] 1 is less than - 3 symbolic form ‘It is cloudy and the moon
is not visible’

B
3. The truth value of the statement “ It is
flase that Ohm’s laws are related to a] ~ pq c] p ~ q
electricity’’ is b] p ~ q d] ~ p ~ q
a] T c] T or F 10. If p : The proof is lengthy and
b] F d] none q : It is interesting

M
4. The true statement is then the verbal form of p  q is
a] 6 is a prime number a] The proof is short and
b] every statement has one truth interesting
value b] The proof is lengthy but is
c] 8+2=10 statement has one truth interesting
value c] The proof is lengthy but is
d] It is false that william wordsworth interesting
was a poet d] neither proof is short and
5. The flase statement is interesting
a] A cyclic trapezium has its non - 11. If p : Dravid hits a century
parallel sides congruent q : Dravid is the captain of Indian
b] 3 + 1 = 4 or 6 + 1 = 8 cricket team
r : Dravid is happy.
c]  8 is a rational number
then the statement ‘Dravid hits a century
d] All quadratic equations need not and is the captain of Indian cricket team
have equal roots. but he is unhappy’ is denoted
6. The symbolic form of the statement ‘He symbollically as
is neither intelligent nor studious’ is
a] (p  q)  ~ r c] ~ (p  q)  r
a] pq c] ~ p ~ q
b] ~ (~ p ~ q) d] p ~ q b] (~ p  q  r) d] p  (q  r)

Mathematics /Mathematical logic/1

12. If p : x is an irrational number and q : x 20. Which of the following is true for two
is not a square of integer then the verbal statements p and q ?
form ~ p  ~ q stands for a] ~ (p  q)  ~ p  q
a] If x is not irrational then it is p  q  ~ (p ~ q)
b]
square of an integer
c] p  q ~ (q  p)
b] If x is rational then x is square of
an integer d] ~ (p  q)  ~ p ~ q
c] x is a rational number iff it is a 21. Which of the following is not true for
square of integer two simple statements p and q ?
d] x is a rational number iff x is not a] ~ (p  q)  ~ p ~ q
square of integer b] p  q  (p  q)  (q  p)
13. The turth value of the statement ‘ If 3+3
c] p ~ p  T
= 5 then 4 + 4 = 8’ is
a] T c] can’t say d] ~ pq  F
b] F d] none 22. Which of the following statement pattern
14. The idempotent law is is tautology ?
a] pq  p c] p p  p a] ~ p ~ q c] ~ (q  p)
b] pq  p d] p ~ q  T b] (~ p  q)  p d] (p  q)  p
15. For the statements p and q,  q  q  p
p 23. Which of the following statement pattern
is called the is contradiction ?
a] idempolent law a] (p  q) ~ p c] ~ [p ~ (p  q)]
b] commutative law b] pq d] q ~ p
c] associative law 24. Which of the following statement is
d] adsorption law neigther tautology nor contradiction.
16. Which of the following statements are a] p ~ p
true ? b] (p  q)  ~ (p  q)
i) The earth is round
c] (p  q)  (~ q ~ q)
ii ) Every set is a finite set
iii) 5 is a prime number d] p  (~ p  q)
iv) x2 - 3x - 4 = 0, x  R 25. The statement pattern (p  q)  (p ~ q)
a] (i) and (ii) c] (ii) and (iv) is
b] (i) and (iv) d] (i) and (iii) a] tautolgy c] cotingent
17. An implication statement is equivalent to b] contradiction d] none
its 26. The statement pattern
a] converse (p  q)  q  (~ p  ~ q) is a
b] inverse a] tautology
c] contrapositive b] contradiction
d] negation c] cotiengent
18. The statement pattern (p  q)  (q  p) d] none
is 27. If p,q are true statements and r, s are flase
a] tautology c] cotiengent statements then (p  q)  (~ r  s) is
b] contradiction d] none a] true c] can’t say
19. The statement pattern p  q is logically b] flase d] none
equivalent to
a] p ~ q c] ~ pq
b] ~ pq d] p ~ q

Mathematics /Mathematical logic/2

28. If the statements p, q, r and s are true then d] none
the truth value of the statement pattern 36. Two statements p  q and ~ (p  q) are
(~ p  q)  (r  s) ~ q is a] equivalent
a] true c] can’t say b] contradictions
b] flase d] none c] tautologies
29. Which of the statement patterns d] none
(i) p ~ p (ii) p ~ p 37. The biconditional statement p  q is
(iii) (~ p  ~ q)  (p  q) (iv) (~ p ~ q) logically equivalent to
are tautologies a] p ~ q c] ~ p ~ q
a] (i) and (ii) c] (ii) and (iv) b] ~ p  q d] ~ p ~ q
b] (i) and (iii) d] (ii) and (iii) 38. The dual of (p ~ p)  q is
30. The statement p  q is logically a] (p  q)  q c] F q
equivalent to the statement b] Tq d] F q
a] (p  q)  (q  p) 39. The negation of ‘All engineers are
b] (~ p  q)  (~ q  p) intelligent’ is
c] (p ~ q)  (q  ~ p) a] All engineers are not intelligent
b] Some engineers are not
d] (p  q)  (p  q)
intelligent
31. The statement p  q is not logically
c] Atleast one engineer is intelligent
equivalent to the statement.
d] none
a] qp c] ~ (~ p ~ q) 40. All negation of ‘Some men are animals’
b] ~ p ~ q d] none is
32. The statement pattern a] All men are animals
(p  q)  [~ q  (~ p ~ q)] is a b] Some men are not animals
a] tautology c] cotiengent c] No man is animal
b] contradiction d] none d] None
33. If (i) p  ~ q and p  q are cotingent 41. The negation of ‘If x = 1 then x2 = -1’ is
statements a] x  and x 2  1
(ii) (p  q)  (q  p) and pv ~ (p  q) are b] x  1 or x 2  1
tautologices c] x  1 or x 2  1
then the statements (i) and (ii) are
d] x  1 and x 2  1
a] both true
b] both flase 42. The negation of p  (p ~ q) is
c] (i) is true & (ii) is flase a] ~ pv (~ p ~ q)
d] (i) is false & (ii) is true b] ~ p  (~ p  q)
34. The negation of (p  q)  r is c] p  (~ p  q)
a] (p ~ q)  ~ r
d] ~ p  (p  ~ q)
b] (~ p  q)  ~ r
43. The negation of (p ~ q)  (p ~ q) is
c] (~ p ~ q)  r (~ p  q)  (p  ~ q)
a]
d] (~ p  ~ q) v ~ r b] (p ~ q)  (~ p  q)
35. Two statement patterns p  q and
c] (p ~ q)  (p ~ q)
~ (p ~ q) are
d] (~ p  q)  (~ p  q)
a] equivalent
b] tatiologies
c] contradictions
Mathematics /Mathematical logic/3
44. The truth values of p and q so that the 51. The negation of ( 10 > 5 or 2 < 7) is
statements p  q and p  q both are true a] 10 > 5 and 2 < 7
are respectively b] 10  5 or 2  7
a] T, T c] F, T c] 10  5 and 2  7
b] T, F d] F, F d] 10  5 and 2  7
45. If the statement (p  q) is true and 52. The truth values of 3 + 2 =6 or 7 + 3 = 10
(p  q)  q is false then p and q are 1 + 4 = 5 and 7 + 1 = 8 are
respectively a] T, T c] F, T
a] T, T c] F, T b] T, F d] F, F
b] T, F d] F, F 53. The negation of ‘you will not pass unless
46. Both statements (p  q) and (p  q)  q you study’ is
are false if a] you do not sudy but you will
a] p & q are true pass
b] p is true but q is flase b] you study and you will pass
c] p is flase and q is true c] you do not study or you will not
d] p & q are flase pass
47. The truth values of p, q, r if d] you study or you will not pass
54. In the truth table for the statement
(p ~ r)  (q  r) is flase are respectively
(p  q) ~ q has the last column
a] T, T, T c] T, F, T
b] F, T, T d] T, F, F a] T TT T c] TFFT
48. If p, q are true and r, s are flase then b] FFFF d] FTFT
which of the following statements is 55. The truth values in the last column of the
true? truth table for ~ p  [(p ~ q)  q] are
a] ~ [(p  ~ r)  (~ q  s)] a] TTTT c] FFFF
b] FTTF d] FFTT
b] (p  q)  (p ~ q)
56. The statement logically equivalent to
c] (p ~ q)  (~ p  q)
(p  q)  p is
d] [(p  q)  (q  r)]  (r  s)
a] (p  q)  (~ p  ~ q)
49. Which of the following is not logically
b] p  (p  q)  q
equivalent to the statement, ‘A real
number is either rational or irrational.’ c] (p  q) ~ q
a] If a real number is neither rational d] (p  q) ~ p
nor irrational then it is not real 57. Two statements (p  q)  r and
b] If a number is not rational and nor
p  (q  r) are
irrational then it is not real
a] tautologies
c] If a number is not real, it is
b] equivalent
neither rational nor irrational
c] negations of each other
d] If a number is real, it is either
d] contradictions
rational or irrational
58. The pair of two statements not logically
50. Truth values of p, q, r so that
equivalents is
~ (p  q)  (~ q  r) is true are
a] ~ (p ~ q) and ~ p ~ q
respectively
a] T, T, T c] T, F, T b] ~ (p ~ q) and (p  q)  ~ (p ~ q)
b] F, T, T d] T, F, F c] p and (p  p)  p
d] p ~ q and ~ (p  q)

Mathematics /Mathematical logic/4