Professional Documents
Culture Documents
MidSem A 10jan2022
MidSem A 10jan2022
IoD
P D vr
vPv* Cnegationegation
commutoti ve laO
vCP
Hence Proved
Proe
tertficatiop for P e *p va,
wsed above.
P NPv P
F T
F F
T
F F T T T
Therefore P PV
-x
D ves he Conunction).
Show+ha+ CavbA (vav> (bv s a
tautol0g
Cavb) A va ve) v (b)
reduction of
Cbv C
lavb Va(wa vc) v
Soe margan's lav
(NANN v@viv)ATo
(anNb Vavbue
a vavbvQ n va vb vcl
brc a
T A
T
C
PC)PC) = Co,o),(#,{2Y) (Y,),Gns
e depine a function
Pha
PCA
-CO,f2)
-3,41).
This fon cti on s t one - one dnd
dnd
to, thus abreetion.
similary oe can define eneral Punctiov,
Similartg
let set n C)=P and nCc)
n CA)= n e m C) - nCend
pe - o
po
PCA ha9 2 elemenis.
has 2 elements
CO has 2 elemevts
doing is
One oay op
prqy and
Ce x PCc) { vt,2934
= . Sp
X
T T
T T
T T
T T T
NP
T T T
F T
F F
T
T T
T
T T
F
F F T
( > (°FaD
T
T
T
T
T T
There fore,
T
T
T
as
sT an 'TV beth are injections
Case-
i s onto .
Cose-2
i s nto.
oitl
n Mis case
3
be deined as Ct)
he ctra thinq ts
heuh
Co Aoman
349t true thot fA E Panqe ofS
Therefore ts case to
gCtD) is incon
Countev eramp f
is mt onto.
stat ewm s
hence Ven
dispiod
()he there is a
A Set S is set to be nnite if
one o - one orrcsponcd enre brjecti on) betw e
S md a proper cubsel oof s
S.
numbevs ts in ftnite
is5
To shoo e t ofreat
betwee)
e need o Pind a bijectivve
S 1s aubset of R)
R -
S. Cohere
$:R( ). an
Sach t h t
a Oneone
his fueti on s clearly
because Por eoch valne of
uction
for ever 6 (
there eaists Such that
Aam
deine and
tanyashieh 's
contirous for all e )
onto.
Hene he function is
We have Proved he eistanee ef aa
beto een
one one corres pondence
R and its
C) ie, between
Sabset.
Tuerefore, Sct R f Pes aumbers is
n pinte.