Internal Test Question Paper
Course: B.Sc. Computer Science
Semester: I
Subject: Mathematical Foundations - Symbolic Logic (Unit-wise)
Max Marks: 50 Time: 1 Hour 30 Minutes
PART A - (10 x 1 = 10 Marks)
Answer all questions
1. What is a proposition?
2. Write the truth value of the statement: "5 is an even number".
3. What symbol represents logical AND?
4. Define tautology.
5. What is the negation of a true statement?
6. What is the converse of an implication?
7. Write the symbolic form of: "If it rains, then I will stay home."
8. What is a contradiction?
9. What is the truth value of p p?
10. What do you mean by logical equivalence?
PART B - (5 x 2 = 10 Marks)
Answer any FIVE questions
11. Differentiate between simple and compound propositions.
12. Write the truth table for logical OR (p q).
13. Write the converse, inverse, and contrapositive of the statement: If it is hot, then I drink water.
14. Define implication and biconditional with symbols.
15. Translate into symbolic form: Either A is true or B is false.
16. What is the negation of the statement: All birds can fly?
17. Write the truth table for: (p q).
PART C - (3 x 10 = 30 Marks)
Answer any THREE questions
18. Construct truth tables for the following compound statements and determine if they are
tautology, contradiction, or contingency:
(a) p p
(b) p p
19. Prove the following equivalence using truth table:
(p q) p q (De Morgans Law)
20. Translate the following English sentences into symbolic form and vice versa:
(a) If I study, then I will pass.
(b) I will go to the park if and only if it is not raining.
(c) Either I will have coffee or I will sleep.
21. Explain the following concepts with examples:
(a) Tautology
(b) Contradiction
(c) Logical Equivalence
(d) Implication
22. Using truth tables, prove the logical equivalence:
(p q) (p q)