Scribd
Upload
84 views3 pages

Mathematical Foundation For Computer Applications (22mca11) - II Ia Question Bank

Uploaded by

Megha Raj
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
84 views3 pages

Mathematical Foundation For Computer Applications (22mca11) - II Ia Question Bank

Uploaded by

Megha Raj
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

DEPARTMENT OF MATHEMATICS

MATHEMATICAL FOUNDATION FOR COMPUTER APPLICATIONS


22MCA11
QUESTION BANK – II IA
1. Using laws of logic prove the following:
(a) ( ~𝑝 ∨ ~𝑞 ) → (𝑝 ∧ 𝑞 ∧ 𝑟) ≡ 𝑝 ∧ 𝑞 (b) (𝑝 → 𝑞 ) ∧ (~𝑞 ∧ (𝑟 ∧ ~𝑞 )) ≡ ~(𝑝 ∨ 𝑞)
2. Show that the following argument is valid. If Today is Tuesday, I have a test in
Mathematics (or) Economics. If my Economics professor is sick, I will not have a test in
Economics. Today is Tuesday and my Economics professor is sick. Therefore, I have a
test in Mathematics.
3. Give (i) a direct proof (ii) an indirect proof (iii) a proof by contradiction, for the following
statement “If n is an odd integer the n+9 is an even integer”.
4. Test the validity of the argument:
∀𝑥, [𝑝(𝑥) → 𝑞(𝑥)
∀𝑥, [𝑞(𝑥) → 𝑟(𝑥)
∃𝑥, ¬𝑟(𝑥 )
⸫∃𝑥, ¬𝑝(𝑥 )
5. Define Universal Quantifier and Existential Quantifier with an example.
6. Test the validity of the statement, “If Socrates is a man, Socrates is mortal. Socrates is a
man”. Therefore, Socrates is mortal.
7. Test whether the argument is valid:
If Sachin hits a century, then he gets a free car
Sachin hits a century
⸫ Sachin gets a free car
8. Let the universe be the set of all integers. Consider the following open statements
𝑝(𝑥 ): 𝑥 > 3, 𝑞 (𝑥 ): 𝑥 + 1 𝑖𝑠 𝑒𝑣𝑒𝑛, 𝑟(𝑥 ): 𝑥 ≤ 0
Write down the truth values of (i) 𝑝(2) (ii) 𝑝(3) ∨ ~𝑟(3)
9. Negate and simplify each of the following:
(i) ∃𝑥, [𝑝(𝑥) ∨ 𝑞(𝑥)
(ii) (ii) ∀𝑥, [𝑝(𝑥 ) ∧ ~𝑞(𝑥)]
(iii) (iii) ∃𝑥, [{𝑝(𝑥 ) ∨ 𝑞(𝑥 )} → 𝑟(𝑥 )]
(iv) ∀𝑥, [𝑝(𝑥) → 𝑞 (𝑥)]

10. Define converse, inverse and contrapositive of a conditional 𝑝 → 𝑞. State the converse,
inverse and contrapositive of the conditional, “If quadrilateral is a parallelogram, then
its diagonal bisects each other”.
11. Let 𝑅1 and 𝑅2 be the relations represented by the matrices
1 0 1 1 0 1
𝑀𝑅1 = (1 0 0 ) and 𝑀𝑅2 = (0 1 1)
0 1 0 1 0 0
Determine (i) 𝑅1 ∪ 𝑅2 (ii) 𝑅1 ∩ 𝑅2 (iii) 𝑅1 (iv) 𝑅2
12. Let 𝐴 = {1,2,3,4}, let 𝑅 = {(1,3), (1,1), (3,1), (1,2), (3,3), (4,4)} be a relation on A.
Determine whether R is reflexive, symmetric, anti-symmetric (or) transitive.
13. Discuss briefly on partitions and equivalence classes.
14. If 𝐴 = {1,3,5}, 𝐵 = {2,3}, 𝐶 = {4,6}. Find the following:
(i) (𝐴 ∪ 𝐵) × 𝐶 (ii) (𝐴 × 𝐵) ∪ 𝐶 (iii) (A× 𝐵) ∪ (𝐵 × 𝐶) (iv) (A× 𝐵) ∩ (𝐵 × 𝐴)
(v) 𝐴 ∩ (𝐵 × 𝐶)
15. Let 𝐴 = {1,2,3,4} and let R be the relation on A defined by 𝑥𝑅𝑦 if and only if “x
divides y”, 𝑥/𝑦.
(i) Write down R as a set of ordered pairs.
(ii) Draw the digraph of R.
(iii) Determine the in-degrees and out-degrees of the vertices in the digraph.
16. Let 𝐴 = {1,2,3,4} and 𝑅 = {(1,1), (1,2), (2,1), (2,2), (3,4), (4,3), (3,3), (4,4)} be a
relation on A. Verify that R is an equivalence relation.
17. Define partial order of relation R defined on a set A. Let 𝐴 = {1,2,3,4,6,12}, define the
relation R by 𝑎𝑅𝑏 if and only if a divides b. Prove that R is a partial order on A, draw
Hasse diagram for the relation.
18. Let 𝐴 = {𝑎, 𝑏, 𝑐} and R and S be the relation on A whose matrices are given as
1 0 1 1 0 0
𝑀𝑅 = (1 1 1) and 𝑀𝑆 = (0 1 1) . Find the composite relations
0 1 0 1 0 1
𝑅о𝑆, 𝑆о𝑅, 𝑅о𝑅, 𝑆о𝑆 and their matrices, digraphs.
19. Draw the Hasse diagram representing the positive divisors of 36.
20. Let 𝐴 = {1,2,3,4,5}. Define a relation R on 𝐴 × 𝐴 by (𝑥1 , 𝑦1 )𝑅 (𝑥2 , 𝑦2 ) if and only if
𝑥1 + 𝑦1 = 𝑥2 + 𝑦2
(i) Verify that R is an equivalence relation on 𝐴 × 𝐴.
(ii) Determine the equivalent classes [(1,3)], [(2,4)] and [(1,1].
21. Consider 𝐴 = {1,2,3,4,5,6,7,8,9,10,11,12}. The relation R is defined as (𝑥, 𝑦) ∈ 𝑅, if and
only if 𝑥 − 𝑦 is multiple of 5. Verify that R is an equivalence relation.

You might also like