DMS ASSIGNMENT-1

22691A3140
CAI-A
SOLUTIONS:
1 A)
{1} (1) ~RVP P
{2} (2) R P (Assumed Premise)
{1,2} (3) P T,(1),(2) & I10
{4} (4) P (Q→S)
→ P
{1,2,4} (5) Q->S T,(3),(4)& I11
{6} (6) Q P
{1,2,4,6} (7) S T,(5),(6)& I11
{1,2,4,6} (8) R→S CP

1 B)
{1} (1) PVQ P
{1} (2) ~P → Q T,(1),E1 & E16
{3} (3) Q→S P
{1,3} (4) ~P → S T,(2),(3) &I13
{1,3} (5) ~S → P T,4,E18 & E1
{1,3} (6) P →R P
{1,3,6} (7) ~S → R T,(5),(6) & I13
{1,3,6} (8) SVR T,E16,E1

2)
Statement:
1. If A and B are finite sets, then
|A U B|=|A|+|B|-|A n B|
2. If A, B and C are finite sets, the
|A U B U C|=|A|+|C|+|C|-|A n B|-|B n C|-|A n C|+|A n B n C|
3. If A1,A2,…,An are finite sets then
|A1 U A2 U…U An|=1∑ ≤r ≤ n
¿ Ar ∨¿ ¿ - ∑ ¿ Ar n As∨¿ ¿ + …
1 ≤r ≤ s ≤n
n-1
(-1) |A1 n A2 n A3 n … n An|
Proof:
Let A and B be any two finite sets, then
Either A n B =∅ or A n B ≠ ∅
Suppose
1. A U B = ∅
Then there is nothing to prove because
|A U B|=|A|+|B|
2. A n B ≠ ∅
Then following structure
B
A

AnB B-A
A-B

A U B=(A-B)U(A n B)U(B-A)
|A U B|=|A - B|+|A n B|+|B - A|→ eq1
Again from the above figure we have
A=(A - B) U (A n B) and B=(B - A) U (A n B)
|A|=|(A - B)|+|A n B| , |B|=|B-A|+|A n B|→eq 2 &eq3
|A|-|A n B|=|A - B| , |B|-|A n B|=|B - A|
Sub eq 2 & eq 3 in eq 1
|A U B|=|A|+|B|-|A n B|