Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

Balbharati Maharashtra State Board 12th Commerce Maths Solution Book Pdf Chapter 1 Mathematical Logic Ex 1.6 Questions and Answers.

Maharashtra State Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

Question 1.
Prepare the truth tables for the following statement patterns:
(i) p → (~p ∨ q)
Solution:
Here are two statements and three connectives.
∴ there are 2 × 2 = 4 rows and 2 + 3 = 5 columns in the truth table.
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q1 (i)

(ii) (~p ∨ q) ∧ (~p ∨ ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q1 (ii)

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

(iii) (p ∧ r) → (p ∨ ~q)
Solution:
Here are three statements and 4 connectives.
∴ there are 2 × 2 × 2 = 8 rows and 3 + 4 = 7 columns in the truth table.
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q1 (iii)

(iv) (p ∧ q) ∨ ~r
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q1 (iv)

Question 2.
Examine, whether each of the following statement patterns is a tautology or a contradiction or a contingency:
(i) q ∨ [~(p ∧ q)]
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q2 (i)
All the entries in the last column of the above truth table are T.
∴ q ∨ [~(p ∧ q)] is a tautology.

(ii) (~q ∧ p) ∧ (p ∧ ~p)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q2 (ii)
All the entries in the last column of the above truth table are F.
∴ (~q ∧ p) ∧ (p ∧ ~p) is a contradiction.

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

(iii) (p ∧ ~q) → (~p ∧ ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q2 (iii)
The entries in the last column are neither all T nor all F.
∴ (p ∧ ~q) → (~p ∧ ~q) is a contingency.

(iv) ~p → (p → ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q2 (iv)
All the entries in the last column of the truth table are T.
∴ p → (p → ~q) is a tautology.

Question 3.
Prove that each of the following statement pattern is a tautology:
(i) (p ∧ q) → q
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q3 (i)
All the entries in the last column of the above truth table are T.
∴ (p ∧ q) → q is a tautology.

(ii) (p → q) ↔ (~q → ~p)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q3 (ii)
All the entries in the last column of the above truth table are T.
∴ (p → q) ↔ (~q → ~p) is a tautology.

(iii) (~p ∧ ~q) → (p → q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q3 (iii)
All the entries in the last column of the above truth table are T.
∴ (~p ∧ ~q) → (p → q) is a tautology.

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

(iv) (~p ∨ ~q) ↔ ~(p ∧ q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q3 (iv)
All the entries in the last column of the above truth table are T.
∴ (~p ∨ ~q) ↔ ~(p ∧ q) is a tautology.

Question 4.
Prove that each of the following statement pattern is a contradiction:
(i) (p ∨ q) ∧ (~p ∧ ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q4 (i)
All the entries in the last column of the above truth table are F.
∴ (p ∨ q) ∧ (~p ∧ ~q) is a contradiction.

(ii) (p ∧ q) ∧ ~p
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q4 (ii)
All the entries in the last column of the above truth table are T.
∴ (p ∧ q) ∧ ~p is a contradiction.

(iii) (p ∧ q) ∧ (~p ∨ ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q4 (iii)
All the entries in the last column of the above truth table are F.
∴ (p ∧ q) ∧ (~p ∨ ~q) is a contradiction.

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

(iv) (p → q) ∧ (p ∧ ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q4 (iv)
All the entries in the last column of the above truth table are F.
∴ (p → q) ∧ (p ∧ ~q) is a contradiction.

Question 5.
Show that each of the following statement pattern is a contingency:
(i) (p ∧ ~q) → (~p ∧ ~q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q5 (i)
The entries in the last column of the above truth table are neither all T nor all F.
∴ (p ∧ ~q) → (~p ∧ ~q) is a contingency.

(ii) (p → q) ↔ (~p ∧ q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q5 (ii)
The entries in the last column of the above truth table are neither all T nor all F.
∴ (p → q) ↔ (~p ∧ q) is a contingency.

(iii) p ∧ [(p → ~q) → q]
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q5 (iii)
The entries in the last column of the above truth table are neither all T nor all F.
∴ p ∧ [(p → ~q) → q] is a contingency.

(iv) (p → q) ∧ (p → r)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q5 (iv)
The entries in the last column of the above truth table are neither all T nor all F.
∴ (p → q) ∧ (p → r) is a contingency.

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

Question 6.
Using the truth table, verify:
(i) p ∨ (q ∧ r) = (p ∨ q) ∧ (p ∨ r)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q6 (i)
The entries in columns 5 and 8 are identical.
∴ p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r).

(ii) p → (p → q) ≡ ~q → (p → q)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q6 (ii)
The entries in columns 5 and 6 are identical.
∴ p → (p → q) ≡ ~q → (p → q)

(iii) ~(p → ~q) ≡ p ∧ ~(~q) ≡ p ∧ q
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q6 (iii)
The entries in columns 5, 7 and 8 are identical.
∴ ~(p → ~q) ≡ p ∧ ~(~q) ≡ p ∧ q.

(iv) ~(p ∨ q) ∨ (~p ∧ q) ≡ ~p
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q6 (iv)
The entries in columns 3 and 7 are identical.
∴ ~(p ∨ q) ∨ (~p ∧ q) ≡ ~p.

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

Question 7.
Prove that the following pairs of statement patterns are equivalent:
(i) p ∨ (q ∧ r) and (p ∨ q) ∧ (p ∨ r)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q7 (i)
The entries in columns 5 and 8 are identical.
∴ p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

(ii) p ↔ q and (p → q) ∧ (q → p)
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q7 (ii)
The entries in columns 3 and 6 are identical.
∴ p ↔ q ≡ (p → q) ∧ (q → p)

(iii) p → q and ~q → ~p and ~p ∨ q
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q7 (iii)
The entries in columns 5, 6 and 7 are identical.
∴ p → q ≡ ~q → ~p ≡ ~p ∨ q.

Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6

(iv) ~(p ∧ q) and ~p ∨ ~q
Solution:
Maharashtra Board 12th Commerce Maths Solutions Chapter 1 Mathematical Logic Ex 1.6 Q7 (iv)
The entries in columns 6 and 7 are identical.
∴ ~(p ∧ q) ≡ ~p ∨ ~q.

Leave a Comment