12th Commerce Maths 1 Chapter 1 Exercise 1.6 Answers Maharashtra Board

Mathematical Logic Class 12 Commerce Maths 1 Chapter 1 Exercise 1.6 Answers Maharashtra Board

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

Std 12 Maths 1 Exercise 1.6 Solutions Commerce Maths

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-Solutions

(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-Solutions

(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-Solutions

(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-Solutions

(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-Solutions

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-Solutions

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-Solutions

(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.

✨ Free AI tutor

Ask the AI tutor about Class 12 Commerce Maths Book Chapter 1

Stuck on a question? Type it, 🎤 speak it or 📷 snap a photo of it and get simple, step-by-step help with “Mathematical Logic Ex 1.6” — important questions, a quick quiz, revision notes — in English, मराठी or हिंदी.

Sign in with Google to ask the AI tutor. It's free — 20 questions a day, one TalentJR account.

Sign in to ask

How the free AI tutor works →

👩‍🏫 Class 12 Commerce Maths Book classes near you — online or at home

Prefer a real teacher? TalentJR teachers take live online classes anywhere in India and visit homes in selected cities. Tell us what you need and our team will call you with timings and fees.

Live online classesSmall groups or 1:1 with a teacher, from home, any city.
Teacher at homeA TalentJR teacher visits your home (selected cities).
At a centreClasses at a TalentJR partner centre near you, where available.

Keep learning