Discrete Structure

More pdf : www.motivationbank.
in
Se
t–De
fini
t
ion
Asetisanunorder
edcoll
ect
ionofdif
fer
entel
ement
s.Asetcanbewri
tt
enexpl
ici
tl
yby
l
ist
ingit
selementsusi
ngsetbracket
.Iftheor
deroft
heelement
sischangedorany
el
ementofaseti
srepeat
ed,
itdoesnotmakeanychangesi
ntheset
.
SomeExampl
eofSet
s
 Asetofal
lposi
ti
vei
nteger
s
 Asetofal
lthepl
anet
sint
hesol
arsy
stem
L
IA
 Asetofal
lthest
atesi
nIndi
a
ER
 Asetofal
lthel
ower
casel
ett
ersoft
heal
phabet
AT
Re
pre
sent
ati
onofaSe
t
Set
scanber
epr
esent
edi
ntwoway
s−
M
Y
D
 Rost
erorTabul
arFor
m
U
ST
 SetBui
l
derNot
ati
on
Rost
erorTabul
arFor
m
KC
Thesetisrepr
esentedbyli
sti
ngalltheelement
scompr
isi
ngi
t.Theel
ement
sar
e
R
encl
osedwi
thi
nbracesandsepar
atedbycommas.
TU
Exampl
e1−Setofv
owel
sinEngl
i
shal
phabet
,A={
a,e,
i
,o,
u}
AK
Exampl
e2−Setofoddnumber
slesst
han10,
B={
1,3,
5,
7,
9}
SetBui
l
derNot
ati
on
Theseti
sdefinedbyspeci
fyi
ngapr oper
tyt
hatel
ement
soft
hesethav
eincommon.
Theseti
sdescri
bedasA={x: p(
x)}
Exampl
e1−Theset{
a,e,
i
,o,
u}i
swr
it
tenas−
A={x:
xisav
owel
inEngl
i
shal
phabet
}
Exampl
e2−Theset{
1,3,
5,
7,
9}i
swr
it
tenas−
More pdf : www.motivationbank.in
B={x:
1≤x<10and(
x%2)≠0}
I
fanelementxi
samemberofanysetS,i
tisdenot
edbyx∈Sandi
fanel
ementyi
s
notamemberofsetS,
iti
sdenot
edbyy∉S.
Exampl
e−I
fS={
1,1.
2,1.
7,2}
,1∈Sbut1.
5∉S
SomeI
mpor
tantSet
s
N−t
hesetofal
lnat
ural
number
s={
1,2,
3,4,
..
..
.}
Z−t
hesetofal
li
nteger
s={
..
..
.,
−3,
−2,
−1,
0,1,
2,3,
..
..
.}
L
IA
Z+ −t
hesetofal
lposi
ti
vei
nteger
s
ER
Q−t
hesetofal
lrat
ional
number
s
AT
R−t
hesetofal
lreal
number
s M
Y
W −t
hesetofal
lwhol
enumber
s
. I N
D
ES
NOT
U
Car
dinal
i
tyofaSe
t
ST
Car
dinal
it
KTU
yofasetS,denot
edby| S|
,i
st henumberofel
ement
soft
heset
.Ifasethas
KC
ani
nfini
tenumberofelements,
itscar
dinal
it
yis∞.
R
Exampl
e−|
{1,
4,3,
5}|
=4,
|{1,
2,3,
4,5,
…}|
=∞
TU
I
fther
ear
etwoset
sXandY,
AK
 |
X|=|
Y|r
epr
esent
stwoset
sXandYt
hathav
ethesamecar
dinal
i
ty,
ift
her
eexi
stsabi
j
ect
ive
f
unct
ion‘
f’f
rom Xt
oY.
 |
X|≤|
Y|r
epr
esent
ssetXhascar
dinal
i
tyl
esst
hanorequalt
othecar
dinal
i
tyofY,i
fther
e
exi
stsani
nject
ivef
unct
ion‘
f’f
rom Xt
oY.
 |
X|<|
Y|r
epr
esent
ssetXhascar
dinal
i
tyl
esst
hant
hecar
dinal
i
tyofY,i
fther
eisani
nject
ive
f
unct
ionf
,butnobi
j
ect
ivef
unct
ion‘
f’f
rom Xt
oY.
 I
f|X|
≤|Y|
and|
X|≤|
Y|t
hen|
X|=|
Y|
Downloaded from Ktunotes.in

Ty
pesofSe
ts
Set
scanbecl assi
fiedint
omanyt y
pes.Someofwhi
char
efi
nit
e,i
nfi
nit
e,subset
,
uni
ver
sal
,pr
oper,si
nglet
onset
,et
c.
Fi
nit
eSet
Asetwhi
chcont
ainsadef
ini
tenumberofel
ement
siscal
l
edaf
ini
teset
.
Exampl
e−S={
x|x∈Nand70>x>50}
I
nfi
nit
eSet
L
Asetwhi
chcont
ainsi
nfi
nit
enumberofel
ement
siscal
l
edani
nfi
nit
eset
.
IA
ER
Exampl
e−S={
x|x∈Nandx>10}
Subset
AT
AsetYi
sasubsetofsetX(
Wri
tt
enasX⊆Y)i
fev
eryel
ementofXi
M sanel
ementofset
Y.
Y
. I N
D
Example1−Let,
X={1,2,3,
4,5,
S
6}andY={1,
E
2}.Her
esetXi
sasubsetofsetYas
NOT
U
al
ltheel
ement
sofsetXi
sinsetY.Hence,
wecanwri
teX⊆Y.
ST
Example2−Let
KTU
,X={ 1,2,3}andY={ 1,2,3}
.HeresetXi sasubset(
Notapr
oper
KC
subset
)ofsetYasal
ltheelement
sofsetXisinsetY.Hence,
wecanwrit
eX⊆Y.
R
Pr
operSubset
TU
Thet
erm“
propersubset
”canbedef
inedas“
subsetofbutnotequalt
o”.ASetXi
sa
propersubsetofsetY(
Wri
tt
enasX⊂Y)i
fev
eryel
ementofXi
sanel
ementofsetY
AK
and|X|<|Y|
.
Exampl
e−Let ,
X={ 1,2,
3,4,
5,6}andY={1,2}.Her
esetXisapr
opersubsetofsetY
asatl
eastoneelementi
smorei
nsetY.Hence,
wecanwr i
teX⊂Y.
Uni
ver
sal
Set
Iti
sacol l
ect
ionofallel
ementsinapart
icul
arcont
extorappl
icat
ion.Allt
hesetsinthat
contextorappl
icat
ionareessenti
all
ysubsetsoft
hisuniv
ersalset.Univ
ersalset
sar e
repr
esentedasU.
Exampl
e−Wemaydef
ineUast
hesetofal
lani
mal
sonear
th.I
nthi
scase,setofal
l

mammal sisasubsetofU,setofal
lfi
shesi
sasubsetofU,setofal
linsect
sisa
subsetofU,
andsoon.
Empt
ySetorNul
lSet
Anempt
ysetcont
ainsnoel
ements.I
tisdenotedby∅.Ast henumberofelement
sin
anempt
yseti
sfi
nit
e,empt
yseti
saf i
nit
eset.Thecar
dinal
i
tyofemptysetornul
lseti
s
zer
o.
Exampl
e−∅ ={
x|x∈Nand7<x<8}
Si
ngl
etonSetorUni
tSet
L
IA
Si
ngl
etonsetoruni
tsetcont
ainsonl
yoneel
ement
.Asi
ngl
etonseti
sdenot
edby{
s}.
ER
Exampl
e−S={
x|x∈N,
7<x<9}
AT
Equal
Set
I
ftwoset
scont
aint
hesameel
ement
stheyar
esai
dt M
obeequal
.
Y
Exampl
e−IfA={ 1,
2,6}andB={ 6,
1,2},t
I
heyar
. N
eequalasever
yelementofsetAi
san
D
ES
NOT
U
el
ementofsetBandever
yelementofsetBisanelementofsetA.
ST
Equi
val
entSet
KTU
KC
I
fthecar
dinal
i
tiesoft
woset
sar
esame,
theyar
ecal
l
edequi
val
entset
s.
R
Example−IfA={ 1,2,6}andB={ 16,17,22}

,theyar
eequi
val
entascar
dinal
i
tyofAi
s
equal
tothecar
dinali
tyofB.i
.e.|
A|=|B|=3
TU
Ov
erl
appi
ngSet
AK
Twoset
sthathav
eatl
eastonecommonel
ementar
ecal
l
edov
erl
appi
ngset
s.
I
ncaseofov
erl
appi
ngset
s−
 n(
A∪B)=n(
A)+n(
B)−n(
A∩B)
 n(
A∪B)=n(
A−B)+n(
B−A)+n(
A∩B)
 n(
A)=n(
A−B)+n(
A∩B)
 n(
B)=n(
B−A)+n(
A∩B)

Example−Let,A={ 1,2,6}andB={
6,12,42}
.Ther
eisacommonel
ement‘
6’
,hence
theseset
sar
eov er
lappingset
s.
Di
sj
ointSet
I
ftwosetsCandDar
edisj
ointset
sast
heydonothav
eev
enoneel
ementi
ncommon.
Ther
efor
e,n(
A∪B)=n(A)+n(B)
Example−Let,A={1,
2, 6}andB={
7,9,
14}
,ther
eisnocommonel
ement
,hencet
hese
setsar
eover
lappi
ngsets.
Ve
nnDi
agr
ams
L
IA
Venndiagram,i
nvent
edin1880byJohnVenn,isaschemat
icdi
agr
am t
hatshowsal
l
ER
possi
blelogi
cal
rel
ati
onsbet
weendi
ff
erentmathemat
ical
set
s.
AT
Exampl
es
M
Y
. I N
D
ES
NOT
U
ST
KTU
KC
Se
tOpe
rat
i
ons
R
TU
SetOper
ati
onsi
ncl
udeSetUni
on,SetI
nter
sect
ion,SetDi
ff
erence,Compl
ementofSet
,
andCar
tesi
anPr
oduct
.
AK
SetUni
on
Theuni
onofset
sAandB( denot
edbyA∪B)i
sthesetofel
ement
swhi
char
einA,
inB,
ori
nbothAandB.Hence,
A∪B={ x|
x∈AORx∈B} .
Example−IfA={10,11,12,13}andB={13,14,15}
,thenA∪B={
10,11,12,13,14,
15}.(
Thecommonelementoccursonl
yonce)

SetI
nter
sect
ion
Theint
ersect
ionofsetsAandB(denot
edbyA∩B)i
sthesetofel
ement
swhi
char
ein
bot
hAandB.Hence, A∩B={ x|
x∈AANDx∈B} .
L
Exampl
e−I
fA={
11,
12,
13}andB={
13,
14,
15}
,thenA∩B={
13}
.
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
ST
SetDi
ff
erence/Rel
ati
veCompl
ement
Thesetdi
ff
er KTU
enceofset
sAandB(denot
edbyA−B)i
sthesetofel
ement
swhi
char
e
KC
onl
yinAbutnotinB.Hence,
A−B={x|x∈AANDx∉B} .
R
Example−IfA={10,
11,12,13}andB={
13,
14,15}
,then(
A−B)={
10,
11,
12}and(
B−
TU
A)={14,15}
.Her
e,wecansee(A−B)≠(B−A)
AK
Compl
ementofaSet
Thecompl
ementofasetA(
denot
edbyA’
)ist
hesetofel
ement
swhi
char
enoti
nsetA.
Hence,
A'={x|
x∉A} .

Mor
especi
fi
cal
l
y,A'
=(U−A)wher
eUi
sauni
ver
sal
setwhi
chcont
ainsal
lobj
ect
s.
Example−IfA={x|xbel
ongst
osetofoddi
nteger
s}t
henA'
={y|ydoesnotbel
ongt
o
setofoddi
nteger
s}
L
Car
tesi
anPr
oduct/Cr
ossPr
oduct
IA
TheCartesianproductoftwosetsisthesetofal lpossibleorder
edpair
swhosef i
rst
ER
el
ementisf rom t
hefir
stsetandthesecondelementi sfrom thesecondset.I
nsimple
AT
l
anguage,theCar t
esi
anproductist
hedirectproductoft heelementsoftwosets.I
fA
andBaret wononempt ysets,t
hentheCartesi
anpr
M oductisdefi
nedasfol
lows:
Y
AxB={
(a,
b)|a∈Aandb∈B}
. I N
D
ES
NOT
U
TheCar
tesi
anpr
oductoft
woset
sAandB,
denot
edbyAxBi
sdef
inedast
hecol
lect
ion
ST
KTU
ofal
lor
der
edpai
rs(
a,b)sucht
hat'
a'i
sanel
ementofAand'
b'i
stheel
ementofB.
I
nsett
heor
eti
cnot
ati
on,
theCar
tesi
anpr
oducti
sgi
venby
KC
AxB={
(a,
b)|aϵ
ϵA,
bϵϵB}
R
Exampl
e1:
TU
LetA={
1,2,
3}andB={
a,b,
c}
ThenAxB={
(1,
a),
(1,
b),
(1,
c),
(2,
a),
(2,
b),
(2,
c),
(3,
a),
(3,
b),
(3,
c)}
AK
Exampl
e2:
LetA={
Book,
Pen,
Penci
l
}andB={
1,2}
ThenAxB={
(Book,
1),
(Book,
2),
(Pen,
1),
(Pen,
2),
(Penci
l
,1)
,(Penci
l
,2)
}
TheCart
esi
anproductofnnumberofset sA1,A2 .
..
..
An,def
inedasA1×A2 ×.
..
..×An,ar
e
theor
der
edpai
r(x1,x2,.
..
.xn)wher
ex1 ∈A1,
x2 ∈A2,.
..
..
.xn∈An
Exampl
e−I
fwet
aket
woset
sA={
a,b}andB={
1,2}
,
TheCar
tesi
anpr
oductofAandBi
swr
it
tenas−A×B={
(a,
1),
(a,
2),
(b,
1),
(b,
2)}

TheCar
tesi
anpr
oductofBandAi
swr
it
tenas−B×A={
(1,
a),
(1,
b),
(2,
a),
(2,
b)}
Powe
rSe
t
PowersetofasetSi sthesetofal lsubsetsofSi ncl
udi
ngtheemptyset
.The
car
dinal
i
tyofapowersetofasetSofcardi
nali
tyni
s2n.Powerseti
sdenot
edasP(S)
.
Exampl
e−
ForasetS={
a,b,
c,d}l
etuscal
cul
atet
hesubset
s−
 Subset
swi
th0el
ement
s−{
∅}(
theempt
yset
)
L
IA
 Subset
swi
th1el
ement−{
a},
{b}
,{c}
,{d}
ER
 Subset
swi
th2el
ement
s−{
a,b}
,{a,
c},
{a,
d},
{b,
c},
{b,
d},
{c,
d}
AT
 Subset
swi
th3el
ement
s−{
a,b,
c},
{a,
b,
d},
{a,
c,
d},
{b,
c,
d}
M
Y
 Subset
swi
th4el
ement
s−{
a,b,
c,
d}
. I N
D
Hence,P(S)={{ ∅},{
a},{
b},{
c},{
d},{
a,
ES
b}
,{a,
c},{
a,d}
,{b,
c},{
b,d}
,{c,
d},{
a,b,
c},{
a,b,
d},
NOT
U
{
a,c,
d},{
b,c,
d},
{a,
b,
c,
d}}
ST
|
P(S)|
=24=16 KTU
KC
Not
e−Thepowersetofanempt
yseti
sal
soanempt
yset
.
R
TU
|
P({
∅})|
=20=1
AK
RELATI
ONS
Wheneverset
sarebeingdi
scussed,t
her el
ati
onshi
pbetweent
heelement
softheset
s
i
sthenextthi
ngthatcomesup.Relationsmayexistbet
weenobj
ectsoft
hesameset
orbet
weenobject
softwoormor esets.
De
fini
t
ionandPr
ope
rti
es
Abinar
yrel
ati
onRfrom setxt
oy(wr
it
tenasxRyorR(x,y
))isasubsetoft
heCar
tesi
an
pr
oductx×y.Ift
heorder
edpai
rofGi
sr ev
ersed,
ther
elat
ional
sochanges.
Gener
all
yann-
aryr
elat
ionRbet
weenset
sA1,.
..,
andAni
sasubsetoft
hen-
arypr
oduct

A1×..
.×An.Themi
nimum car
dinal
i
tyofar
elat
ionRi
sZer
oandmaxi
mum i
sn2 i
nthi
s
case.
Abi
nar
yrel
ati
onRonasi
ngl
esetAi
sasubsetofA×A.
Fortwodist
inctsets,AandB,havi
ngcar
dinal
i
tiesm andnr
espect
ivel
y,t
hemaxi
mum
car
dinal
i
tyofar el
ati
onRf r
om AtoBismn.
Domai
nandRange
I
fther
ear
etwoset
sAandB,
andr
elat
ionRhav
eor
derpai
r(x,
y),
then−
L
IA
 Thedomai
nofRi
stheset{x|
(x,
y)∈Rf
orsomeyi
nB}
ER
 Ther
angeofRi
stheset{y|
(x,
y)∈Rf
orsomexi
nA}
AT
Exampl
es
Let
,A={
1,2,
9}andB={
1,3,
7} M
Y
 Case1−I
frel
ati
onRi
s‘equal
to’
thenR={
(
.
1,
I
1),
(
N
3,
3)}
D
ES
NOT
U
ST
 Case2−I
frel
ati
onRi
s‘l
esst
han’
thenR={
(1,
3),
(1,
7),
(2,
3),
(2,
7)}
 Case3−I
frel
atKTU
i
onRi
s‘gr
eat
ert
han’
thenR={
(2,
1),
(9,
1),
(9,
3),
(9,
7)}
KC
Re
pre
sent
ati
onofRe
lat
i
onsus
ingGr
aph
R
Ar
elat
ioncanber
epr
esent
edusi
ngadi
rect
edgr
aph.
TU
Thenumberofv er
ti
cesi
nthegraphisequaltot
henumberofel ementsinthesetfr
om
AK
whi cht
herel
ationhasbeendefi
ned.Foreachorder
edpair(x,y
)intherel
ationR,t
here
willbeadir
ectededgefrom t
hev er
tex‘
x’tover
tex‘y’
.Ift
hereisanorderedpair(
x,x)
,
therewil
lbeself-l
ooponver
tex‘
x’.
Suppose,ther
ei sarel
ati
onR={ (
1,1)
,(1,
2),(
3,2)
}onsetS={
1,2,3}
,itcanbe
repr
esentedbythef
oll
owinggr
aph−

L
Ty
pesofRe
lat
i
ons
IA
ER
 TheEmpt
yRel
ati
onbet
weenset
sXandY,
oronE,
ist
heempt
yset∅
AT
 TheFul
lRel
ati
onbet
weenset
sXandYi
sthesetX×Y
 TheI
dent
it
yRel
ati
ononsetXi
stheset{
(x,
M
x)|
x∈X}
Y
. I N
D
 TheI
nver
seRel
ati
onR'
ofar
elat
ionRi
S
sdef
E
inedas−R’
={(
b,a)|
(a,
b)∈R}
NOT
U
ST
KTU
Exampl
e−I
fR={
(1,
2),
(2,
3)}t
henR’
wil
lbe{
(2,
1),
(3,
2)}
KC
 Ar
elat
ionRonsetAi
scal
l
edRef
lexi
vei
f∀a∈Ai
srel
atedt
oa(
aRahol
ds)
.
R
Exampl
e−Ther
elat
ionR={
(a,
a),
(b,
b)}onsetX={
a,b}i
sref
lexi
ve
TU
 Ar
elat
ionRonsetAi
scal
l
edI
rr
efl
exi
vei
fnoa∈Ai
srel
atedt
oa(
aRadoesnothol
d).
AK
Exampl
e−Ther
elat
ionR={
(a,
b),
(b,
a)}onsetX={
a,b}i
sir
ref
lexi
ve
 Ar
elat
ionRonsetAi
scal
l
edSy
mmet
ri
cifxRyi
mpl
i
esy
Rx,
∀x∈Aand∀y
∈A.
Exampl
e−Ther
elat
ionR={
(1,
2),
(2,
1),
(3,
2),
(2,
3)}onsetA={
1,2,
3}i
ssy
mmet
ri
c.
 Ar
elat
ionRonsetAi
scal
l
edAnt
i-
Symmet
ri
cifxRyandy
Rxi
mpl
i
esx=y∀x∈Aand∀y∈A.
Exampl
e−Ther
elat
ionR={
(1,
2),
(3,
2)}onsetA={
1,2,
3}i
sant
isy
mmet
ri
c.
 Ar
elat
ionRonsetAi
scal
l
edTr
ansi
ti
vei
fxRyandy
Rzi
mpl
i
esxRz
,∀x,
y,
z∈A.

Exampl
e−Ther
elat
ionR={
(1,
2),
(2,
3),
(1,
3)}onsetA={
1,2,
3}i
str
ansi
ti
ve
 Ar
elat
ioni
sanEqui
val
enceRel
ati
oni
fiti
sref
lexi
ve,
symmet
ri
c,andt
ransi
ti
ve.
Exampl
e−Ther
elat
ionR={
(1,
1),
(2,
2),
(3,
3),
(1,
2),
(2,
1),
(2,
3),
(3,
2),
(1,
3),
(3,
1)}onsetA=
{
1,2,
3}i
sanequi
val
encer
elat
ionsi
ncei
tisr
efl
exi
ve,
symmet
ri
c,andt
ransi
ti
ve.
Rel
ati
onmat
ri
xandgr
aphf
orr
elat
ion
IfS={s1,...,sn}andT={ t
1,...,tm}arefi
nit
esetsandR⊆S×Tisabinar
y
rel
ations,t
hentheadjacencymat
ri
xAR oftherel
ati
onRi st
hen×m mat
ri
xwhoser
ows
L
areindexedbySandcol umnsbyTdefinedby
IA
ER
As,t=1i
f(s,
t)∈R;
AT
=0ot
her
wise.
I
fthesetsSandTar
eequal
,theni
tiscust
M
omar
ytoputt
her
owsi
nthesame
Y
or
derasthecol
umns.
. I N
D
ES
NOT
U
ST
KTU
KC
R
TU
Ar
elat
ioncanal
sor
epr
esent
edpi
ctor
ial
l
ybydr
awi
ngi
tsgr
aph.
AK
LetRbear el
ationinsetX.heelementsofXarerepr
esentedbypoint
sorcir
clescal
l
ed
nodesorv
er t
ices.ifxiRxji
e,(
xi,
xj)∈R,t
henweconnectnodesxiandxjbymeansofan
arcwit
hproperarrowsandthuswegetagr aphforr
elat
ionR
PRACTI
CEPROBLEMS

1)LetS={1,
2,3,
4}andR={
(x,
y)|x>y
}.Dr
aw t
hegr
aphofRandal
sogi
vei
ts
rel
ati
onmat
ri
x.
2)Det
ermi
net hepr
oper
ti
esofr
elat
ionsgi
venbyt
hegr
aphsandal
sowr
it
ethe
rel
ati
onmatr
ix.
a)
L
IA
ER
AT
b)
M
Y
. I N
D
ES
NOT
U
ST
KTU
KC
R
TU
AK
c)

d)
L
IA
Par
ti
ti
oni
ngofaSe
t
ER
Par
tit
i ,sayS,i
on ofa set sa coll
ect
ion ofndi
sjoi s,sayP1,P2,.
ntsubset ..
… Pn,t
hat
AT
sat
isf
iesthef
oll
owingt
hreecondi
ti
ons−
M
 Pidoesnotcont
aint
heempt
yset
.
Y
. I N
D
ES
NOT
[Pi≠{
∅}f
oral
l0<i
≤n]
U
ST
 Theuni
onoft
KTU
hesubset
smustequal
theent
ir
eor
igi
nal
set
.
KC
[
P1 ∪P2 ∪.
..
..
∪Pn =S]
R
 Thei
nter
sect
ionofanyt
wodi
sti
nctset
sisempt
y.
TU
[
Pa ∩Pb ={
∅},
fora≠bwher
en≥a,
b≥0]
AK
Thenumberofpar
ti
ti
onsoft
heseti
scal
l
edaBel
lnumberdenot
edasBn.
Exampl
e
LetS={
a,b,
c,d,
e,f
,g,
h}
Onepr
obabl
epar
ti
ti
oni
ngi
s{a}
,{b,
c,d}
,{e,
f,g,
h}
Anot
herpr
obabl
epar
ti
ti
oni
ngi
s{a,
b},
{c,
d},
{e,
f,g,
h}
I
nthi
sway
,wecanf
indoutBnnumberofdi
ff
erentpar
ti
ti
ons.

Equi
val
enceRel
ati
ons
Anequi
val
encer
elat
iononaset i
sasubsetof ,
i.
e.,
acol
l
ect
ion ofor
der
edpai
rs
ofel
ement
sof ,sat
isf
yingcer
tai
npr
oper
ti
es.Wr
it
e" "t
omean i
sanel
ement
of ,
andwesay"i
srel
atedt
o,"t
hent
hepr
oper
ti
esar
e
1.Ref
lexi
ve: f
oral
l ,
2.Sy
mmet
ri
c: i
mpl
i
es f
oral
l
3.Tr
ansi
ti
ve: and i
mpl
y f
oral
l .
L
IA
/
/Saywear
easkedt
opr
ovet
hat"
="i
sanequi
val
encer
elat
ion.Wet
henpr
oceedt
o
ER
pr
oveeachpr
oper
tyabovei
ntur
n.
AT
 Ref
lexi
ve:Cl
ear
ly,
iti
str
uet
hata=af
oral
lval
uesa.Ther
efor
e,=i
sref
lexi
ve.
M
 Symmet
ri
c:I
fa=b,
iti
sal
sot
ruet
hatb=a.Ther
efor
e,=i
ssymmet
ri
c
Y
. I N
D
 Transi
ti
ve:I
fa=bandb=c,thi
ssayst
S
hatai
E sthesameasbwhichint
urni
sthe
NOT
U
sameasc.Soaisthent
hesameasc,soa=c,andthus=i
str
ansi
ti
ve.
ST
Thus=i
sanequi
val
KTU
encer
elat
ion.
//
KC
I
fRi
sanequi
val
encer
elat
ioni
nasetX,
thenD®,
thedomai
nofR,
isXi
tsel
f.
R
eg:
TU
a)Equal
i
tyofnumber
sonasetofr
eal
number
s.
b)Si
mil
ari
tyoft
ri
angl
esi
nasetoft
ri
angl
es.
AK
1)LetX={1,
2,
3,
4}andR={
(1,
1),(
1,4)
,(4,
1),(
4,4)
,(2,
2),(
2,3)
,(
3,2)
.(3,
3)}
.Wr
it
ethe
mat
ri
xRanddr
awi
tsgr
aph.Checkwhet
herRi
sanequi
val
encer
elat
ion.
2)LetX={1,
2,
3,
…,7}
andR={
(x,
y)|x-
yisdi
vi
sibl
eby3}
.Wr
it
ethemat
ri
xRanddr
aw
i
tsgr
aph.Checkwhet
herRi
sanequi
val
encer
elat
ion.
3)Gi
venasetS={1,
2,
3,
4,
5}.Fi
ndt
heequi
val
encer
elat
iononwhi
chgener
atest
he
par
ti
ti
on{1,
2,3,
4,5}
.Dr
awt
hegr
aphoft
her
elat
ion.

Par
ti
alOr
der
ing
Abi
nar
yrel
ati
onRonasetPi
scal
l
edapar
ti
alor
derr
elat
ionorapar
ti
alor
der
ing
i
ffRi
sref
lexi
ve,
ant
isy
mmet
ri
candt
ransi
ti
ve.
Apart
ialor
derisabi
nar
yrelat
ion"
≤"overasetPwhichi
sref
lexi
ve,
ant
isy
mmet
ri
c,and
t
ransi
ti
ve,i
.e.
,whi
chsat
isf
iesf
oral
la,b,andcinP:
 a≤a(
ref
lexi
vi
ty)
;
L
fa≤bandb≤a,
i thena=b(
ant
isy
mmet
ry)
;
IA

ER
 fa≤bandb≤c,
i thena≤c(
transi
ti
vi
ty)
.
AT
1)Showt
hatr
elat
ion‘
div
ides’
def
inedonNi M
sapar
ti
alor
derr
elat
ion.
Y
2)Checkwhethert
her
elat
ion‘
x y
’def
. Ii
N
nedonasetofposi
ti
vei
nteger
sisa
D
par
ti
alor
derr
elat
ion.
ES
NOT
U
ST
K TU
KC
Par
ti
all
yor
der
edset
s
R
ThesetPtoget
herwit
haparti
all
yor
der
edr
elat
ionRonasetPi
scal
l
edpar
ti
all
yor
der
d
TU
setandi
sdenotedby(P,
R).
AK
Let(p,≤)beapar ti
all
yor deredset.I
fforeveryx,y∈Pwehav eei
therx≤yandy≤x,
then≤i scall
edsimpl eor deri
ngorlinearorderi
ngonP,and( p,≤)iscal
ledatotal
l
y
orderedorsi
mpl yorderedset .I
ftwoobject
sar ealway
srel
atedinaposet,
iti
scal
leda
total
orderorli
nearorderorsi mpleor
der.
HasseDi
agr
ams
Hassedi
agr
amsar
emeantt
opr
esentpar
ti
alor
derr
elat
ions.Hassedi
agr
am i
sasi
mpl
e
pi
ctur
eofaf
ini
tepar
ti
all
yor
der
edset
.Concr
etel
y,oner
epr seachmemberofSas
esent

av
ert
exont
hepageanddr
awsal
i hatgoesupwar
net dfom xt
r oyi
fx<y
,andt
her
eis
nozsucht
hatx<z<y
.Int
hiscase,wesayycov
ersx,oryi
sani
mmedi
atesuccessor
ofx.Fur
ther
mor
eiti
srequi
redt
hatt
hev
ert
icesar
eposi
ti
onedi
nsuchawayt
hateach
l
i
nemeet
sexact
lyt
wov
ert
ices:i
tst
woendpoi
nts.Anysuchdi
agr
am (
giv
ent
hatt
he
v
ert
icesar
elabel
ed)uni
quel
ydet
ermi
nesapar
ti
alor
der
.
Exampl
es
LetA={
a,b,
c}beagiv
enf
ini
tesetandp(
A)i
tspowerset
.dr
awt
heHasse
di
agram of(p(
A),
≤)
L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
Iti
ssomewhat`
`messy
''andsomear
rowscanbeder
ivedf
rom t
ransi
ti
vi
ty
ST
anyway
.I
KTU
fwe
KC
omi
tal
ll
oops,
R
TU
omi
tal
lar
rowst
hatcanbei
nfer
redf
rom t
ransi
ti
vi
ty,
AK
dr
awar
rowswi
thoutheads,
under
standt
hatal
lar
rowspoi
ntupwar
ds,
t
hent
heabov
egr
aphsi
mpl
i
fiest
o

Thi
stypeofgraphi
scal
l
edaHassedi
agr
am,
iti
sof
tenusedt
orepr
esenta
par
ti
all
yorder
edset.
a)LetA={1,
2,
3,
9,
18}andf
oranya,
b A,
a bi
ffa|
b.
Dr
awt
heHassedi
agr
am oft
her
elat
ion.
Sol
uti
on:Fi
rsti
tiseasyt
over
if
ythatt
her
elat
ion def
inedabov
eisapar
ti
al
or
der
ing.Thedi
rect
edgr
aphofr
elat
ion i
s
L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
andt
heHassedi
agr
am i
s
ST
KTU
KC
R
TU
AK
(
a)
LetsetAbegi
venby
A={3,
4,5,
6,10,
12}
andabi
nar
yrel
atonRonAbedef
i inedby
(
x,y) R i
ffx|
y,

i
.e.(
x,y) Ri
fandonl
yifxdi
vdesy
i .Gi
veexpl
i
cit
lyRi
nter
msofi
tsel
ement
sand
dr
awt
hecor
respondi
ngHassedi
agr
am.
(
b)
Letanewbi
nar
yrel
atonR'
i hesetAgi
ont veni
n(a)bedef
inedby
(
x,y) R'i
fandonl
yifei
therx|
yory|x
andR'
'be t
he t
ransi
ti
ve cl e ofR'
osur . Use di
rect
ed gr
aphs t
o
r esentR,
epr R'andR'
'r
espect
ivel
y.Whi
choft
het
hreer
elat
ionsR,
R'andR'
'i
san
L
IA
equi
val
ence r
elat
ion? For t
he equi
val
ence r
elat
ion,gi
ve al
lthe di
sti
nct
ER
equi
val
encecl
asses.
AT
Sol
uti
on
M
(
a)
Y
sofsetA={3,
. I N
4,5,6,10,12} y3 A,
D
Amongal
ltheel
ement ,obv
iousl fori
nst
ance,
ES
NOT
U
di
vdes3,
i 6and12.Hencebyt
hedef
ini
ti
onoft
her
elat
ionRspeci
fi
edbyt
he
ST
quest
Li
i
kewi
se KTU ude(
on we concl 3,3)
,(
we
3,
6)and(
3,12)ar
e al
lel
ement
can
soft
he r
elat
ionR.
show
KC
hat(
t 4,4)
,(4,
12)
,(5,
5)(
,5,
10)
,(6,
6)(
,6,
12)
,(10,
10)
,(12,
12)ar
eal
lel sofR.I
ement n
R
f
actwehav
e
TU
R={(
3,3)
,(3,
6),
(3,
12)
,(4,
4),
(4,
12)
,(5,
5),
(5,
10)
,(6,
6),
(6,
12)
,(10,
10)
,(12,
12)}.
AK
Hencet
hedi
gr orRi
aphf s

L
whi
chi
nducest
hef
oll
owi
ngHassedi
agr
am
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
ST
KTU
KC
R
TU
a)l
etp={
1,2,
3,
4}and≤bet
her
elat
ion‘
l
esst
hanorequal
to’
.Dr
awt
heHassedi
agr
am.
AK
b)X={2,3,
6,
12,
24,
36}andr
elat
ion≤besucht
hatx≤yi
fxdi
vi
desy
.Dr
awt
heHasse
di
agram.
c)LetAbeasetoff
act
orsofapar
ti
cul
arposi
ti
vei
nteger‘
m’andl
et‘
≤’bet
her
elat
ion
di
vides.
Let(
P,≤)beapar
ti
all
yor
der
edsetandl
etA P.Anyel
ementx Pi
sanupperbound
f
orAi
fforal
la A,
a≤x.
Si
mil
arl
y,anyel
ementx Pi
sal
owerboundofAi
fforal
la A,
x≤a
a)Consi
derpar
ti
all
yor
der
edset(
p(A)
,≤)
.Consi
dersubsetBofp(
A)wher
eB=

{{
b,c}
,{
b},
{c}
}
upperboundsofB={
b,c}
,{a,
b,
c}
l
owerboundsofB= 
b)Consi
derC={{
a,c},
{c}
}
upperboundsofC={a,
c},
{a,
b,
c}
l
owerboundofC={
c},

L
IA
c)A={2,
3,
6} X={2,
3,
6,
12,
24,
36}
ER
AT
upperboundsofA={6,
12,
24,
36}
l
owerboundsofA=ni
l
M
Y
. I N
D
ES
NOT
U
ST
FUNCTI
ONS
KTU
KC
AFunct
ionassi
gnst
oeachel
ementofaset
,exact
lyoneel
ementofar
elat
edset
.
R
Funct
ions f
ind t
hei
r appl
i
cat
ion i
n v
ari
ous f
iel
ds l
i
ke r
epr
esent
ati
on of t
he
TU
comput
ati
onalcompl
exi
tyofal
gor
it
hms,count
ingobj
ect
s,st
udyofsequencesand
st
ri
ngs,
tonameaf
ew.Thet
hir
dandf
inalchapt
eroft
hispar
thi
ghl
i
ght
sthei
mpor
tant
AK
aspect
soff
unct
ions.
Func
ti
on–De
fini
t
ion
Afuncti
onormappi
ng(Defi
nedasf:X→Y)i
sarel
ati
onshi
pfrom el
ementsofonesetX
toelement
sofanot
hersetY(XandYarenon-
emptyset
s).Xiscal
ledDomainandYis
cal
ledCodomai
noffunct
ion‘
f’
.
Functi
on‘f’
isar
elat
iononXandYs. tf
oreachx∈X,t
hereexist
sauni
quey∈Ysuch
that(
x,y)∈R.xi
scall
edpre-
imageandyiscal
l
edi
mageoffuncti
onf
.

Afuncti
oncanbeonet oone,
manytoone( notonet
omany
).Af
unct
ionf
:A→Bi
ssai
d
t
obei nver
ti
blei
fther
eexi
stsafunct
iong:
B→A
I
nj
ect
i
ve/One
-to-
onef
unc
ti
on
Afunct
ionf
:A→Bisi
nject
iveorone-
to-
onef
unct
ioni
fforev
eryb∈B,t
her
eexi
stsat
mostonea∈Asucht
hatf(s)=t
.
Thi
smeansaf
unct
ionfi
sinj
ect
ivei
fa1 ≠a2i
mpl
i
esf
(a1)≠f
(a2)
.
Exampl
e
L
IA
 f
:N→N,
f(x)=5xi
sinj
ect
ive.
ER
 f
:Z+→Z+,
f(x)=x2 i
sinj
ect
ive.
AT
 f
:N→N,
f(x)=x2 i
snoti
nject
iveas(
−x)
2
=x2
Sur
jec
ti
ve/Ont
ofunc
ti
on
M
Y
Af unct
ionf:A→Bissur
ject
ive(ont
o)i
fthei
. I N
mageoffequal
sit
srange.Equi
val
ent
ly,
for
D
ES
NOT
U
everyb∈B, t
her
eexi
stssomea∈Asucht hatf
(a)=b.Thi
smeanst hatf
oranyyinB,
ST
KTU
thereexist
ssomexinAsucht haty=f
(x).
Exampl
e
KC
R
 f:
Z+→Z+,
f(x)=x2 i
ssur
ject
ive.
TU
 f:
N→N,
f(x)=x2 i
snoti
nject
iveas(
−x)
2
=x
2
AK
Bi
j
ect
i
ve/One
-to-
oneCor
res
ponde
nt
Af uncti
onf:A→Bi sbi j
ect
iveorone-
to-
onecor
respondenti
fandonl
yiffi
sbot
h
i
njecti
veandsur
ject
ive.
Pr
obl
em
Pr
ovet
hataf
unct
ionf
:R→Rdef
inedbyf
(x)=2x−3i
sabi
j
ect
ivef
unct
ion.
Expl
anat
ion−Wehav
etopr
ovet
hisf
unct
ioni
sbot
hinj
ect
iveandsur
ject
ive.
I
ff(
x1)=f
(x2)
,then2x1 −3=2x2 −3andi
timpl
i
est
hatx1 =x2.

Hence,
fisi
nject
ive.
Her
e,2x−3=y
So,
x=(
y+5)
/3whi
chbel
ongst
oRandf
(x)=y
.
Hence,
fissur
ject
ive.
Si
ncefi
sbot
hsur
ject
iveandi
nject
ive,
wecansayfi
sbi
ject
ive.
Compos
it
ionofFunc
ti
ons
L
Twofunct
ionsf:A→Bandg:B→Ccanbecomposedtogi
veacomposi
ti
ongof
.Thi
s
IA
i
safuncti
onfrom At
oCdefi
nedby(
gof
)(x)=g(
f(x)
)
ER
Exampl
e
AT
Letf
(x)=x+2andg(
x)=2x,
find(fog)
(x)and(gof
)(x)
Sol
uti
on
M
Y
(
fog)
(x)=f(
g(x)
)=f
(2x)=2x+2
. I N
D
ES
NOT
U
(
gof
)(x)=g(
f(x)
)=g(
x+2)=2(
x+2)=2x+4
ST
Hence,
(fog)
(x)≠(KTU
gof
)(x)
KC
SomeFact
saboutComposi
ti
on
R
TU
 I
ffandgar
eone-
to-
onet
hent
hef
unct
ion(
gof
)isal
soone-
to-
one.
AK
 I
ffandgar
eont
othent
hef
unct
ion(
gof
)isal
soont
o.
 Composi
ti
onal
way
shol
dsassoci
ati
vepr
oper
tybutdoesnothol
dcommut
ati
vepr
oper
ty.

Pe
rmut
ati
ons
Aper
mut
ati
oni
sanar
rangementofsomeel
ement
sinwhi
chor
dermat
ter
s.I
not
her
wor
dsaPer
mut
ati
oni
sanor
der
edCombi
nat
ionofel
ement
s.
Exampl
es
 Fr
om asetS={
x,y
,z}byt
aki
ngt
woatat
ime,
all
per
mut
ati
onsar
e−xy
,yx,
xz,
zx,
yz,
zy.
 Wehav
etof
orm aper
mut
ati
onoft
hreedi
gitnumber
sfr
om asetofnumber
sS={
1,2,3}
.
Di
ff
erentt
hreedi
gitnumber
swi
l
lbef
ormedwhenwear
ranget
hedi
git
s.Theper
mut
ati
on
wi
l
lbe=123,
132,
213,
231,
312,
321
L
IA
NumberofPer
mut
ati
ons
ER
Thenumberofper
mut
ati
onsof‘
n’di
ff
erentt
hingst
aken‘
r’atat
imei
sdenot
ed
AT
bynPrnPr
nPr=n!
(n−r
)!wh en
er !
=1.
2.3.
…..
(n−1)
.n. M
Y
Pr
oof−Lett
her
ebe‘
n’di
ff
erentel
ement
s.
. I N
D
ES
NOT
U
Ther
ear
ennumberofway
stof
il
lupt
hef
ir
stpl
ace.Af
terf
il
li
ngt
hef
ir
stpl
ace(
n−1)
ST
numberofel
Af
terf
il
li
ngt
ement
hef
ir
si
KTU
sl
eft
.Hence,t
standsecondpl
her
ace,
(
ear
e(n−1)way
stof
i
n−2)numberofel
l
lupt
hesecondpl
ement
sisl
eft
ace.
.Hence,
ther
e
KC
ar
e(n−2)way
stof
il
lupt
het
hir
dpl
ace.Wecannowgener
ali
zet
henumberofway
sto
R
f
il
lupr
-t
hpl
aceas[
n−(
r−1)
]=n−r
+1
TU
So,
thet
otal
no.ofway
stof
il
lupf
rom f
ir
stpl
aceupt
or-
th-
place−
AK
nPr=n(
n−1)
(n−2)
..
..
.(
n−r
+1)
=[
n(n−1)
(n−2)
..
.(
n−r
+1)
][
(n−r
)(n−r
−1)
−−−−−3.
2.1]
/[
(n−r
)(n−r
−1)
..
3.2.
1
Hence,
nPr=n!
/(n−r
)!
Somei
mpor
tantf
ormul
asofper
mut
ati
on
 I
fther enel
ear ement
sofwhi
cha1 ar
eal
i
keofsomeki
nd,a2 ar
eal
i
keofanot
herki
nd;a3 ar
e
al
i
keoft
hir
dki
ndandsoonandarar
eofr
t
h
ki
nd, e(
wher a1+a2+.
..
ar)
=n.

Then,
numberofper
mut
ati
onsoft
hesenobj
ect
sis=n!
/[
(a1!
)(
a2!
).
..
..
(ar1!
)]
.
 Numberofper
mut
ati
onsofndi
sti
nctel
ement
staki
ngnel
ement
satat
ime=nPn=n!
 Thenumberofper
mut
ati
onsofndi
ssi
mil
arel
ement
staki
ngrel
ement
satat
ime,whenx
par
ti
cul
art
hingsal
way
soccupydef
ini
t aces=n
epl −xpr-x.
 Thenumberofper
mut
ati
onsofndi
ssi
mil
arel
ement
swhenrspeci
fi
edt
hingsal
way
scome
t
oget
heri
s:r
!(
n−r
+1)
!
 Thenumberofper
mut
ati
onsofndi
ssi
mil
arel
ement
swhenrspeci
fi
edt
hingsnev
ercome
t
oget
heri
s:n!
−[r
!(
n−r
+1)
!]
L
 Thenumberofci
rcul
arper
mut
ati
onsofndi
ff
erentel
ement
stakenxel
ement
satt
ime
IA
=nPx
/x
ER
 Thenumberofci
rcul
arper
mut
ati
onsofndi
ff
erentt
hings=nPn/
n
AT
Pr
obl
ems
Pr
obl
em 1−Fr
om abunchof6di
ff
erentcar
ds, M
howmanyway
swecanper
mut
eit
?
Y
. I N
D
Sol
uti
on−Aswear
etaki
ng6car
dsatat
imef
rom adeckof6car
ds,t
heper
mut
ati
on
ES
NOT
U
wi
l
lbe6P6=6!
=7206P6=6!
=720
ST
Pr
obl
em 2−I
KTU
nhowmanyway
scant
hel
ett
ersoft
hewor
d'READER'
bear
ranged?
KC
Sol
uti
on−Ther
ear
e6l
ett
erswor
d(2E,
1A,
1Dand2R.
)int
hewor
d'READER'
.
R
be=6!
/[
(2!
)(
1!)
(1!
)(
2!)
]=180.
TU
Theper
mut
ati
onwi
l
l =6!
/[
(2!
)(
1!)
(1!
)(
2!)
]=180.
Pr
obl
em 3−I
nhowway
scant
hel
ett
ersoft
hewor
d'ORANGE'
bear
rangedsot
hatt
he
AK
consonant
soccupyonl
ytheev
enposi
ti
ons?
Sol
uti
on−Ther
ear
e3v
owel
sand3consonant
sint
hewor
d'ORANGE'
.Numberof
way
s ofar
rangi
ng t
he consonant
s among t
hemsel
ves =3P3=3!
=63P3=3!
=6.The
r
emai
ning3v
acantpl
aceswi
l
lbef
il
ledupby3v
owel
sin3P3=3!
=6way
s3P3=3! s.
=6way
Hence,
thet
otal
numberofper
mut
ati s6
oni ×6=366×6=36
Combi
nat
i
ons
Acombi
nat
ioni
ssel
ect
ionofsomegi
venel
ement
sinwhi
chor
derdoesnotmat
ter
.

Thenumberofal
lcombi
nat
ionsofnt
hings,
takenratat
imei
s−
nCr=n!
/r!
(n−r
)!
Pr
obl
em 1
Fi
ndt
henumberofsubset
soft
heset{
1,2,
3,4,
5,6}hav
ing3el
ement
s.
Sol
uti
on
Thecar
dinal
i
tyoft
heseti
s6andwehav
etochoose3el
ement
sfr
om t
heset
.Her
e,t
he
L
or
der
ingdoesnotmat
ter
.Hence,
thenumberofsubset
swi
l
lbe6C3=206C3=20.
IA
Pr
obl
em 2
ER
Ther
ear
e6menand5womeni
nar
oom.I
nhowmanyway
swecanchoose3menand
AT
2womenf
rom t
her
oom?
M
Y
Sol
uti
on
. I N
D
ES
NOT
U
Thenumberofway
stochoose3menf
r s6
om 6meni C36C3andt
henumberofway
s
ST
t
ochoose2womenf
r
KTU s5
om 5womeni C25C2
KC
Hence,
thet
otal
numberofway
sis−6C3×5C2=20×10=2006C3×5C2=20×10=200
R
Pr
obl
em 3
TU
Howmanyway
scany
ouchoose3di
sti
nctgr
oupsof3st
udent
sfr
om t
otal
9st
udent
s?
AK
Sol
uti
on
Letusnumbert
hegr
oupsas1,
2and3
Forchoosi
ng3st
udent
sfor1stgr
oup,
t s−9
henumberofway C3
Thenumberofway
sforchoosi
ng3st
udent
sfor2ndgr
oupaf
terchoosi
ng1stgr
oup
−6C3
Thenumberofway
sforchoosi
ng3st
udent
sfor3rd gr
oupaf
terchoosi
ng1stand
oup−3
2ndgr C3

Hence,
thet
otal s=9
numberofway C3×6C3×3C3=84×20×1=1680
Pi
geonhol
ePr
inc
ipl
e
I
n1834,Ger
manmat
hemat
ici
an,Pet
erGust
avLej
euneDi
ri
chl
et,st
atedapr
inci
ple
whi
chhecal
l
edt
hedr
awerpr
inci
ple.Now,
iti
sknownast
hepi
geonhol
epr
inci
ple.
Pi
geonhol
ePr
inci
plest
atest
hati
fther
ear
efewerpi
geonhol
est
hant
otalnumberof
pi
geonsandeachpi
geoni
sputi
napi
geonhol
e,t
hent
her
emustbeatl
eastonepi
geon
hol
ewi
thmor
ethanonepi
geon.I
fnpi
geonsar
eputi
ntom pi
geonhol
eswher
en>m,
L
t
her
e'sahol
ewi
thmor
ethanonepi
geon.
IA
ER
Exampl
es
AT
 Tenmenar
einar
oom andt
heyar
etaki
ngpar
tinhandshakes.I
feachper
sonshakeshands
atl
eastonceandnomanshakest M
hesameman’
shandmor
ethanoncet
hent
woment
ook
par
tint
hesamenumberofhandshakes.
Y
. I N
D
 Ther
emustbeatl
eastt
wopeopl
ei
ES
nabi
gci
tywi
tht
hesamenumberofhai
rsont
hei
rheads.
NOT
U
ST
TheI
ncl
usi
on-
Exc
lus
i
KTU
onpr
inc
ipl
e
KC
TheI
ncl
usi
on-
excl
usi
on pr
inci
plecomput
es t
he car
dinalnumberoft
he uni
on of
R
mul
ti
plenon-
disj
ointset
s.Fort
woset
sAandB,
thepr
inci
plest
ates−
TU
|
A∪B|
=|A|
+|B|
−|A∩B|
|
A∪B|
AK
Fort
hreeset
sA,
BandC,
thepr
inci
plest
ates−
|
A∪B∪C|
=|A|
+|B|
+|C|
−|A∩B|
−|A∩C|
−|B∩C|
+|A∩B∩C|
Thegener
ali
zedf
ormul
a−
∣
∣
⋃∏i
=1Ai
∣
∣=∑1≤i≤n|
<j Ai∩Aj
|+∑1≤i<k≤n|
<j Ai∩Aj
∩Ak|
−..
..
.+(
−1)
n−1|
A1∩.
..
∩A2|
Pr
obl
em 1
Howmanyi
nteger
sfr
om 1t
o50ar
eonl
ymul
ti
plesof2or3?

Sol
uti
on
Fr
om 1t
o100,
ther e5
ear 0/
2=25number
swhi
char
emul
ti
plesof2.
Ther e5
ear 0/
3=16number
swhi
char
emul
ti
plesof3.
Ther e5
ear 0/
6=8number
swhi
char
emul
ti
plesofbot
h2and3.
|
So,A|
=25,
|
B|=16and|
A∩B|
=8.
|
A∪B|
=|A|
+|B|
−|A∩B|
=25+16−8=33
Pr
obl
em 2
L
IA
I
nagr
oupof50st
udent
s24l
i
kecol
ddr
inksand36l
i
kehotdr
inksandeachst
udent
ER
l
i
kesatl
eastoneoft
het
wodr
inks.Howmanyl
i
kebot
hcof
feeandt
ea?
AT
Sol
uti
on
LetXbet
hesetofst
udent
swhol
i
kecol
ddr
i
M
nksandYbet
hesetofpeopl
ewhol
i
kehot
Y
dr
inks.
. I N
D
ES
NOT
U
|
So,X∪Y|
=50,|
X|=24,|
Y|=36
ST
|
X∩Y|
=|X|
+|Y|
−| KTU
X∪Y|
=24+36−50=60−50=10
KC
Hence,
ther
ear
e10st
udent
swhol
i
kebot
hteaandcof
fee.
R
RECURRENCERELATI
ONS
TU
AK
De
fini
t
ion
Ar
ecur
rencer
elat
ioni
sanequat
iont
hatr
ecur
siv
elydef
inesasequencewher
ethenext
t
ermi
saf
unct
ionoft
hepr
evi
oust
erms(
Expr
essi
ngFnassomecombi
nat
ionofFiwi
th
i
<n)
.
Exampl
e−Fi
bonacci
ser
ies:
Fn=Fn−1 +Fn−2,
TowerofHanoi
:Fn=2Fn−1 +1
Li
nearRe
cur
renc
eRe
lat
i
ons

Al
i
nearr
ecur
renceequat
ionofdegr
eeki
sar
ecur
renceequat
ionwhi
chi
sint
hef
ormat
xn=A1xn−1 +A2 xn−1+A3xn−1 +.
..Akxn−k(
Ani
saconst
antandAk≠0)onasequenceof
number
sasaf
ir
st-
degr
eepol
ynomi
al.
Thesear
esomeexampl
esofl
i
nearr
ecur
renceequat
ions−
Recur
rencer
elat
ions I
nit
ialv
alues Sol
uti
ons
Fn =Fn−1 +Fn−2 a1 =a2 =1 Fi

bonaccinumber
L
IA
Fn =Fn−1 +Fn−2 a1 =1,
a2 =3 Lucasnumber
ER
AT
Fn =Fn−2 +Fn−3 a1 =a2 =a3 =1 Padov
ansequence
M
Y
Fn =2Fn−1 +Fn−2 a1 =0,
I
a2 =1
. N Pel
lnumber
D
ES
NOT
U
ST
Howt
osol
vel
i
nearr
ecur
r
KTU
encer
elat
ion
KC
Suppose,
atwoor
der
edl
i
nearr
ecur
rencer
elat
ioni
s:Fn=AFn−1 +BFn−2wher
eAandBar
e
r
eal
number
s.
R
TU
Thechar
act
eri
sti
cequat
ionf
ort
heabov
erecur
rencer
elat
ioni
s−
AK
x2 −Ax−B=0
Thr
eecasesmayoccurwhi
l
efi
ndi
ngt
her
oot
s−
Case1−I
fthi
sequat
ionf
act
orsas(
x−x1)
(x−x1)=0andi
tpr
oducest
wodi
sti
nctr
eal
r
oot
sx1andx2,
thenFn=ax1n+bx2ni
sthesol
uti
on.[
Her
e,aandbar
econst
ant
s]
Case2−I
fthi
sequat
ionf
act
orsas(
x−x1)
2
=0andi
tpr
oducessi
ngl
erealr
ootx1,
then
Fn=ax1n+bnx1ni
sthesol
uti
on.
Case3−I
ftheequat
ionpr
oducest
wodi
sti
nctr
ealr
oot
sx1andx2 i
npol
arf
orm x1 =r∠

θandx2 =r∠(
−θ)
,thenFn=r
n
(
acos(
nθ)+bsi
n(nθ)
)ist
hesol
uti
on.
Pr
obl
em 1
Sol
vet
her
ecur
rencer
elat
ionFn=5Fn−1 −6Fn−2 wher
eF0 =1andF1=4
Sol
uti
on
Thechar
act
eri
sti
cequat
ionoft
her
ecur
rencer
elat
ioni
s−
x2 −5x+6=0,
L
IA
So,
(x−3)(
x−2)=0
ER
Hence,
ther
oot
sar
e−
AT
x1=3andx2 =2
M
Y
Ther
oot
sar
ereal
anddi
sti
nct
.So,
thi
sisi
nthef
orm ofcase1
. I N
D
ES
NOT
U
Hence,
thesol
uti
oni
s−
ST
KTU Fn=ax1n+bxn
KC
Her
e,Fn=a3n+b2n(
Asx1=3andx2=2)
R
TU
Ther
efor
e,
AK
1=F0 =a30 +b20 =a+b
4=F1 =a31 +b21 =3a+2b
Sol
vi
ngt
heset
woequat
ions,
wegeta=2andb=−1
Hence,
thef
inal
sol
uti
oni
s−
Fn=2.
3n+(
−1).2n=2.
3n−2n
Pr
obl
em 2

Sol
vet
her
ecur
rencer
elat
ionFn=10Fn−1−25Fn−2 wher
eF0 =3andF1 =17
Sol
uti
on
Thechar
act
eri
sti
cequat
ionoft
her
ecur
rencer
elat
ioni
s−
x2−10x−25=0,
So,
(x−5)
2
=0
Hence,
ther
eissi
ngl
ereal
rootx1 =5
L
IA
Ast
her
eissi
ngl
ereal
val
uedr
oot
,thi
sisi
nthef
orm ofcase2
ER
Hence,
thesol
uti
oni
s−
AT
Fn=ax1n+bnx1n M
Y
3=F0 =a.
50 +b.
0.50 =a
. I N
D
ES
NOT
U
17=F1 =a.
5 +b.
1
1.5 =5a+5b
1
ST
Sol
vi
ngt
heset
woequat
iKTU
ons,
wegeta=3andb=2/
5
KC
R
Hence,
thef
inal
sol
uti
oni
s−
TU
Fn=3.
5n+(
2/5).
n.2n
AK
Pr
obl
em 3
Sol
vet
her
ecur
rencer
elat
ionFn=2Fn−1 −2Fn−2 wher
eF0 =1andF1=3
Sol
uti
on
Thechar
act
eri
sti
cequat
ionoft
her
ecur
rencer
elat
ioni
s−
x2−2x−2=0
Hence,
ther
oot
sar
e−

x1=1+i
andx2 =1−i
I
npol
arf
orm,
x1=r∠θandx2 =r∠(
−θ)
,wher
er=√2andθ=π/4
Ther
oot
sar
eimagi
nar
y.So,
thi
sisi
nthef
orm ofcase3.
Hence,
thesol
uti
oni
s−
n
Fn=(
√2)(acos(
n.π/4)+bsi
n(n.π/4)
)
L
IA
0
1=F0 =(
√2)(acos(
0.π/4)+bsi
n(0.π/4))=a
ER
1
3=F1 =(
√2)(acos(
1.π/4)+bsi
n(1.π/4))=√2(a/
√2+b/
√2)
AT
Sol
vi
ngt
heset
woequat
ionswegeta=1andb=2 M
Y
. I N
D
Hence,
thef
inal
sol
uti
oni
s−
ES
NOT
U
ST
Fn=(
√2)
n(cos(
K U
n.π/4)+2si
T
n(n.π/4)
)
KC
Par
ti
cul
arSol
uti
ons
R
Ar
ecur
rencer
elat
ioni
scal
l
ednon-
homogeneousi
fiti
sint
hef
orm
TU
Fn=AFn−1+BFn−2+F(
n)wher
eF(
n)≠0
AK
Thesol
uti
on(
an)ofanon-
homogeneousr
ecur
rencer
elat
ionhast
wopar
ts.Fi
rstpar
tis
t
hesol
uti
on(
ah)oft
heassoci
atedhomogeneousr
ecur
rencer
elat
ionandt
hesecond
par
tist
hepar
ti
cul
arsol
uti
on(
at)
.So,
an=ah+at.
LetF(
n)=cxnandx1 andx2ar
ether
oot
soft
hechar
act
eri
sti
cequat
ion−
x2=Ax+ B whi
chi
sthechar
act
eri
sti
cequat
ionoft
heassoci
atedhomogeneous
r
ecur
rencer
elat
ion−

 I
fx≠x1 andx≠x2,
thenat=Axn
 I
fx=x1,
x≠x2,
thenat=Anxn
 I
fx=x1 =x2,
thenat=An2xn
Pr
obl
em
Sol
vet
her
ecur
rencer
elat
ionFn=3Fn−1 +10Fn−2+7.
5nwher
eF0 =4andF1=3
Sol
uti
on
L
Thechar
act
eri
sti
cequat
ioni
s−
IA
ER
x2−3x−10=0
AT
Or
,(x−5)
(x+2)=0
M
Or
,x1=5andx2 =−2
Y
. I N
D
Si
nce,
x=x1 andx≠x2,
thesol
uti
oni
s−
ES
NOT
U
ST
at=Anxn=An5n
KTU
KC
Af
terput
ti
ngt
hesol
uti
oni
ntot
henon-
homogeneousr
elat
ion,
weget−
R
An5n=3A(
n−1)
5n−1 +10A(
n−2)
5n−2 +7.
5n
TU
AK
Di
vi
dingbot
hsi
desby5n−2,
weget−
An52 =3A(
n−1)
5+10A(
n−2)
50+7.
52
Or
,25An=15An−15A+10An−20A+175
Or
,35A=175
Or
,A=5
So,
Fn=n5n+1

Hence,
thesol
uti
oni
s−
Fn=n5n+1+6.
(−2)
n
−2.
5n
Ge
ner
ati
ngFunc
ti
ons
Gener
ati
ng Funct
ionsr
epr
esent
s sequences wher
e each t
erm ofa sequence i
s
expr
essedasacoef
fi
ci
entofav
ari exi
abl naf
ormal
powerser
ies.
Mat
hemat
ical
l
y,f
orani
nfi
nit
esequence,saya0,a1,a2,
…………,ak,
………,t
hegener
ati
ng
L
f
unct
ionwi
l
lbe−
IA
ER
Gx=a0+a1x+a2x2+.
..
..
..
..
+akxk+.
..
..
..
..
=∑k=0∞akxkGx=a0+a1x+a2x2+.
..
..
..
..
+akxk+.
..
..
..
..
AT
=∑k=0∞akxk
SomeAr
easofAppl
i
cat
ion M
Y
Gener
ati
ngf
unct
ionscanbeusedf
ort
hef
oll
owi
ngpur
. N
poses−
I
D
ES
NOT
U
 Forsol
vi
ngav
ari
etyofcount
ingpr
obl
ems.Forexampl
e,t
henumberofway
stomake
ST
changef
KTU
oraRs.100not
ewi
tht
henot
esofdenomi
nat
ionsRs.
1,Rs.
2,Rs.
5,Rs.
10,Rs.
20
KC
andRs.
50
R
 Forsol
vi
ngr
ecur
rencer
elat
ions
TU
 Forpr
ovi
ngsomeoft
hecombi
nat
ori
ali
dent
it
ies
AK
 Forf
indi
ngasy
mpt
oti
cfor
mul
aef
ort
ermsofsequences
Pr
obl
em 1
Whatar
ethegener
ati
ngf
unct
ionsf
ort
hesequences{
ak}wi
thak=2and=3k?
Sol
uti
on
Whenak=2,
gener
ati
ngf
unct
ion,
G(
x)=∑∞k=02xk=2+2x+2x2+2x
3+.
..
..
..
..
G(x)
=∑k=0∞2xk=2+2x+2x2+2x3+.
..
..
..
..

Whenak=3k,
G(x)
=∑∞k=03kxk=0+3x+6x2+9x3+.
..
..
.ak=3k,
G(x
)=∑k=0∞3kxk=0+3x+6
x2+9x3+.
..
..
.
Pr
obl
em 2
Whati
sthegener
ati
ngf
unct
ionoft
hei
nfi
nit
eser
ies;
1,1,
1,1,
……….
?
Sol
uti
on
Her
e, f
ak=1,or0≤k≤∞.
L
G(
Hence, x)
=1+x+x2+x3+.
..
..
..
.=1(1−x)G(
x)=1+x+x2+x3+.
..
..
..
.=1(
1−x)
IA
SomeUsef
ulGener
ati
ngFunct
ions
ER
AT
 Forak=ak,
G(x)
=∑∞k=0akxk=1+ax+a2x2+.
..
..
..
..
=1(1−ax)ak=ak,
G(x)
=∑k=0∞akxk=1+ax+
a2x
2+.
..
..
..
..
=1(
1−ax) M
Y
 Forak=(
k+1)
,G(
x)=∑∞k=0(
k+1)
I
xk=1+2x+3x2.
. ..
.
N
.
..
..
=1(1−x)2ak=(
D
k+1)
,G(
x)=∑k=0∞(
k+1)
ES
NOT
U
xk=1+2x+3x2.
..
..
..
..
=1(
1−x)
2
ST
 Forak=cnk,
G(
KTU
x)
=∑∞k=0cnkxk=1+cn1x+cn2x2+.
..
..
..
..
+x2=(
1+x)
nak=ckn,
G(x)
=∑k=0∞c
KC
knxk=1+c1nx+c2nx
2+.
..
..
..
..
+x2=(
1+x)
n
R
 Forak= ,
1k!G(
x)=∑∞k=0xkk!
=1+x+x22!
+x33!
..
..
..
..
.=ex
TU
AK
Se
migr
oup
Af
ini
teori
nfi
nit
eset‘
S’wi
thabi
nar
yoper
ati
on‘
0’(
Composi
ti
on)i
scal
l
edsemi
groupi
f
i
thol
dsf
oll
owi
ngt
wocondi
ti
onssi
mul
taneousl
y−
 Cl
osur
e−Forev
erypai
r(a,
b)∈S,
(a0b)hast
obepr
esenti
nthesetS.
 Associ
ati
ve−Forev
eryel
ementa,
b,c∈S,
(a0b)0c=a0(
b0c)musthol
d.
Exampl
e

Thesetofposi
ti
vei
nteger
s(excl
udi
ngzer
o)wi
thaddi
ti
onoper
ati
oni
sasemi
group.
Forexampl
e,S={
1,2,
3,.
..
}
Her
ecl
osur
epr
oper
tyhol
dsasf
orev
erypai
r(a,b)∈S,(
a+b)i
spr
esenti
nthesetS.
Forexampl
e,1+2=3∈S]
Associ
ati
vepr
oper
tyal
sohol
dsf
orev
eryel
ementa,b,c∈S,(
a+b)+c=a+(
b+c)
.
Forexampl
e,(
1+2)+3=1+(
2+3)=5
Monoi
d
L
IA
A monoi
disasemi
groupwi
thani
dent
it
yel
ement
.Thei
dent
it
yel
ement(
denot
ed
ER
byeorE)ofasetSi
sanel
ementsucht
hat(
a0e)=a,f
orev
eryel
ementa∈S.An
AT
i
dent
it
yel
ementi
sal
socal
l
edauni
tel
ement
.So,amonoi
dhol
dst
hreepr
oper
ti
es
si
mul
taneousl
y−Cl
osur
e,Associ
ati
ve,
Ident
it
yelM
ement
.
Y
Exampl
e
. I N
D
ES
NOT
U
Thesetofposi
ti
vei
nteger
s(excl
udi
ngzer
o)wi
thmul
ti
pli
cat
ionoper
ati
oni
samonoi
d.
ST
S={
1,2,
3,.
..
}
KTU
KC
Her
ecl
osur
epr
oper
tyhol
dsasf
orev
erypai
r(a,b)∈S,(
a×b)i
spr
esenti
nthesetS.
R
[
Forexampl
e,1×2=2∈Sandsoon]
TU
Associ
ati
vepr
oper
tyal
sohol
dsf
orev
eryel
ementa,b,c∈S,(
a×b)×c=a×(
b×c)
AK
[
Forexampl
e,(
1×2)×3=1×(
2×3)=6andsoon]
I
dent
it
ypr
oper
tyal
sohol
dsf
orev
eryel
ementa∈S,
(a×e)=a[
Forexampl
e,(
2×1)=2,
(
3×1)=3andsoon]
.Her
eident
it
yel
ementi
s1.
SubSe
migr
oup
L
etAb
ean
one
mpt
ysu
bse
tof
ase
mig
rou
pS.
the
nAi
sca
ll
edas
ubs
emi
gr
oupwi
t
hre
spe
ctt
oth
e
op
era
ti
oni
nS.
Sin
cet
hee
leme
ntsof
Aar
eal
soe
leme
ntsof
S,t
hea
ssoc
iat
i
vel
awh
old
sfor
the
e
leme
ntsof
A.t
her
efor
e,Ai
sas
ubs
emi
gr
oupofSi
fan
don
lyi
ti
scl
ose
dun
der
theop
era
ti
onsonS.

F
ore
xamp
leAa
ndbd
evot
eev
ena
ndod
dpos
it
iv
ein
teg
ers
.th
en(
A, )
and(
B, )
ares
ub
s
emi
gr
oup
sof(
N, )
.
Submonoi
d
L
et(
M,*
)beamon
oidwi
t
hid
ent
i
tye
leme
nte.
Sup
pos
eBi
san
one
mpt
ysu
bse
tofM.
IfBi
scl
ose
d
u
nde
rth
eop
era
ti
oni
nMa
nde Bt
hen(
B,*
)isc
all
edas
ubmon
oidof
(M,
*)
.
L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
ST
KTU
KC
R
TU
AK

Gr
oup
Agr
oupi
samonoi
dwi
thani
nver
seel
ement
.Thei
nver
seel
ement(
denot
edbyI
)ofa
setSi
sanel
ementsucht
hat(
a0I
)=(
I0a)=a,f
oreachel
ementa∈S.So,agr
oup
hol
dsf
ourpr
oper
ti
essi
mul
taneousl
y−i
)Cl
osur
e,i
i
)Associ
ati
ve,
ii
i)I
dent
it
yel
ement
,iv
)
I
nver
seel
ement
.Theor
derofagr
oupGi
sthenumberofel
ement
sinGandt
heor
der
ofanel
ementi
nagr
oupi
sthel
eastposi
ti
vei
nt hatani
egernsucht sthei
dent
it
y
el
ementoft
hatgr
oupG.
L
Exampl
es
IA
ER
ThesetofN ×Nnon-
singul
armat
ri
cesf
orm agr
oup undermat
ri
xmul
ti
pli
cat
ion
oper
ati
on.
AT
Thepr
oductoft
woN×Nnon-
singul
armat
ri
cesi
sal M
soanN×Nnon-
singul
armat
ri
x
whi
chhol
dscl
osur
epr
oper
ty.
Y
. I N
D
ES
NOT
U
Mat
ri
xmul
ti
pli
cat
ioni
tsel
fisassoci
ati
ve.Hence,
associ
ati
vepr
oper
tyhol
ds.
ST
ThesetofN×Nnon-
si
KTU
ngul
armat
ri
cescont
ainst
hei
dent
it
ymat
ri
xhol
dingt
hei
dent
it
y
KC
el
ementpr
oper
ty.
R
Asal
lthemat
ri
cesar
enon-
singul
art
heyal
lhav
einv
erseel
ement
swhi
char
eal
sonon-
TU
si
ngul
armat
ri
ces.Hence,
inv
ersepr
oper
tyal
sohol
ds.
AK
Abe
li
anGr
oup
Anabel
i
angr
oupG i
sagr
oupf
orwhi
cht
heel
ementpai
r(a,b)∈ G al
way
shol
ds
commut
ati
vel
aw.So,agr
ouphol
dsf
ivepr
oper
ti
essi
mul
taneousl
y−i
)Cl
osur
e,i
i
)
Associ
ati
ve,
ii
i)I
dent
it
yel
ement
,iv
)Inv
erseel
ement
,v)Commut
ati
ve.
Exampl
e
Thesetofposi
ti
vei
nteger
s(i
ncl
udi
ngzer
o)wi
thaddi
ti
onoper
ati
oni
sanabel
i
angr
oup.
G={
0,1,
2,3,
…}
Her
ecl
osur
epr
oper
tyhol
dsasf
orev
erypai
r(a,b)∈S,(
a+b)i
spr
esenti
nthesetS.

[
Forexampl
e,1+2=2∈Sandsoon]
Associ
ati
vepr
oper
tyal
sohol
dsf
orev
eryel
ementa,b,c∈S,(
a+b)+c=a+(
b+c)
[
Forexampl
e,(
1+2)+3=1+(
2+3)=6andsoon]
I
dent
it
ypr
oper
tyal
sohol
dsf
orev
eryel
ementa∈S,
(a×e)=a[
Forexampl
e,(
2×1)=2,
(
3×1)=3andsoon]
.Her
e,i
dent
it
yel
ementi
s1.
Commut
ati
vepr
oper
tyal
sohol
dsf
orev
eryel
ementa∈S,
(a×b)=(
b×a)[
Forexampl
e,
(
2×3)=(
3×2)=3andsoon]
L
Cy
cli
cGr
oupandSubgr
oup
IA
ER
Acy
cli
cgr
oupi
sagr
oupt
hatcanbegener
atedbyasi
ngl
eel
ement
.Ev
eryel
ementofa
cy
cli
cgr
oupi
sapowerofsomespeci
fi
cel
ementwhi
chi
scal
l
edagener
ator
.Acy
cli
c
AT
gr
oupcanbegener
atedbyagener
ator‘
g’
,sucht
hatev
eryot
herel
ementoft
hegr
oup
canbewr
it
tenasapoweroft
hegener
ator‘
g’
. M
Y
Exampl
e
. I N
D
ES
NOT
U
Thesetofcompl
exnumber
s{1,−1,i
,−i
}undermul
ti
pli
cat
ionoper
ati
oni
sacy
cli
c
ST
KTU
gr
oup.
KC
1 2 3 4 1
Ther
ear
etwogener
ator
s−iand−iasi=i
,i =−1,i=−i
,i =1andal
so(
−i)=−i
,
2 3 4
(
−i)=−1,(
−i)=i
,(−i
) =1whi
chcov
ersal
ltheel
ement
soft
hegr
oup.Hence,i
tisa
R
cy
cli
cgr
oup.
TU
Not
e−Acy
cli
cgr
oupi
sal
way
sanabel
i
angr
oupbutnotev
eryabel
i
angr
oupi
sacy
cli
c
AK
gr
oup.Ther
ati
onal
number
sunderaddi
ti
oni
snotcy
cli
cbuti
sabel
i
an.
Asubgr
oupH i
sasubsetofagr
oupG (
denot
edbyH ≤G)i
fitsat
isf
iest
hef
our
pr
oper
ti
essi
mul
taneousl
y−Cl
osur
e,Associ
ati
ve,
Ident
it
yel
ement
,andI
nver
se.
Asubgr
oupHofagr
oupGt
hatdoesnoti
ncl
udet
hewhol
egr
oupGi
scal
l
edapr
oper
subgr
oup(
Denot
edbyH<G)
.A subgr
oupofacy
cli
cgr
oupi
scy
cli
candaabel
i
an
subgr
oupi
sal
soabel
i
an.
Exampl
e
Letagr
oupG={
1,i
,−1,
−i}

Thensomesubgr
oupsar
eH1={
1},
H2 ={
1,−1}
,
−1
Thi
sisnotasubgr
oup:
H3 ={
1,i
}becauset
hat(
i) =−i
isnoti
nH3
Homomor
phi
sms
Let(
G1,
*)and(
G2,
o)bet oups.fi
wogr saf
unct
ionf
r oG2.Thenfi
om G1t ssai
dtobea
homomor
phi
sm f
rom (
G1,
*)t
o(G2,
o)i
ffora,
b∈G,
f
(a*
b)=f(
a)of
(b)
.
L
Eg:
Let(
G1,
+)beagr
oupofi
nteger
sunderaddi
ti
ons.Def
inef:G Gbyf
(x)=2x.
IA
Thenpr
ovet
hatfi
sahomomor
phi
sm f
rom Gt
oG.
ER
I
somor
phi
sm
AT
Twogr
oups(
G1,
*)and(
G2,
o)ar
esai
dtobei
somor
phi
ci
M
ft
her
eexi
staf
unct
ionff
rom
Y
G1 G2sucht
hat
. I N
D
ES
NOT
U
1.f(
a*b)
=f(
a)*f
(b)
.
ST
KTU
2.fi
sonet
ooneandont
o.
KC
Coset
s
R
TU
SupposeHi
sasubgr
oupofGanda∈G.Thent
hesetHa={
ha|
h∈H}i
scal
l
edar
ight
AK
cosetofH.(
Anal
ogousl
y,aHi
scal
l
edal
eftcosetofH.
)
Lagr
ange’
sTheor
em
LetHbeasubgr
oupofaf
ini
tegr
oupG.Thent
heor
derofHdi
vi
dest
heor
derofG.The
numberofr
ightcoset
sofHi
nG,
cal
l
edt
hei
ndexofHi
nG,
isequal
tot
henumberofl
eft
coset
sofHi
nG;
andbot
hnumber
sar
eequal
to|
G|di
vi
dedby|
H|.
Ri
ngs

LetRbeanonempt
ysetwi
tht
wobi
nar
yoper
ati
ons,anoper
ati
onofaddi
ti
onandan
oper
ati
onofmul
ti
pli
cat
ion.ThenRi
scal
l
edar
ingi
fthef
oll
owi
ngaxi
omsar
esat
isf
ied:
 1.Foranya,
b,c∈R,
wehav
e(a+b)+c=a+(
b+c)
.
 2.Ther
eexi
stsanel
ement0∈R,
cal
l
edt
hezer
oel
ement
,sucht
hat
,forev
erya∈
R,
a+0=0+a=a.
 3.Foreacha∈Rt
her
eexi
stsanel
ement−a∈R,cal
l
edt
henegat
iveofa,such
t
hata+(
−a)=(
−a)+a=0.
L
IA
 4.Foranya,
b∈R,
wehav
ea+b=b+a.
ER
 5.Foranya,
b,c∈R,
wehav
e(ab)
c=a(
bc)
.
AT
 6.Foranya,
b,c∈R,
wehav
e:(
i)a(
b+c)=ab+ac,
and(
ii
)(b+c)
a=ba+ca.
M
Y
. I N
D
ES
NOT
U
Obser
vet
hatt
heaxi
oms1t
hrough4maybesummar
izedbysay
ingt
hatRi
san
ST
KTU
abel
i
angr
oupunderaddi
ti
on.
KC
Subt
ract
ioni
sdef
inedi
nRbya−b=a+(
−b)
.Onecanpr
ove(
Probl
em B.
21)t
hat
a·0=0·a=0f
orev
erya∈R.
R
TU
sasubr
AsubsetSofRi ingofRi
fSi
tsel
fisar
ingundert
heoper
ati
onsi
nR.We
AK
not
ethatSi
sasubr
ingofRi
f:(
i)0∈S,
and(
ii
)foranya,
b∈S,
wehav
ea−b∈Sand
ab∈S.
Speci
alKi
ndsofRi
ngs:I
ntegr
alDomai
nsandFi
elds
Ri edacommut
scal
l ati
ver
ingi
fab=baf
orev
erya,
b∈R.
Ri edar
scal
l ingwi
thani
dent
it
yel
ement1i
ftheel
ement1hast
hepr
oper
tyt
hat
a·1=1·a=af
orev
eryel
ementa∈R.I
nsuchacase,
anel
ementa∈Ri
scal
l
edauni
t

i
fahasamul
ti
pli
cat
ivei
nver
se,
thati
s,anel
ementa−1i
nRsucht
hata·a−1=a−1·a=
1.
Ri edar
scal
l ingwi
thzer
odi
vi
sor
sift
her
eexi
stnonzer
oel
ement
sa,
b∈Rsuch
t
hatab=0.I
nsuchacase,
aandbar
ecal
l
edzer
odi
vi
sor
s.
Acommut
ati
ver
ingRi
sani
ntegr
aldomai
nifRhasnozer
odi
vi
sor
s,t
hati
s,i
fab
=0i
mpl
i
esa=0orb=0.
Acommut
ati
ver
ingRwi
thani
dent
it
yel
ement1(
notequalt
o0)i
saf
iel
difev
ery
L
nonzer
oa∈Ri
sauni
t,t
hati
s,hasamul
ti
pli
cat
ivei
nver
se.
IA
ER
Af
iel
disnecessar
il
yani
ntegr
aldomai
n;f
ori
fab=0anda=0,
then
AT
b=1·b=a−1ab=a−1·0=0
Af
iel
dmayal
sobev
iewedasacommut
ati
ver
iM
ngi
nwhi
cht
henonzer
oel
ement
s
Y
f
orm agr
oupundermul
ti
pli
cat
ion.
. I N
D
ES
NOT
U
EXAMPLE
ST
 ThesetZofi
ntKTU
eger
swi
tht
heusualoper
ati
onsofaddi
ti
onandmul
ti
pli
cat
ioni
s
KC
t
hecl
assi
calexampl
eofani
ntegr
aldomai
n(wi
thani
dent
it
yel
ement
).Theuni
ts
R
i
nZar
eonl
y1and−1,
thati
s,noot
herel
ementi
nZhasamul
ti
pli
cat
ivei
nver
se.
TU
 (
b)The setZm = {
0,1,2,
.
..
,m − 1}undert
he oper
ati
on ofaddi
ti
on and
AK
mul
ti
pli
cat
ionmodul
om i
sar
ing;i
tiscal
l
edt
her
ingofi
nteger
smodul
om.I
fm
i
sapr
ime,
thenZm i
saf
iel
d.Ont
heot
herhand,
ifm i
snotapr
imet
henZm has
zer
odi
vi
sor
s.Fori
nst
ance,i
nther
ingZ6,2·3=0but2≡0(
mod6)and3≡0
(
mod6)
 (
c)Ther
ati
onalnumber
sQandt
her
ealnumber
sReachf
orm af
iel
dwi
thr
espect
t
otheusual
oper
ati
onsofaddi
ti
onandmul
ti
pli
cat
ion.
 (
d)LetM denot
ethesetof2×2mat
ri
ceswi
thi
ntegerorr
ealent
ri
es.ThenM i
sa
noncommut
ati
ver
ingwi
thzer
odi
vi
sor
sundert
heoper
ati
onsofmat
ri
xaddi
ti
on

andmat
ri
xmul
ti
pli
cat
ion.M doeshav
eani
dent
it
yel
ement
,thei
dent
it
ymat
ri
x.
 (
e)LetRbeanyr
ing.Thent
hesetR[
x]ofal
lpol
ynomi
alsov
erRi
sar
ingwi
th
r
espectt
otheusualoper
ati
onsofaddi
ti
onandmul
ti
pli
cat
ionofpol
ynomi
als.
Mor
eov
er,
ifRi
sani
ntegr
aldomai
nthenR[
x]i
sal
soani
ntegr
aldomai
n.
Ri
ngHomomor
phi
sms
Amappi
ngff
rom ar
ingRi
ntoar
ingRi
scal
l
edar
inghomomor
phi
sm or
,si
mpl
y,
homomor
phi
sm i
f,f
orev
erya,
b∈R,
L
IA
f(
a+b)=f(
a)+f(
b),
f(ab)=f(
a)f(
b)
ER
I
naddi
ti
on,
iffi
sone-
to-
oneandont
o,t
henfi
scal
l
edani
somor
phi
sm;andRandRar
e
AT
sai
dtobei
somor
phi
c,wr
it
tenR R.
M
Y
. I N
D
ES
NOT
U
ST
Pr
obl
em:
I(setofi
nt
KTU
eger
s)i
sagr
oupunder+i
.e.(
I,+)i
sagr
oup
KC
Sol
uti
on:Weknowt
hatsum oft
woi
nteger
sisagai
nani
nteger
;ther
efor
e,addi
ti
oni
sa
R
bi
nar
yoper
ati
ononI
.
TU
(
1)Or
dinar
yaddi
ti
oni
sassoci
ati
vesi
ncea+(
b+c)=(
a+b)+cf
orev
erya,
b,∈I
AK
(
2)Zer
oisani
ntegersucht
hat0+a=a+0=af
orev
erya∈I
;i
dent
it
yexi
sti
nI.
(
3)Forev
erya∈I
,wehav
e–aIsucht
hata+(
-a)=(
-a)
+a=0i
.e.i
nver
seofev
ery
el
ementexi
sti
nI.
Asal
ltheaxi
omsofagr
oupar
esat
isf
iedbyel
ement
sofIunderaddi
ti
on,
ther
efor
e,i
tis
agr
oup.Fur
thera+b=b+af
orev
ery a,b∈ I
.HenceIi
scommut
ati
vegr
oupunder
addi
ti
on.
Theor
em:
IfGi
sagr
oup,
theni
thasuni
quei
dent
it
y.

Pr
oof
:Leti
fpossi
bleeandfbet
woi
dent
it
yel
ement
sofG,
t
hene.
f=e(
taki
ngfasi
dent
it
yel
ement) (
1)and
e.
f=f(
taki
ngeasi
dent
it
yel
ement) (
2)
Fr
om (
1)and(
2)wegete=fi
.e.i
dent
it
yisuni
que.
Theor
em:I
nagr
oupi
nver
seofeachel
ementi
suni
que.
Pr
oof
:Leta∈Ghast
woi
nver
sebandcsay
,thenbydef
ini
ti
onofi
nver
se
L
a.
b=b.
a=e (
1)
IA
ER
a.
c=c.
a=e (
2)
AT
Si
nceb.
(a.
c)=(
b.a)
.c(
byassoci
ati
vel
aw) (
3)
Al
sob.
(a.
c)=b.
e=b
M (
4)and
Y
. I N
D
(
b.a)
.c=e.
c=c
ES (
5)
NOT
U
ST
KTU
By(
3),
(4)
,(
5)wegetb=c.i
.e.I
nver
seofanel
ementi
suni
quei
nG.
KC
-1
Theor
em:Pr
ovet
hatf
oral
laandbi
nagr
oupGwehav
e(ab) =b-1a-1
R
Pr
oof
:Let(
ab)
-1bei
nver
seofab,
thenbydef
ini
ti
onofi
nver
se
TU
-1 -1
(
ab)
.(ab) =(
ab) .
(ab)=e (
1)and
AK
( .b-1a-1=a(
ab) bb-1)a-1=a.
e.a-1=e (
2)
b-1a-1( =b-1(
ab) a-1a)
.b=b-1e.
b=e (
3)
By(
2)and(
3)b-1a-1i
, sinv
erseofab.
-1
Nowusi
ng(
1),
(2)
,(3)weget(
ab) =b-1a-1.
Theor
em:Pr
ovet
hati
nter
sect
ionoft
wosubgr
oupsofagr
oupGi
sagai
nasubgr
oupof
G.

Pr
oof
:LetHandKar
etwosubgr
oupsofagr
oupG.I
fH∩K={
e}t
henwehav
enot
hing
t
opr
ove,
sosupposet
hath,
k∈H∩K.Wewi
l
l hathk-1bel
showt ongst
oH∩K.
As h∈H∩K⇒ h∈Handh∈K.
Si
mil
arl
y k∈H∩K⇒ k∈Handk∈K.
Now h∈Handk∈H⇒ hk-1∈H(

Hisasubgr
oupofG)
Si
mil
arl
y hKandk∈K⇒ hk-1∈K(
Kisasubgr
oupofG)
L
Addi
ngbot
hresul
t hathk-1∈H∩K.
swegett
IA
ER
Theor
em:Pr
ovet
hatuni
onoft
wosubgr
oupsofagr
oupGi
sagai
nasubgr
oupofGi
f
andonl
yifonei
scont
ainedi
ntheot
her
.
AT
Pr
oof
:SupposeHandKar
etwosubgr
oupsofagr M
oupG.Letussupposet
hatH⊂Kor
K⊂Ht
henH∪Ki
sequalt
oHorK.ButHandKbot
har
esubgr
oupofG,
ther
efor
eH∪K=
Y
. I N
D
HorKi
sal
soasubgr
oup.
ES
NOT
U
ST
KTU
Conv
ersel
y,supposet
hatH∪Ki
sasubgr
oupofG.Letusassumet
hatHi
snotasubset
ofKandKi
snotasubsetofH.
KC
NowHi
snotsubsetofK⇒ ∃h∈Hsucht
hath∉K (
1)
R
TU
Al
soKi
snotasubsetofH⇒ ∃k∈Ksucht
hatk∉H (
2)
AK
Butby(
1),
h∈H∪Kandby(
2),
k∈H∪Ksohk∈H∪K.Lethk=t
,ther
efor
et∈HorK.I
ft
bel
ongst
oHt
henk=h-
1tbel
ongst
oH,acont
radi
cti
on.Hencetdoesnotbel
ongt
oH.
Si
mil
arl
ywecanshowt
hattdoesnotbel
ongt
oK.I
tshowst
hattdoesnotbel
ongst
o
H∪K,
acont
radi
cti
onandhenceacont
radi
cti
ont
oourassumpt
iont
hatHi
snotasubset
ofKandKi
snotasubsetofH.Henceei
therHi
ssubsetofKorKi
ssubsetofH.
Pr
obl
em:
Findal
ll
eftcoset
sofV4={
I,(
12)
(34),
(13)
(24),
(14)
(23)
}inS4
Sol
uti
on:Fi
rstwewi
l
lseet
hatV4i
sagr
oup.Bei
ngasubsetofS4associ
ati
vel
aw i
s
f
oll
owedbyel
ement
sofV4.Al
soi
nver
seof(
12)
(34)i
s(12)
(34)as(
12)(
34)
.(12)
(3

4)=I
.Si
mil
arl
yeachel
ementofV4i
sinv
erseofi
tsel
f.NowV4i
sfi
rstl
eftcosetwhi
chi
s
{
I,(
12)
(34)
,(13)
(24)
,(14)
(23)
}
Forsecondl
eftcosetwet
ake(
123)V4={
(123)I
,(123)
(12)
(34)
,(123)(
13)
(24)
,(1
23)
(14)
(23)
}={
(123)
,(243)
,(142)
,(134)
}
Fort
hir
dlef
tcosetwet
ake(
124)V4={
(124)I
,(124)
(12)
(34)
,(124)(
13)
(24)
,(12
4)
(14)
(23)
}={
(124)
,(234)
,(143)(
132)
}.
Forf
ort
h-l
eftcosetwet
ake(
1234)V4={
(1234)I
,(1234)
(12)
(34)
,(1234)(
13)
(2
L
4)
,(1234)
(14)
(23)
}={
(1234)
,(24)
,(1432)
,(13)
}
IA
ER
Forf
if
thl
eftcosetwet
ake(
1243)V4=(
1243)I
,(1243)
(12)
(34)
,(1243)(
13)
(2
4)
,(1243)
(14)
(23)
}={
(1243)
,(23)
,(14)
,(1342)
}.
AT
Forsi
xthl
eftcosetwet
ake(
1324)V4={
(1324)I
,(
M1324)
(12)
(34)
,(1324)(
13)
(2
4)
,(1324)
(14)
(23)
}={
(1324),
(1423),
(34),
(12)
}.
Y
. I N
D
Her
eweseet
hatuni
onofal
llef
tcoset
si
E
s{
I
S
,(
12)
,(13)
,(14)
,(23)
,(24)
,(34)
,(123)
,
NOT
U
ST
(
124)
,(134)
,(234)
,(132)
,(142)
,(143)
,(243)
,(1234)
,(1243)
,(1324)
,(134
2)
,(1423)
,(
KTU
1432)
,(12)
(34)
,(13)
(24)
,(14)
(23)
}whi
chi
sS4.
KC
R
TU
AK

Lat
ti
ce
Alat
ti
ceisaposet(
L,≤)forwhi
cheverypai
r{a,b}∈ Lhasaleastupperbound
(
denot
edbya∨b)andagreat
estl
owerbound(
denotedbya∧b)
.LUB({a,
b})i
scall
ed
t
hej
oinofaandb.GLB(
{a,
b})i
scal
l
edt
hemeetofaandb.
L
IA
ER
AT
M
Y
. I N
D
Exampl
e
ES
NOT
U
ST
KTU
KC
R
TU
AK
Thi
sabov
efi
gur
eisal
att
icebecausef
orev
erypai
r{a,
b}∈L,
aGLBandaLUBexi
sts.

L
IA
ER
AT
Thi
sabov
efi
gur
eisanotal
att
icebecauseGLB(
a,b)andLUB(
e,f
)doesnotexi
st.
Someot
herl
att
icesar
edi
scussedbel
ow− M
Y
BoundedLat
ti
ce
. I N
D
ES
NOT
U
Alat
ti
ceLbecomesaboundedl
att
icei
fithasagr
eat
estel
ement1andal
eastel
ement
ST
KTU
0.
Compl
ement
edLat
ti
ce
KC
Alat
ti
ceLbecomesacompl ementedl
att
iceifi
tisaboundedlatt
iceandifever
y
R
el
ementi
nthel
att
icehasacomplement
.Anelementxhasacomplementx’i
f∃x(
x∧
TU
x’
=0andx∨x’=1)
AK
Di
str
ibut
iveLat
ti
ce
I
fal at
ti
cesat
isf
iest
hef
oll
owi
ngt
wodi
str
ibut
epr
oper
ti
es,i
tiscal
l
edadi
str
ibut
ive
l
att
ice.
 a∨(
b∧c)=(
a∨b)∧(
a∨c)
 a∧(
b∨c)=(
a∧b)∨(
a∧c)
Modul
arLat
ti
ce
I
fal
att
icesat
isf
iest
hef
oll
owi
ngpr
oper
ty,
iti
scal
l
edmodul
arl
att
ice.
a∧(b∨(
a∧d)
)=(
a∧b)∨(
a∧d)

Pr
ope
rti
esofLat
ti
ces
I
dempot
entPr
oper
ti
es
 a∨a=a
 a∧a=a
Absor
pti
onPr
oper
ti
es
 a∨(
a∧b)=a
L
 a∧(
a∨b)=a
IA
Commut
ati
vePr
oper
ti
es
ER
 a∨b=b∨a
AT
M
 a∧b=b∧a
Associ
ati
vePr
oper
ti
es
Y
. I N
D
ES
NOT
U
 a∨(
b∨c)=(
a∨b)∨c
ST
K TU  a∧(
b∧c)=(
a∧b)∧c
KC
Dual
ofaLat
ti
ce
R
Thedual
ofal
att
icei
sobt
ainedbyi
nter
changi
ngt
he‘
∨’and‘
∧’oper
ati
ons.
TU
Exampl
e
AK
Thedual
of[
a∨(
b∧c)
]is[
a∧(
b∨c)
]
Bool
eanEx
pre
ssi
ons&Func
ti
ons
Booleanalgebraisal
gebr
aofl ogi
c.Itdeal
swi t
hvari
ablesthatcanhavetwodi scr
ete
val
ues,0( False)and1( True);andoperationsthathav el ogi
calsi
gnif
icance.The
earl
i
estmet hodofmani pul
atingsymboliclogicwasi nventedbyGeor geBool eand
subsequentl
ycamet obeknownasBool eanAl gebr
a.
Bool
eanalgebr
ahasnow becomeani ndi
spensabl
etoolincomputersci
encef
ori
ts
wideappl
i
cabil
i
tyi
nswit
chingtheor
y,buil
dingbasi
celect
roni
cci
rcuit
sanddesi
gnof

di
git
alcomput
ers.
Bool
eanFunc
ti
ons
ABooleanf
uncti
onisaspeci
alki
ndofmat hemati
calfunct
ionf:Xn→ Xofdegr een,
wher
eX={ 0,1}isaBool
eandomainandnisanon- negat
ivei
nteger
.Itdescr
ibesthe
wayhowtoderi
veBool
eanout
putf
rom Bool
eaninput
s.
Example−Let,F(
A,B)=A’
B’.Thi
sisaf unct
ionofdegr
ee2from thesetofor
der
ed
pair
sofBool
eanvari
abl
est
otheset{0,
1}wher eF(
0,0)=1,
F(0,1)=0,F(1,
0)=0and
F(1,1)=0
L
IA
Bool
eanEx
pre
ssi
ons
ER
A Bool eanexpressional
wayspr oducesaBool eanvalue.A Booleanexpressi
oni s
composed ofa combi nati
on oft he Bool
ean const
ants( Tr
ue orFalse)
,Bool ean
AT
vari
ablesand logicalconnect
ives.EachBooleanexpr essi
onr epr
esent
saBool ean
funct
ion.
M
Y
. I N
D
Exampl
e−AB’
CisaBool
eanexpr
essi
on
ES
NOT
U
Bool
eanI
dent
i
ti
es
ST
Doubl
eCompl KTU
ementLaw
KC
~(
~A)=A
R
Compl
ementLaw
TU
A+~A=1(
ORFor
m)
AK
A·~A=0(
ANDFor
m)
I
dempot
entLaw
A+A=A(
ORFor
m)
A·A=A(
ANDFor
m)
I
dent
it
yLaw
A+0=A(
ORFor
m)
A·1=A(
ANDFor
m)

Domi
nanceLaw
A+1=1(
ORFor
m)
A·0=0(
ANDFor
m)
Commut
ati
veLaw
A+B=B+A(
ORFor
m)
A·B=B·A(
ANDFor
m)
Associ
ati
veLaw
L
A+(
B+C)=(
A+B)+C(
ORFor
m)
IA
ER
A·(
B·C)=(
A·B)·C(
ANDFor
m)
AT
Absor
pti
onLaw
A·(
A+B)=A M
Y
A+(
A·B)=A
. I N
D
ES
NOT
U
Si
mpl
i
ficat
ionLaw
ST
KTU A·(
~A+B)=A·B
KC
A+(
~A·B)=A+B
R
A·B+A·C+~B·C=A·B+~B·
C
TU
Di
str
ibut
iveLaw
AK
A+(
B·C)=(
A+B)·(
A+C)
A·(
B+C)=(
A·B)+(
A·C)
De-
Mor
gan'
sLaw
~(
A·B)=~A+~B
~(
A+B)=~A·~B
Canoni
cal
For
ms
ForaBool
eanexpr
essi
ont
her
ear
etwoki
ndsofcanoni
cal
for
ms−

 Thesum ofmi
nter
ms(
SOM)f
orm
 Thepr
oductofmaxt
erms(
POM)f
orm
TheSum ofMi
nter
ms(
SOM)orSum ofPr
oduct
s(SOP)f
orm
Aminter
mi saproductofal
lvar
iabl
estakenei
theri
nthei
rdirectorcompl
ement
ed
f
orm.AnyBooleanfunct
ioncanbeexpressedasasum ofi t
s1- mi
nter
msandthe
i
nver
seofthef
uncti
oncanbeexpr
essedasasum ofit
s0-
minter
ms.Hence,
F(
li
stofv
ari
abl
es)=∑(
li
stof1-
mint
ermi
ndi
ces)
and
L
IA
F’
(li
stofv
ari
abl
es)=∑(
li
stof0-
mint
ermi
ndi
ces)
ER
AT
A B C Mi
nter
m
0 0
M 0 m0
Y
. I N
D
ES
NOT
0 0
U
1 m1
ST
0
KTU 1 0 m2
KC
R
0 1 1 m3
TU
1 0 0 m4
AK
1 0 1 m5
1 1 0 m6
1 1 1 m7
Exampl
e
Let
,F(
x,y
,z)=x’
y’z’
+xy
’z+xyz’
+xyz

Or
,F(
x,y
,z)=m0 +m5+m6 +m7
Hence,
F(
x,y
,z)=∑(
0,5,
6,7)
Nowwewi
l
lfi
ndt
hecompl
ementofF(
x,y
,z)
F’
(x,
y,z)=x’
yz+x’
y’z+x’
yz’
+xy
’z’
Or
,F’
(x,
y,z)=m3+m1+m2 +m4
L
Hence,
IA
ER
F’
(x,
y,z)=∑(
3,1,
2,4)=∑(
1,2,
3,4)
AT
ThePr
oductofMaxt
erms(
POM)orPr
oductofSums(
POS)f
orm
Amaxtermisaddi
ti
onofall
vari
ablestakenei
t M
herinthei
rdirectorcompl
ement
edform.
AnyBool
eanfunct
ioncanbeexpressedasapr oductofit
s0- maxter
msandtheinv
erse
Y
oft
hefunct
ioncanbeexpr
essedasapr
. I
oductofit
N
s1-maxterms.Hence,
D
ES
NOT
U
F(
li
stofv
ari
abl
es)=π(
li
stof0-
maxt
ermi
ndi
ces)
ST
and KTU
KC
F’
(l
istofv
ari
abl
es)=π(
li
stof1-
maxt
ermi
ndi
ces)
.
R
TU
A B C Maxt
erm
AK
0 0 0 M0
0 0 1 M1
0 1 0 M2
0 1 1 M3
1 0 0 M4

1 0 1 M5
1 1 0 M6
1 1 1 M7
Exampl
e
Let
,F(
x,y
,z)=(
x+y
+z)•(
x+y
+z’
)•(
x+y
’+z)•(
x’+y
+z)
Or
,F(
x,y
,z)=M0 •M1•M2•M4
L
IA
Hence,
ER
F(
x,y
,z)=π(
0,1,
2,4)
AT
F’
'
(x,
y,z)=(
x+y
’+z’
)•(
x’+y
+z’
)•(
x’+y
’+z)•(
x’+y
’+z’
) M
Y
Or
,F(
x,y
,z)=M3 •M5•M6•M7
. I N
D
ES
NOT
U
Hence,
ST
F'
(x,
y,z)=π(
3,5,
6,7)
KTU
KC
Logi
cGat
es
R
Bool
eanf
unct
ionsar
eimpl
ement
edbyusi
ngl
ogi
cgat
es.Thef
oll
owi
ngar
ethel
ogi
c
TU
gat
es−
AK
NOTGat
e
ANOTgat
einv
ert
sasi
ngl
ebi
tinputt
oasi
ngl
ebi
tofout
put
.
A ~A
0 1
1 0

ANDGat
e
AnANDgateisalogi
cgatethatgi
vesahi ghoutputonl
yifal
litsinput
sar
ehi
gh,
ot
her
wisei
tgi
vesl
owoutput
.Adot(.
)isusedtoshowtheANDoperati
on.
A B A.
B
0 0 0
L
0 1 0
IA
ER
1 0 0
AT
1 1 M 1
Y
ORGat
e
. I N
D
ES
NOT
U
ST
AnORgat
eisal
ogi
KTU
cgat
ethatgi
veshi
ghout
puti
fatl
eastoneoft
hei
nput
sishi
gh.A
KC
pl
us(
+)i
susedt
oshowt
heORoperati
on.
R
A B A+B
TU
AK
0 0 0
0 1 1
1 0 1
1 1 1
NANDGat
e

ANAND gateisalogi
cgatethatgi
vesal
ow out
putonl
yifal
lit
sinput
sar
ehi
gh,
ot
her
wisei
tgiv
eshi
ghoutput
.
A B ~(
A.B)
0 0 1
0 1 1
1 0 1
L
IA
ER
1 1 0
AT
NORGat
e
M
Y
. I N
D
AnNORgat
eisal
ogi
cgat
ethatgi
veshi
ghout
puti
fbot
hthei
nput
sar
elow,
other
wise
ES
NOT
U
i
tgi
vesl
owout
put
.
ST
A
KTU B ~(
A+B)
KC
0 0 0
R
TU
0 1 0
AK
1 0 0
1 1 0
XOR(
Excl
usi
veOR)Gat
e
AnEX-
NORgat
eisal
ogi
cgat
ethatgi
veshi
ghout
puti
fthei
nput
sar
esame,
other
wise
i
tgi
vesl
owout
put
.

A B A⊕B
0 0 0
0 1 1
1 0 1
1 1 0
L
IA
X-
NOR(
Excl
usi
veNOR)Gat
e
ER
AT
AnEX-
NORgat
eisal
ogi
cgat
ethatgi
veshi
ghout
puti
fthei
nput
sar
esame,
other
wise
i
tgi
vesl
owout
put
.
M
Y
. I N
D
A B
ES AX-
NORB
NOT
U
ST
0
KTU 0 1
KC
0 1 0
R
TU
1 0 0
AK
1 1 1
Si
mpl
i
fi
cat
i
onUs
ingAl
geb
rai
cFu
nct
i
ons
Inthi
sapproach,oneBooleanexpr
essi
oni
smi
nimi
zedi
ntoanequi
val
entexpr
essi
onby
apply
ingBooleanident
it
ies.
Pr
obl
em 1
Mi
nimi
zet
hef
oll
owi
ngBool
eanexpr
essi
onusi
ngBool
eani
dent
it
ies−

F(
A,B,
C)=A’
B+BC’
+BC+AB’
C’
Sol
uti
on
Gi
ven,
F(A,
B,C)=A’
B+BC’
+BC+AB’
C’
Or
,F(
A,B,
C)=A’
B+(
BC’
+BC’
)+BC+AB’
C’
[
Byaddi
ngBC’
,asi
tdoesnotchangeF]
Or
,F(
A,B,
C)=A’
B+(
BC’
+BC)+(
BC’
+AB’
C’)
L
Or
,F(
A,B,
C)=A’
B+B(
C’+C)+C’
(B+AB’
)
IA
ER
Or
,F(
A,B,
C)=A’
B+B.
1+C’
(B+A)
AT
[(
C’+C)=1and(
B+AB’
)=(
B+A)
]
Or
,F(
A,B,
C)=A’
B+B+C’
(B+A)
M
Y
. I N
D
[B.
1=B]
ES
NOT
U
ST
Or
,F(
A,B,
C)=B(
A’+1)+C’
(B+A)
Or
,F(
A,B,
C)=B.
1+C’
(KTU
B+A)
KC
[(
A’+1)=1]
R
TU
Or
,F(
A,B,
C)=B+C’
(B+A)
AK
[As,
B.1=B]
Or
,F(
A,B,
C)=B+BC’
+AC’
Or
,F(
A,B,
C)=B(
1+C’
)+AC’
Or
,F(
A,B,
C)=B.
1+AC’
[
As,
(1+C’
)=1]
Or
,F(
A,B,
C)=B+AC’
[
As,
B.1=B]

so,
F(A,
B,C)=B+AC’
ist
hemi
nimi
zedf
orm.
Pr
obl
em 2
Mi
nimi
zet
hef
oll
owi
ngBool
eanexpr
essi
onusi
ngBool
eani
dent
it
ies−
F(
A,B,
C)=(
A+B)(
B+C)
Sol
uti
on
Gi
ven,
F(A,
B,C)=(
A+B)(
A+C)
Or
,F(
A,B,
C)=A.
A+A.
C+B.
A+B.
C[Appl
yi
ngdi
str
ibut
iveRul
e]
L
IA
Or
,F(
A,B,
C)=A+A.
C+B.
A+B.
C[Appl
yi
ngI
dempot
entLaw]
ER
Or
,F(
A,B,
C)=A(
1+C)+B.
A+B.
C[Appl
yi
ngdi
str
ibut
iveLaw]
AT
Or
,F(
A,B,
C)=A+B.
A+B.
C[Appl
yi
ngdomi
nanceLaw]M
Y
Or
,F(
A,B,
C)=(
A+1)
.A+B.
C[Appl
yi
ngdi
str
ibut
iveLaw]
. I N
D
ES
NOT
U
Or
,F(
A,B,
C)=1.
A+B.
C[Appl
yi
ngdomi
nanceLaw]
ST
Or
,F(
A,B,
C)=A+B.
C[
KTU
Appl
yi
ngdomi
nanceLaw]
KC
So,
F(A,
B,C)=A+BCi
sthemi
nimi
zedf
orm.
R
TU
AK

Pr
opos
it
ional
Logi
c
The r ules of mat hemati

call ogic specify met hods of r easoning mathematical
statements.Gr eekphil
osopher,Ari
stotl
e,wast hepioneerofl ogicalreasoni
ng.Logical
reasoning pr ovi
des the theoret
icalbase f ormany ar eas of mat hematics and
consequent ly computerscience.Ithas many pr acti
calappl icat
ions i
n comput er
sciencel i
kedesi gnofcomput i
ngmachi nes,arti
ficiali
ntell
igence,defini
ti
onofdat a
struct
uresf orprogr
ammi nglanguageset c.
L
Pr
oposi
ti
onalLogi
cisconcer
nedwi
thst
atement
stowhi
cht
het
rut
hval
ues,
“tr
ue”and
IA
“f
alse”
,canbeassi
gned.Thepur
posei
stoanal
yzet
hesest
atement
sei
theri
ndi
vi
dual
l
y
ER
orinacomposi
temanner.
AT
Pr
opos
it
ional
Logi
c–De
fini
t
ion
Apropositi
onisacoll
ecti
onofdecl arati
vestat
M
ementsthathaseitheratr
uthval
ue"t
rue”
Y
ora t r
uthv al
ue "f
alse"
.A pr oposit
ionalconsists ofpropositi
onalvari
abl
es and
. I N
D
connecti
ves.Wedenot ethepr opositi
ES
onalvariabl
esbycapi t
alletter
s(A,B,et
c).The
NOT
U
connecti
vesconnectt
hepr opositi
onalvari
ables.
ST
Someexampl
esofPr KTU
oposi
ti
onsar
egi
venbel
ow−
KC
 "
Mani
sMor
tal
",i
tret
urnst
rut
hval
ue“
TRUE”
R
TU
 "
12+9=3−2"
,itr
etur
nst
rut
hval
ue“
FALSE”
Thef
oll
owi
ngi
snotaPr
oposi
ti
on−
AK
 "
Aisl
esst
han2"
.Iti
sbecauseunl
esswegi
veaspeci
fi
cval
ueofA,
wecannotsaywhet
her
t
hest
atementi
str
ueorf
alse.
Conne
cti
ves
I
nproposit
ionallogi
cgener
all
yweusef i
veconnect
iveswhi
char
e−OR(
∨),AND(
∧),
Negat
ion/NOT( ¬),I
mpl
icat
ion/i
f-
then(
→) ,
Ifandonl
yif(
⇔).
OR(∨)−TheORoperati
onoftwoproposi
ti
onsAandB(
wri
tt
enasA∨B)i
str
uei
fat
l
eastanyoft
hepr
oposi
ti
onal
vari
abl
eAorBi str
ue.

Thet
rut
htabl
eisasf
oll
ows−
A B A∨B
Tr
ue Tr
ue Tr
ue
Tr
ue Fal
se Tr
ue
Fal
se Tr
ue Tr
ue
L
IA
Fal
se Fal
se Fal
se
ER
AT
AND(∧)−TheANDoperati
onoft
wopr
oposi
ti
onsAandB(
wri
tt
enasA∧B)i
str
uei
f
bot
hthepr
oposi
ti
onal
var
iabl
eAandBi
str
ue. M
Y
Thet
rut
htabl
eisasf
oll
ows−
. I N
D
ES
NOT
U
A B A∧B
ST
KTU
KC
Tr
ue Tr
ue Tr
ue
R
Tr
ue Fal
se Fal
se
TU
AK
Fal
se Tr
ue Fal
se
Fal
se Fal
se Fal
se
Negati
on(¬)−Thenegati
onofapr
oposi
ti
onA(
wri
tt
enas¬A)i
sfal
sewhenAi
str
ue
andistr
uewhenAisfal
se.
Thet
rut
htabl
eisasf
oll
ows−
A ¬A

Tr
ue Fal
se
Fal
se Tr
ue
I
mplicat
ion/if
-t
hen(→)−Ani
mpl
i
cat
ionA→Bi
sFal
sei
fAi
str
ueandBi
sfal
se.The
r
estcasesaret
rue.
Thet
rut
htabl
eisasf
oll
ows−
A B A→ B
L
IA
ER
Tr
ue Tr
ue Tr
ue
AT
Tr
ue Fal
se Fal
se
M
Y
Fal
se Tr
ue Tr
ue
. I N
D
ES
NOT
U
ST
KTU
Fal
se Fal
se Tr
ue
KC
Ifandonl
yif(⇔)−A⇔Bi sbi-
condi
ti
onall
ogi
calconnect
ivewhi
chi
str
uewhenpandq
arebot
hfalseorbot
har
etrue.
R
TU
Thet
rut
htabl
eisasf
oll
ows−
AK
A B A⇔ B
Tr
ue Tr
ue Tr
ue
Tr
ue Fal
se Fal
se
Fal
se Tr
ue Fal
se
Fal
se Fal
se Tr
ue

Taut
ologi
es
A Taut
ologyi
saf
ormul
awhi
chi
sal
way
str
uef
orev
eryv
alueofi
tspr
oposi
ti
onal
v
ariabl
es.
Qn:Pr
ove[
(A→ B)∧A]→ Bi
sat
aut
ology
Thet
rut
htabl
eisasf
oll
ows−
A B A→ B (
A→ B)∧A [
(A→ B)∧A]→ B
L
Tr
ue Tr
ue Tr
ue Tr
ue Tr
ue
IA
ER
Tr
ue Fal
se Fal
se Fal
se Tr
ue
AT
Fal
se Tr
ue Tr
ue Fal
se M Tr
ue
Y
. I N
D
Fal
se Fal
se Tr
ue Fal
se
T ES Tr
ue
U
N O
ST
Aswecanseeev
eryv
al
KT
ueof[
(U
A→ B)∧A]→ Bi
s“Tr
ue”
,iti
sat
aut
ology
.
KC
Cont
radi
ct
ions
R
ACont
radi
cti
oni
saf
ormul
awhi
chi
sal
way
sfal
sef
orev
eryv
alueofi
tspr
oposi
ti
onal
TU
v
ari
abl
es.
AK
Qn:−Pr
ove(
A∨B)∧[
(¬A)∧(
¬B)
]isacont
radi
cti
on
Thet
rut
htabl
eisasf
oll
ows−
A B A∨B ¬A ¬B (
¬A)∧(
¬B) (
A∨B)∧[
(¬A)∧(
¬B)
]
Tr
ue Tr
ue Tr
ue Fal
se Fal
se Fal
se Fal
se
Tr
ue Fal
se Tr
ue Fal
se Tr
ue Fal
se Fal
se

Fal
se Tr
ue Tr
ue Tr
ue Fal
se Fal
se Fal
se
Fal
se Fal
se Fal
se Tr
ue Tr
ue Tr
ue Fal
se
Aswecanseeev
eryv
alueof(
A∨B)∧[
(¬A)∧(
¬B)
]is“
Fal
se”
,iti
sacont
radi
cti
on.
Cont
i
nge
ncy
AConti
ngencyisaformul
awhichhasbot
hsomet
rueandsomef
alsev
aluesf
orev
ery
val
ueofi
tsproposi
ti
onalv
ari
abl
es.
L
IA
Qn:−Pr
ove(
A∨B)∧(
¬A)acont
ingency
ER
Thet
rut
htabl
eisasf
oll
ows−
AT
A B A∨B ¬A (
A∨B)∧(
¬A)
M
Y
Tr
ue Tr
ue Tr
ue
. N
Fal
I se Fal
se
D
ES
NOT
U
ST
KTU
Tr
ue Fal
se Tr
ue Fal
se Fal
se
KC
Fal
se Tr
ue Tr
ue Tr
ue Tr
ue
R
TU
Fal
se Fal
se Fal
se Tr
ue Fal
se
AK
Aswecanseeev
eryv
alueof(
A ∨ B)∧ (
¬A)hasbot
h“Tr
ue”and“
Fal
se”
,iti
sa
cont
ingency
.
Pr
opos
it
ional
Equi
val
enc
es
Twost
atement
sXandYar
elogi
cal
l
yequi
val
enti
fanyoft
hef
oll
owi
ngt
wocondi
ti
ons
−
 Thet
rut
htabl
esofeachst
atementhav
ethesamet
rut
hval
ues.
 Thebi
-condi
ti
onal
stat
ementX⇔ Yi
sat
aut
ology
.

Qn:−Pr
ove¬(
A∨B)and[
(¬A)∧(
¬B)
]ar
eequi
val
ent
Test
ingby1stmet
hod(
Mat
chi
ngt
rut
htabl
e)
A B A∨B ¬(
A∨B) ¬A ¬B [
(¬A)∧(
¬B)
]
Tr
ue Tr
ue Tr
ue Fal
se Fal
se Fal
se Fal
se
Tr
ue Fal
se Tr
ue Fal
se Fal
se Tr
ue Fal
se
L
Fal
se Tr
ue Tr
ue Fal
se Tr
ue Fal
se Fal
se
IA
ER
Fal
se Fal
se Fal
se Tr
ue Tr
ue Tr
ue Tr
ue
AT
Here,wecanseethetrut
hval
uesof¬(
A∨B)and[
( M
¬A)∧(
¬B)
]ar
esame,hencet
he
st
atementsar
eequiv
alent
.
Y
. I N
D
Test
ingby2ndmet
hod(
Bi-
condi
ti
onal
i
ty)
ES
NOT
U
ST
KTU
A B ¬(
A∨B) [
(¬A)∧(
¬B)
] [
¬(A∨B)
]⇔ [
(¬A)∧(
¬B)
]
KC
Tr
ue Tr
ue Fal
se Fal
se Tr
ue
R
TU
Tr
ue Fal
se Fal
se Fal
se Tr
ue
AK
Fal
se Tr
ue Fal
se Fal
se Tr
ue
Fal
se Fal
se Tr
ue Tr
ue Tr
ue
As[
¬(A∨B)
]⇔ [
(¬A)∧(
¬B)
]isat
aut
ology
,thest
atement
sar
eequi
val
ent
.
I
nve
rse
,Conv
ers
e,andCont
ra-
pos
it
iv
e
Acondi
ti
onal
stat
ementhast
wopar
ts−Hy
pot
hesi
sandConcl
usi
on.
Exampl
e ofCondi
ti
onalSt
atement− “
Ify
ou do y
ourhomewor
k,y
ou wi
l
lnotbe

puni
shed.
”Here,"youdo yourhomewor
k"i
sthehy
pot
hesi
sand "
youwi
l
lnotbe
puni
shed"i
stheconcl
usi
on.
Inv erse− An i
nver
se oft he condi
ti
onalstat
ementi sthe negat
ion ofboththe
hy pothesi
sandtheconclusion.I
fthest
atementis“Ifp,t
henq”,theinver
sewil
lbe“I
f
notp, t
hennotq”
.Theinverseof“I
fyoudoyourhomewor k,youwil
lnotbepuni
shed”i
s
“Ify oudonotdoyourhomewor k,y
ouwill
bepunished.”
Converse−Theconv erseofthecondit
ionalstat
ementiscomputedbyi nt
erchangi
ng
t
hehy pothesi
sandtheconclusi
on.Ift
hest at
ementis“I
fp,thenq”,t
heinversewil
lbe
“fq,
I thenp”.Theconverseof"
Ifyoudoy ourhomework,youwil
lnotbepunished"i
s"If
L
IA
youwillnotbepuni
shed,youdonotdoy ourhomework”.
ER
Contr
a-positi
ve−Thecont r
a-posit
iveoft hecondi
ti
onali
scomput edbyi nt
erchanging
AT
thehypothesisandtheconclusionoft heinver
sestat
ement.Ifthestatementis“Ifp,
thenq”,t
hei nver
sewillbe“fnotq,t
I hennotp”.TheContra-
posit
iveof"Ifyoudoy our
homewor k,youwil
lnotbepunished”is"Ify
M
ouwil
lbepuni
shed,youdoy ourhomewor k”
.
Y
Dual
i
tyPr
inc
ipl
e . I N
D
ES
NOT
U
Dual
it
ypr i
nci
plesetstatesthatforanytr
uestatement
,thedualst
atementobtai
nedby
ST
i
nter
changinguni
KTU
onsi nt
ointersecti
ons(andvicever
sa)andinter
changingUniver
sal
KC
seti
ntoNullset(andv i
ceversa)isalsot
rue.I
fdualofanystat
ementisthestat
ement
i
tsel
f,i
tissai
dself-dualst
atement .
R
Exampl
e−Thedual
of(
A∩B)∪Ci
s(A∪B)∩C
TU
Todeducenewstat
ementsf
rom t
hest
atement
swhoset
rut
hthatweal
readyknow,
AK
Rul
esofInf
erencear
eused.
Whatar
eRul
esofI
nfer
encef
or?
Mat
hemat
icall
ogi
cisof
tenusedf
orl
ogi
calpr
oof
s.Pr
oof
sar
eval
i
dar
gument
sthat
det
ermi
net
het
rut
hval
uesofmat
hemat
ical
stat
ement
s.
Anar
gumenti
sasequenceofst
atement
s.Thel
astst
atementi
stheconcl
usi
onandal
l
i
tspr
ecedi
ngst
atement
sar
ecal
l
edpr
emi
ses(
orhy
pot
hesi
s).Thesy
mbol“
∴”,(
read
t
her
efor
e)i
s pl
aced bef
oret
he concl
usi
on.A v
ali
d ar
gumenti
s one wher
ethe

concl
usi
onf
oll
owsf
rom t
het
rut
hval
uesoft
hepr
emi
ses.
Rul
esofI
nfer
encepr
ovi
det
het
empl
atesorgui
del
i
nesf
orconst
ruct
ingv
ali
dar
gument
s
f
rom t
hest
atement
sthatweal
readyhav
e.
Addi
ti
on
I
fPi
sapr
emi
se,
wecanuseAddi
cti
onr
ulet
oder
iveP∨Q.
P
Q
L
-
--
--
--
--
-
IA
∴P∨Q
ER
Exampl
e
AT
LetPbet
hepr
oposi
ti
on,
“Hest
udi
esv
eryhar
d”i
str
ue
Therefor
e−" Ei
therhest
udiesv er
yhar
M
dOrhei
sver
ybadst
udent
."Her
eQ i
sthe
Y
proposit
ion“
hei
sav er
ybadstudent”
.
. I N
D
Conj
unct
ion
ES
NOT
U
ST
I
fPandQar
etwopr
KTU
emi
ses,
wecanuseConj
unct
ionr
ulet
oder
iveP∧Q.
KC
P
Q
R
-
--
--
--
--
-
TU
∴P∧Q
Exampl
e
AK
LetP−“
Hest
udi
esv
eryhar
d”
LetQ−“
Hei
sthebestboyi
nthecl
ass”
Ther
efor
e−"
Hest
udi
esv
eryhar
dandhei
sthebestboyi
nthecl
ass"
Si
mpl
i
ficat
ion
I
fP∧Qi
sapr
emi
se,
wecanuseSi
mpl
i
ficat
ionr
ulet
oder
iveP.
P∧Q
-
--
--
--
--
-

∴P
Exampl
e
"
Hest
udi
esv
eryhar
dandhei
sthebestboyi
nthecl
ass"
Ther
efor
e−"
Hest
udi
esv
eryhar
d"
ModusPonens
I
fPandP→Qar
etwopr
emi
ses,
wecanuseModusPonenst
oder
iveQ.
P→Q
L
P
IA
-
--
---
--
--
ER
∴Q
Exampl
e
AT
"
Ify
ouhav
eapasswor
d,t
heny
oucanl
ogont
ofacebook"M
Y
"
Youhav
eapasswor
d"
. I N
D
ES
NOT
U
Ther
efor
e−"
Youcanl
ogont
ofacebook"
ST
ModusTol
lens
KTU
KC
I
fP→Qand¬Qar
etwopr
emi
ses,
wecanuseModusTol
l
enst
oder
ive¬P.
R
P→Q
TU
¬Q
-
--
---
--
--
AK
∴¬P
Exampl
e
"
Ify
ouhav
eapasswor
d,t
heny
oucanl
ogont
ofacebook"
"
Youcannotl
ogont
ofacebook"
Ther
efor
e−"
Youdonothav
eapasswor
d"
Di
sjunct
iveSy
ll
ogi
sm
I
f¬PandP∨Qar
etwopr
emi
ses,
wecanuseDi
sj
unct
iveSy
ll
ogi
sm t
oder
iveQ.

¬P
P∨Q
-
--
--
--
--
-
∴Q
Exampl
e
"
Thei
cecr
eam i
snotv
ani
l
laf
lav
ored"
"
Thei
cecr
eam i
sei
therv
ani
l
laf
lav
oredorchocol
atef
lav
ored"
Ther
efor
e−"
Thei
cecr
eam i
schocol
atef
lav
ored”
L
Hy
pot
het
icalSy
ll
ogi
sm
IA
ER
I
fP→QandQ→Rar
etwopr
emi
ses,
wecanuseHy
pot
het
ical
Syl
l
ogi
sm t
oder
iveP→R
AT
P→ Q
Q→ R
-
--
--
--
--
- M
∴P→ R
Y
. I N
D
Exampl
e
ES
NOT
U
ST
KTU
"
Ifi
trai
ns,
Ishal
lnotgot
oschool
”
"
IfIdon'
tgot
oschool
,Iwon'
tneedt
odohomewor
k"
KC
Ther
efor
e−"
Ifi
trai
ns,
Iwon'
tneedt
odohomewor
k"
R
TU
Const
ruct
iveDi
lemma
AK
I
f(P→Q)∧( R→S)andP∨Rar
etwopr
emi
ses,wecanuseconst
ruct
ivedi
l
emmat
o
der
iveQ∨S.
(P→ Q)∧(R→ S)
P∨R
-
--
--
--
--
-
∴Q∨S
Exampl
e
“
Ifi
trai
ns,
Iwi
l
ltakeal
eav
e”
“
Ifi
tishotout
side,
Iwi
l
lgof
orashower
”

“
Eit
heri
twi
l
lrai
nori
tishotout
side”
Ther
efor
e−"
Iwi
l
ltakeal
eav
eorIwi
l
lgof
orashower
"
Dest
ruct
iveDi
lemma
I
f(P→Q)∧(R→S)and¬Q∨¬Sar
etwopr
emi
ses,wecanusedest
ruct
ivedi
l
emmat
o
der
iveP∨R.
(
P→ Q)∧( R→ S)
¬Q∨¬S
-
---
--
--
--
∴P∨R
L
IA
Exampl
e“I
fitr
ains,
Iwi
l
ltakeal
eav
e”
ER
“
Ifi
tishotout
side,
Iwi
l
lgof
orashower
”
AT
“
Eit
herIwi
l
lnott
akeal
eav
eorIwi
l
lnotgof
orashower
”
M
Ther
efor
e−"
Itr
ainsori
tishotout
side"
Y
. I N
D
Questi
on:
ES
NOT
U
Whichoft
hef
oll
owi
ngar
epr
oposi
ti
ons?Gi
vet
het
rut
hval
ueoft
hepr
opo-
ST
si
ti
ons.
KTU
KC
a.2+3=7:
b.Jul
i
usCaesarwaspr
esi
dentoft
heUni
tedSt
ates.
R
c.Whatt
imei
sit
?
TU
d.Bequi
et!
AK
Sol
uti
on.
a.Apr
oposi
ti
onwi
tht
rut
hval
ue(
F).
b.Apr
oposi
ti
onwi
tht
rut
hval
ue(
F).
c.Notapr
oposi
ti
onsi
ncenot
rut
hval
uecanbeassi
gnedt
othi
sst
atement
.
d.Notapr
oposi
ti
on
Questi
on:
Whichoft
hef
oll
owi
ngar
epr
oposi
ti
ons?Gi
vet
het
rut
hval
ueoft
hepr
oposi
ti
ons.
a.Thedi
ff
erenceoft
wopr
imes.
b.2+2=4:

c.Washi
ngt
onD.
C.i
sthecapi
tal
ofNewYor
k.
d.Howar
eyou?
Sol
uti
on.
a.Notapr
oposi
ti
on.
b.Apr
oposi
ti
onwi
tht
rut
hval
ue(
T).
c.Apr
oposi
ti
onwi
tht
rut
hval
ue(
F).
d.Notapr
oposi
ti
on.
L
Quest
ion:
IA
ER
Consi
dert
hef
oll
owi
ngpr
oposi
ti
ons:
p:
Todayi
sThur
sday
.
AT
q:
2+1=3:
r
:Ther
eisnopol
l
uti
oni
nNewJer
sey
.
M
Y
Const
ructt
het
rut
htabl
eof[ (
p q)
] r
.
. I N
D
ES
NOT
U
ST
KTU
Sol
uti
on.
KC
R
TU
AK
Quest
ion:
Fi
ndt
henegat
ionoft
hepr
oposi
ti
onp:
-5<x<=0:

Sol
uti
on.
Thenegat
ionofpi
sthepr
oposi
ti
on p:
x>0orx<=-
5
a.Const
ructt
het
rut
htabl
eoft
hepr
oposi
ti
on(
p q) ( p q)
:Det
ermi
ne
i
fthi
spr
oposi
ti
oni
sat
aut
ology
.
b.Showt
hatp pi
sat
aut
ology
.
L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
a.Showt
hat (
p q) p q:
ST
b.Showt
hat (
p
KTU
q) p q:
KC
c.Showt
hat ( p) p:
a.andb.ar
eknownasDeMor
gan'
slaws
R
a:
TU
AK

C:
L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
ST
a:
KTU
KC
R
TU
AK
b:

L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
ST
c:
KTU
KC
R
TU
AK

L
IA
ER
Exampl
esusi
ngRul
esofI
nfer
ence
Quest
ion:
AT
p
p q
M
Y
sr
. I N
D
ES
NOT
U
r q
ST
Ar
ri
veatt
heconcl
usi
KTU
on:
KC
st
R
St
ep Reason
TU
1)p Pr
emi
se
AK
2)p q Pr
emi
se
3)q ModusPonens(
usi
ng1,
2)
4)r q Pr
emi
se
5)q r Cont
raposi
ti
vest
atementof4
6)r ModusPonenes(
usi
ng3,
5)
7)sr Pr
emi
se
8)s Di
sjunct
iveSy
ll
ogi
sm (
usi
ng6,
7)
9)st Di
sjunct
iveAmpl
i
ficat
ion(
usi
ng8)

Quest
ion:
Wr i
tethe following ar gumentsin symbol
icform.(Assi
gn p,q,r ,etc.t
o si
mple
statementsandt hentr anslat
etheargumenti
ntomult
ipl
ecomplexstatement
susi
ngp,
qandr ..
.)Thenest abl
isht heval
idi
tyoft
heargumentorgi
veacounterexampl
etoshow
thatiti
sinval
id.
I
fIgetmyChr i
stmasbonusANDmyf r
iendsarefr
ee,Iwilltakearoadt r
ipwithmy
fri
ends..I
fmyfri
endsdon'tfi
ndajobaf
terChri
stmas,t
hent heywil
lbefree.Igotmy
Christ
masbonusandmyf ri
endsdi
dNOTf indajobafterChrist
mas.Therefor
e,Iwi
l
l
takearoadtr
ipwit
hmyf r
iends!
Sol
uti
on:
L
IA
Assi
gnt
hest
atement
sasf
oll
ows:
ER
q="
Myf
ri
endsar
efr
ee.
"
AT
p="
IgetmyChr
ist
masbonus.
"
r="
Iwi
l
ltakear
oadt
ri
pwi
thmyf
ri
ends.
" M
Y
s="
Myf
ri
endsf
indaj
obaf
terChr
ist
mas.
"
. I N
D
ES
NOT
U
Thear gument,
symbol
i
cal
l
yisasf ol
l
ows:
ST
Premises:
(pq) r
KTU
KC
s q
p
R
s
TU
Conclusion:
r
Steps Reasons
AK
1)s p Pr
emi
se
2)s Pr
emi
se
3)p ModusPonens(
usi
ng1,
2)
4)q Pr
emi
se
5)pq Conj
unct
ion
6)(
pq) r Pr
emi
se
7)r ModusPonens(
usi
ng5,
6)

I
fIgetmypaycheckANDmymom l endsmet hecartoday,thenIwil
lgoshopping
(t
oday)
.IfIgettothebankbefore4:
00pm andi ti
saFriday,Igetmypaycheck.I
fmy
mom hasthedayoffofwork,shewil
llendmet hecar
.Fr
idayismymom’ sdayoffwork
anditj
ustsohappenst
hattodayisFr
iday.Ther
efor
e,Iwi
l
lgoshoppi ngt
oday
Sol
uti
on:
Assi
gnt
hest
atement
sasf
oll
ows:
p="
Igotmypay
check.
"
L
q="
Mymom l
endsmet
hecar
."
IA
r="
Iwi
l
lgoshoppi
ng.
"
ER
s="
Igett
othebankbef
ore4pm.
"
AT
t="
Iti
sFr
iday
."
M
u="
Mymom hast
hedayof
fwor
k."
Y
. I N
D
Symboli
cal
ly
,wehavet
hepr
emi
ses:
ES
NOT
U
pq r
ST
st p
u q KTU
KC
t u
R
t
Andtheconcl
usi
on:
TU
AK
r
Thisi
sfal
sehowever
.At
tempti
ngtoprov
eitwi
llneverl
eadt
ot heconcl
usi
onr.Her
eisa
tr
uthassi
gnmentt
hatmakesal
lthepr
emisest
rue,butt
heconclusi
onfal
se:
p=F
q=T
r=F
s=F
t=T
u=T

L
IA
ER
AT
M
Y
. I N
D
ES
NOT
U
ST
KTU
KC
R
TU
AK

Pr
edi
cat
eLogi
cdeal
swi
thpr
edi
cat
es,
whi
char
epr
oposi
ti
onscont
aini
ngv
ari
abl
es.
Pr
edi
cat
eLogi
c–Def
ini
ti
on
Apr
edi
cat
eisanexpr
essi
onofoneormor
evar
iabl
esdef
inedonsomespeci
fi
cdomai
n.
Apr
edi
cat
ewi
thv
ari
abl
escanbemadeapr
oposi
ti
onbyei
therassi
gni
ngav
aluet
othe
v
ari
abl
eorbyquant
if
yingt
hev
ari
abl
e.
Thef
oll
owi
ngar
esomeexampl
esofpr
edi
cat
es−
L
 LetE(
x,y
)denot
e"x=y
"
IA
 LetX(
a,b,
c)denot
e"a+b+c=0"
ER
 LetM(
x,y
)denot
e"xi
smar
ri
edt
oy"
AT
Wel
lFor
medFor
mul
a M
Y
Wel
lFor
medFor
mul
a(wf
f)i
sapr
edi
cat
ehol
dinganyoft
hef
oll
owi
ng−
. I N
D
ES
NOT
U
 Al
lpr
oposi
ti
onal
const
ant
sandpr
oposi
ti
onal
var
iabl
esar
ewf
fs
ST
 I
fxi
sav
ari
abl
KTU
eandYi
sawf
f,∀xYand∃xYar
eal
sowf
f
KC
 Tr
uthv
alueandf
alsev
aluesar
ewf
fs
Eachat
omi
cfor
mul
aisawf
f
R
Al
lconnect
ivesconnect
ingwf
fsar
ewf
fs
TU

AK
Quant
if
ier
s
Thev
ari
abl
eofpr
edi
cat
esi
squant
if
iedbyquant
if
ier
s.Ther
ear
etwot
ypesofquant
if
ier
i
npr
edi
cat
elogi
c−Uni
ver
sal
Quant
if
ierandExi
stent
ial
Quant
if
ier
.
Uni
ver
salQuant
if
ier
Uni
ver
sal
quant
if
ierst
atest
hatt
hest
atement
swi
thi
nit
sscopear
etr
uef
orev
eryv
alue
oft
hespeci
fi
cvar
iabl
e.I
tisdenot
edbyt
hesy
mbol
∀.
∀xP(
x)i
sreadasf
orev
eryv
alueofx,
P(x)i
str
ue.

Exampl
e−"
Mani
smor
tal
"canbet
ransf
ormedi
ntot
hepr
oposi
ti
onal
for
m ∀xP(
x)
wher
eP(
x)i
sthepr
edi
cat
ewhi
chdenot
esxi
smor
tal
andt
heuni
ver
seofdi
scour
sei
s
al
lmen.
Exi
stent
ialQuant
if
ier
Exi
stent
ial
quant
if
ierst
atest
hatt
hest
atement
swi
thi
nit
sscopear
etr
uef
orsome
v
aluesoft
hespeci
fi
cvar
iabl
e.I
tisdenot
edbyt
hesy
mbol
∃.
∃xP(
x)i
sreadasf
orsomev
aluesofx,
P(x)i
str
ue.
L
IA
Exampl
e−"
Somepeopl
ear
edi
shonest
"canbet
ransf
ormedi
ntot
hepr
oposi
ti
onal
for
m
ER
∃xP(
x)wher
eP(
x)i
sthepr
edi
cat
ewhi
chdenot
esxi
sdi
shonestandt
heuni
ver
seof
AT
di
scour
sei
ssomepeopl
e.
M
Nest
edQuant
if
ier
s
Y
. I N
D
I
fweuseaquant
if
iert
hatappear
swi
thi
nt
ES
hescopeofanot
herquant
if
ier
,iti
scal
l
ed
NOT
U
ST
KTU
nest
edquant
if
ier
.
KC
Exampl
e
R
 ∀a∃bP(
x,y
)wher
eP(
a,b)denot
esa+b=0
TU
 ∀a∀b∀cP(
a,b,
c)wher
eP(
a,b)denot
esa+(
b+c)=(
a+b)+c
AK
Not
e−∀a∃bP(
x,y
)≠∃a∀bP(
x,y
)
Giv
enapredi
cat
est at
ementp(n)
,wewouldli
ketodet
ermi
neifiti
suni
ver
sal
l
yTr
ue,
uni
ver
sal
l
yF alse,orTrue i
nsomei
nst
ancesandFal
seinother
s.
1.Auniv
ersal
lyaff
ir
mati
vepr
edi
cat n)
ep( ,
onet
hati
sTr
ue f
oral
lval
uesofi
ts
v
ari
abl
e(s)
,canbewri
tt
enas
∀n)
( ( n)
p( )
2.A uni
versall
y negat
ivepredi
cat
ep( n),onethati
sTr ue fornov al
-uesofi
ts
var
iabl
e(s)
;thati
s,Falseforallv
aluesofit
svari
abl
e(s)
,canbewr
it
tenas

¬(
∃n)
( n)
p( )
or
∀n)
( (¬p(
n))
3.Apart
icul
araffi
rmat
ivepr
edi
cat n)
ep( ,
onet
hati
sTr
ue f
orsomev
aluesofi
ts
v
ari
abl
e(s)canbewri
tt
enas
∃n)
( ( n)
p( )
4.Apart
icul
arnegati
vepredi
cat n)
ep( ,
onet
hati
sFal
sef
orsomev
aluesofi
ts
v
ari
abl
e(s)canbewri
tt
enas
∃n)
( (¬p(
n))
L
IA
ER
Pr
edi
cat
eLogi
cInf
erenceRul
es
AT
Ther
ear
efourbasi
crul
est
oreasonabout
M
quant
if
iedst
atement
s.
Y
Uni
ver
salI
nst
ant
iat
ion:
I ∀x∈ U)
f( ( x)
p( )i
sTr
ue t ∃c∈U)
hen( ( c)
p( )i
sTr
ue
. I N
D
Uni
ver
salGener
ali
sat
ion:I
fp(c)i
str
ES
uef
oranar
bit
r yc∈Ut
ar he ∀x∈ U)
n( ( x)
p( )i
s
NOT
U
ST
KTU
t
rue
Exi
stent
ialI
nst
ant
iat
ion:I
f(∃x∈ U)
( x)
p( )i
sTr
ue,t c)i
henp( sTr
uef
orsomei
nst
ance
KC
c
R
Exi
stent
ialGener
ali
zat
ion:I c)i
fp( sTr
ue,t ∃x∈ U)
hen( ( x)
p( )i
sTr
ue
TU
Negat
ionofQuant
if
iedSt
atement
s
AK
I
fsomet
hi
ngi
snotal
waysTr
ue,t
her
eisani
nst
ancewher
eiti
s
Fal
se.
¬[
(∀x∈X)
( x)
p( ]≡(
) ∃x∈X)
(¬p(
x))
I
fther
eisnotani
nst
ancewhensomet
hingTr
ue,t
hent
hesomet
hingi
sal
way
sFal
se.
¬[
(∃x∈X)
( x)
p( ]≡(
) ∀x∈X)
(¬p(
x))

Answer
s
Quest
ion For
malRepr
esent
ati
on Negat
ions
1.Al
ldogsbar
k. dogsd,
dbar
ks ~( dogsd,
dbar
ks)
dogsd,
~(dbar
ks)
dogsd,
ddoesnotbark
Somedogsdonotbark.
2.Mostcarsar
e sc,
car cisi
nexpensi
v sc,
e ~( car cisi
nexpensi
ve)
i
nexpensi
ve.
sc,
car ~(ci
sinexpensi
ve)
sc,
car cisnotinexpensi
ve
L
Nocarisi
nexpensi
ve.
IA
3 EverydayIbr
ingl
uncht
o
ER
days,
Ibr
ingl
uncht
o ~( day
s,Ibr
ingl
uncht
o
work. work wor
k)
AT
day
s,~(
Ibr
ingl
uncht
o
work)
M day
s,Idonotbri
nglunchto
Y
work
D
Someday sIdon'
tbr
inglunch
U
towork.
ST
4 Cheat
ersnev
erpr
osper
. cheat
ersc,
cnever ~( cheat
ersc,
cnever
pr
ospers pr
osper
s)
KC
cheat
ersc,
~(cnever
pr
osper
s)
R
cheat
ersc,
cpr
osper
s
TU
Somecheater
spr
osper
.
AK
5.Somepeopl
ear
ebor
n ep,
peopl pisbor
n ep,
~( peopl pisbor
nlucky
)
l
ucky
. l
ucky ep,
peopl ~(pi
sbor
nlucky
)
ep,
peopl pisnotbor
n
l
ucky
Nooneisbor
nlucky.
Pr
obl
emsonPr
edi
cat
eLogi
c
1.Usemat
hemat
ical
not
ati
ont
owr
it
ethepr
edi
cat
e“Theweakcannev
erf
orgi
ve,
”that
i
sat
tr
ibut
edt
oMahat
maGandhi
,
Answer
:Lett
hedomai
nbeP,
theset
ofal
lpeopl
e, etp∈ Pr
andl epr
esentaper
son.
LetW(p)bet
hepr
edi
cat
e“pi
sweak”andl p)bet
etF( hepr
edi
cat
e“pf
orgi
ves.
”
Gandhi
’
sst
at sW(p)→ ¬F(
ementi p).
2.Thepr
edi
cat
est
atement
sbel
ow comef
rom (
Car
rol
l
,1958)
.Wr
it
ethem usi
ng
mat
hemat
ical
not
ati
on.
(
a)NoFr
enchmenl
i
kepl
umpuddi
ng.
Answer
:(∀p∈ P)
(F(p)→ ¬LP(
p))
,wher p)i
eF( sthepr
edi
cat
e“pi
saFr
echman”
p)i
andLP( sthe
pr
edi
cat
e“pl
i
kespl
umpuddi
ng.Anequi
val
entst
atementi
s(∀p∈ P)
(LP(p)→
p)
F( )
.
L
IA
(
b)Al
lEngl
i
shmenl
i
kepl
umpuddi
ng.
ER
Answer
:(∀p∈P)
(E(p)→ LP(
p))
.
AT
(
c)Somet
hinper
sonsar
enotcheer
ful
.
Answer
:(∃p∈P)
(T(p)∧¬C(
p))
. M
(
d)Al
lpi
gsar
efat
.
Y
D
Answer
:(∀p∈PI
G)(
Fat
(p)
).
U
(
e)Somel
essonsar
edi
ff
icul
t.
ST
Answer
:(∃l
∈L)
( l
D())
.
KC
(
f)Al
lcl
everpeopl
ear
epopul
ar.
R
Answer
:(∀p∈P)
(C(p)→ P(
p))
.
TU
(
g)Someheal
thypeopl
ear
efat
.
AK
Answer
:(∃p∈P)
( p)∧Fat
H( (p)
).
3.Whi
choft
hest
atement
sbel
owar
eTr
ue andwhi
char
eFal
se?
( ∀n∈N)
a)( (n2 >0)
Answer
:Thi
sisFal
se;i
tfai
l
stohol
dfor0∈N.
( ∃n∈N)
b)( (n2 >0)
Answer
:Thi
sisTr
ue;i
thol orn=1.
dsf
( ∀n∈N)
c)( (n2 ≤0)
Answer
:Thi
sisFal
se;i
tfai
l
stohol
dfor1∈N.
( ∃n∈N)
d)( (n2 ≤0)
Answer
:Thi
sisTr
ue;i
thol orn=0.
dsf
x)bet
4.Letp( hest
atementx2 =x+1ov
ert
hedomai
nofr
ealnumber
s.Whati
s
t
het
rut
hval
ueoft
hef
oll
owi
ngst
atement
s.
(
a)p(
0)
Answer
:p(
0)i
sFal
se.
L
√
IA
(
b)p(
(1+ 5)
/ 2)
ER
√
Answer
:p(
1+ 5)
/ 2)i
sTr
ue.
AT
( ∀x∈R)
c)( ( x)
p( )
Answer
:(∀x∈R)
( x)
p( )i
sFal
se. M
Y
( ∀x∈R)
d)( (¬p(
x))
D
Answer
:(∀x∈R)
(¬p(
x))i
sFal
se.
U
ST
( ∃x∈R)
e)( ( x)
p( )
Answer
:(∃x∈R)
( x)
p( )i
sTr
ue.
KC
(
f ∃x∈R)
)( (¬p(
x))
R
Answer
:(∃x∈R)
(¬p(
x))i
sTr
ue.
TU
5.Letcanf (p,t
ool )bet
hepr
oposi
ti
on “
You canf sonpatt
oolper ime t
.”Wr
it
e
Abr
aham Li
ncol
n’
sfamousquot
ati
on
AK
Youcanf
oolsomeoft
hepeopl
eal
loft
het
ime,andal
loft
hepeopl
esomeoft
het
ime,
butyoucannotf
oolal
loft
hepeopl
eal
loft
het
ime.
usi
ngt
hequant
if
ier
sov epandt
erpeopl imestandt
hecanf p,
ool
( t
)pr
edi
cat
e.
Answer ∃p)
: ( (∀t
)(canf ( p, t
ool )) ∧ ∀p)
( (∃t
)(canf ( p, t
ool )) ∧
¬(
∀p)
(∀t
)(canf p,
ool
( t
)).
.SupposeS(
6. n)i
sapr
edi
cat
eonnat
uralnumber
s,n,
andsuppose
∀k∈N)
( (S(
k)→ S(
k+2)
).
hol
dsTr
ue,Ar
ethest
atement
sbel
ow al
way
sTr
ue,al
way
sFal
se,orsomet
imes
Tr
ue andsomet
imes
Fal
se?
•Consi
dert
hest
atement
∀n≤100)
( (S(
n))∧(
∀n>100)
(¬S(
n))
I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue andsomet
imesFal
se?
Answer
:Int
hiscase,Si
sTr ornupt
ue f o100andFal
sef
rom 101on.SoS(
99)i
s
L
IA
ue,butS(
Tr 101)i
s
ER
Fal
se hatS(
.Thatmeanst k)→ S(
k+2)f
ork=99.
Thi
scasei
simpossi
ble.
AT
•Consi
dert
hest
atement
S(
1)→ (
∀n)
(S(
2n+1)
) M
I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue andsomet
imesFal
se?
Y
D
Answer
:Thi
sasser
ti
onsayst fS(
hati 1)hol henS(
ds,t n)hol
dsf lodd n.Thi
oral s
U
casei
sal
way
sTr
ue.
ST
•Consi
dert
hest
atement
KC
∃n)
( (S(
2n)→(
∀n)
(S(
2n+2)
))
R
I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue andsomet
imesFal
se?
TU
Answer
:IfS(
n)i
sal
way
sTr
ue,t
hisasser
ti
onhol
ds.Sot
hiscasei
spossi
ble.I
f
AK
S(
n)i
str
ueonl
yforev
enngr
eat
ert
han4,
(1)hol
ds,
butt
hisasser
ti
oni
sfal
se.
So
t
hiscasedoesnotal
way
shol
d.
•Consi
dert
hest
atement
∃n)
( (∃m >n)
(S(
2n)∧¬S(
2m)
)
I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue andsomet
imesFal
se?
Answer
:Thi
sasser
ti hatS hol
onsayst dsf
orsomeev ,2n,butnotf
ennumber or
someot
herl
argerev ,2m.Howev
ennumber er fS(
,i 2n)hol yn— m
ds,wecanappl
t
imest udeS(
oconcl 2m)al
sohol
ds.Thi
scasei
simpossi
ble.
•Consi
dert
hest
atement
∃n)
( (S(
n))→(
∀n)
(∃m >n)
(S(
m))
I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue and
somet
imesFal
se?
Answer
:Thi
sasser
ti
on sayst fS hol
hati orsomen,t
dsf henf
orev
erynumber
,
t
her
eisal
argernum-ber
,m,
f chSal
orwhi sohol
ds.Si
nce(
1)i
mpl
i
est
hati
fther
e
sonenf
i ch S(
orwhi n)hol
ds,t
her
ear
eani
nfi
nit
e,i
ncr
easi nofk’
ngchai sfor
L
IA
chS(
whi k)hol
ds,
thi
scasei
sal
way
str
ue.
ER
Met
hodsofI
ndi
rectPr
oof
s:Cont
radi
cti
onandCont
raposi
ti
on
AT
Recal
lthati
nadi
rectpr
oofonest
art
swi
tht
hehy
pot
hesi
sofani
mpl
i
cat
ionp!qand
t
henpr
ovest
hatt
heconcl
usi
oni
str
ue.Anyot
hermet M
hodofpr
oofwi
l
lber
efer
redt
oas
Y
ani
ndi
rectpr
oof
.Int
hissect
ionwest
udyt
womet
hodsofi
ndi
rectpr
oof
s,namel
y,t
he
D
pr
oofbycont
radi
cti
onandt
hepr
oofbycont
raposi
ti
ve.
U
ST
Proofbycont
radict
ion:Wewantt oshow thatpist
rue.Weassumei
tisnotand
ther
efor
e pistrueandthender
iveacont
radi
cti
on.
KC
Questi
on:
2
I
fn isaneveni
ntegersoi
sn:
R
TU
Solut
ion:
Supposethecont
rar
y.Thati
ssupposet
hatni
sodd.Thent
her
eisani
nteger
ksucht
hat
AK
n=2k+1:I
nt scase,n2 =2(
hi 2k2 +2k)+1i
soddandt
hiscont
radi
ctst
heassumpt
ion
hatn2i
t sev
en.Hence,
nmustbeev
en
Quest
ion:
Thenumber 2i
sir
rat
ional
.
Solut
ion:
Supposenot
.Thati
s,supposet
hat 2i
srat
ional
.Thent
her
eexi
stt
woi
nteger
sm and
nwi
thnocommondi
vi
sor
ssucht
hat 2=m/
n:Squar
ingbot
hsi
desoft
hisequal
i
ty
wef
i hat2n2 =m2:Thus,m2 i
ndt sev
en.I
fm i
sev
en.Thati
s,2di
vi
desm:Butt
henm =
2kf
orsomei
ntegerk.Taki
ngt
hesquar
ewef
i hat2n2=m2=4k2;
ndt t sn2=2k2:
hati Thi
s
say
sthatn2 i
sev
enandt
hen,ni
sev
en.Weconcl
udet
hat2di
vi
desbot
hm andnand
t
hiscont
radi
ctsourassumpt
iont
hatm andnhav
enocommondi
vi
sor
s.Hence, 2
mustbei
rr
ati
onal
.
Quest
ion:
L
Thesetofpr
imenumber
sisi
nfi
nit
e.
IA
ER
Sol
uti
on:
AT
Supposenot
.Thati
s,supposet
hatt
hesetofpr
imenumber
sisi
nfi
nit
e.Thent
hese
pr
imenumber
scanbel
i
sted,
say
,p1;
p2;
...;
pn:
Now,M
consi
dert
hei
ntegerN=p1p2...
Y
pn+1:Byt
heUni
queFact
ori
zat
ionTheor
em,Ncanbef
act
oredi
ntopr
imes.Thus,t
her
e
D
i
sapr
imenumberpisucht
hatpi
/N:Butsi
ncepi
/p1p2...pnwehav
epi
/(
N-p1p2...
U
ST
pn)=1;
acont
radi
cti
onsi
ncepi
>1
KC
R
TU
AK

Discrete Structure

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Discrete Structure

Uploaded by

Copyright:

Available Formats

More pdf : www.motivationbank.

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Example−IfA={ 1,2,6}andB={ 16,17,22}

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Fn =Fn−1 +Fn−2 a1 =a2 =1 Fi

Downloaded from Ktunotes.in

1=F0 =a30 +b20 =a+b

4=F1 =a31 +b21 =3a+2b

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Now h∈Handk∈H⇒ hk-1∈H(

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

Downloaded from Ktunotes.in

The r ules of mat hemati