0% found this document useful (0 votes)
101 views

Mathmatic Logic Test 3

The document contains 25 questions related to mathematical logic and propositional logic. The questions test concepts such as writing compound statements symbolically, determining truth values using truth tables, writing negations, converse/inverse/contrapositive of statements, quantifiers, logical equivalences, switching circuits, and more. Students are asked to solve each question, which is worth 3 marks, for a total of 75 marks.

Uploaded by

Srinivasa Padhi
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
0% found this document useful (0 votes)
101 views

Mathmatic Logic Test 3

The document contains 25 questions related to mathematical logic and propositional logic. The questions test concepts such as writing compound statements symbolically, determining truth values using truth tables, writing negations, converse/inverse/contrapositive of statements, quantifiers, logical equivalences, switching circuits, and more. Students are asked to solve each question, which is worth 3 marks, for a total of 75 marks.

Uploaded by

Srinivasa Padhi
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

CHATE COACHING CLASSES, CHAKAN TIME- 3HR

MARK-
CHATE COACHING CLASSES, CHAKAN
DATE-24/7/2022 MARK- 75

MATHEMATIC LOGIC
( EVERY QUSTION CONTAIN 3 MARK) 25*3= 75
Q.1. Write the following compound statements symbolically
i) If D ABC is right angled at B, then m ∠A + m ∠C = 90º
ii) x is not an irrational number but is a square of an integer.
iii) The angle is a right angle if and only if it is of measure 90º
Q.2. If the statements p, q are true statements and r, s are false statements then determine the truth
values of the following
i) ~[(~p ∧ r) ∨ (s → ~ q)] ↔ (p ∧ r)
ii) [(~p ∧ q) ∧ ~r ] ∨ [(q → p) → (~s ∨ r)]
iii) [~p ∧ (~q ∧ r)] ∨ [(q ∧ r) ∨ (p ∧ r)]
Q.3. Write the negations of the following.
i) Polygon ABCDE is a pentagon
ii) 3 is not a root of the equation x2 + 3x – 18 = 0
iii) Tirupati is in Andhra Pradesh
iv) 7 + 3 > 5
Q.4. Using truth tables, prove the following logical equivalences
i) p→(q ∨ r) ≡ (p → q) ∨ (p → r)
ii) p ↔ q) ≡ (p ∧ q) ∨ (~ p ∧ ~ q)
iii) (p ∧ q) ≡ ~ (p → ~ q)
Q. 5. Using truth tables, examine whether each of the following statements is a tautology,
contradiction, or contingency.
i) [(p ∨ q) ∨ r] ↔ [p ∨ ↔ q ∨ r)]
ii) p → q) ∧ [(q → r) → (p → r)]
iii) (p ∧ q) ∧ (~ p ∨ ~ q)
Q. 6. Using truth tables prove the following logical equivalences.
i) (p ∨ q ) → r ≡ (p → r) ∧ (q → r)
ii) p → (q ∧ r) ≡ (p ∧ q) (p → r)
iii) p ↔ q ≡ ~ [(p ∨ q) ∧ ~ (p ∧ q)]
iv) (p ∨ q ) → r ≡ (p → r) ∧ (q → r)
Q. 7. If A = {1, 2, 3, 4, 5, 6, 7}, determine the truth value of the following.
i) ∃ x ∈ A, such that x + 8 = 16
ii) ∀ x ∈ A, 8 – x < 7
iii) ∃ x ∈ A such that x – 4 = 3
Q. 8. Write the duals of each of the following :
i) p ∨ [(~ q ∧ (p ∨ q) ∧ ~ r]
ii) (p ∧ q) ∧ r ≡ p ∧ (q ∧ r )
iii) (p ∨ q) ∧ t
Q. 9. Write the negations of the following.
i) A number is an even number if and only if it is divisible by 2.
ii) The number is neither an odd nor a perfect square
iii) 3 + 3 < 5 or 5 + 5 = 9
Q. 10. Write the negations of the following statements.
i) Some students of class X are sixteen years old.
ii) All natural numbers are rational
iii) ∃ n ∈ N such that n + 8 > 11
iv) ∀ x ∈ N, 2x + 1 is odd
Q. 11. Write the converse, inverse, and contrapositive of the following statements.
i) If a function is differentiable then it is continuous.
ii) If it rains then the match will be canceled.
Q. 12. If A = {3, 5, 7, 9, 11, 12}, determine the truth value of each of the following.
i) ∃ x ∈ A such that 3x + 8 > 40
ii) ∀ x ∈ A, x is an even number
iii) ∃ x∈ A such that x2 < 0
CHATE COACHING CLASSES, CHAKAN TIME- 3HR
MARK-

Q. 13. Write the duals of each of the following.


i) (p ∨ q) ∧ (r ∨ s)
ii) [~ (p ∨ q)] ∧ [p ∨~ (q ∧ ~ s)]
iii) ~ p ∧ (~ q ∧ (p ∨ q) ∧ ~ r)
Q. 14. Write the negations of the following.
i) If it is raining then we will go and play football.
ii) All natural numbers are whole numbers.
iii) ∃ x ∈ N such that x – 17 < 20
iv) Quadrilateral is a square if and only if it is a rhombus.
Q. 15. Rewrite the following statements without using if .. then.
i) If 2 is a rational number then √2 is an irrational number.
ii) It f(2) = 0 then f(x) is divisible by (x – 2).
iii) If a man is a judge then he is honest.
Q. 16. Without using the truth table prove that :
i) ~ [(p ∨ ~ q) → (p ∧ ~ q)] ≡ (p ∨ ~ q) ∧ (~ p ∨ q)
ii) (p ∧ q) ∨ (~ p ∧ q) ∨ (p ∧ ~ q) ≡ p ∨ q
iii) (p ∨ q) ∧ (p ∨ ~ q) ≡ p
Q. 17. Construct switching circuits of the following.
i) [(p ∨ (~ p ∧ q)] ∨ [(~ q ∧ r) ∨ ~ p]
ii) [(p ∧ r) ∨ (~ q ∧ ~r)] ∨ (~ p ∧ ~ r)
iii) ) (p ∧ q ∧ r) ∨ [p ∨ (q ∧ ~ r)]
Q. 18 Construct the switching circuit of the following:
i) (p ∧ ~ q ∧ r) ∨ [p ∧ (~ q ∨ ~r)]
ii) (p ∧ r) ∨ (~q ∧ ~ r)] ∧ (~ p ∧ ~ r)
iii) p ∨ (~ p ) ∨ (~ q) ∨ (p ∧ q)
iv) (p ∧ r) ∨ (~q ∧ ~ r)] ∧ (~ p ∧ ~ r)
Q. 20 Write the truth values of the following statements:
i) ∀n ∈ N, n2 + n is an even number while n2 – n is an odd number.
ii) √5 is irrational and 5 is a complex number.
iii) ∃ n ∈ N such that n + 5 > 10
iv) The square of any even number is odd or the cube of an odd number is odd.
Q. 21. If A = {1, 2, 3, 4, 5, 6, 7, 8, 9}, determine the truth value of each of the following statement :
i) ∃ x ∈ A such that x + 8 = 15.
ii) ∀ x ∈ A, x + 5 < 12
iii) ∃ x ∈ A, such that x + 7 ≥ 11
Q. 22. Determine whether the following statement patterns are tautologies contradictions or
contingencies:
i) [(p ∨ ~q) ∨ (~p ∧ q)] ∧ r
ii) [(p ∨ q) ∧ ~p] ∧ ~q
iii) (p → q) ∧ (p ∧ ~q)
iv) (p ∧ q) ∨ (~p ∧ q) ∨ (p ∨ ~q) ∨ (~p ∧ ~q)
Q.23. Express circuit diagram in symbolic form.
CHATE COACHING CLASSES, CHAKAN TIME- 3HR
MARK-

Q.24 simplifies the following the new circuit minimum number of switches.

Q.25 Give an alternative arrangement of the switching following circuit.

You might also like