Discrete Structures & Theory of Logic

Course Outcome ( CO) Bloom’s Knowledge Level (KL)

At the end of course , the student will be able to understand

CO 1 Write an argument using logical notation and determine if the argument is or is not valid. K3, K4
CO 2 Understand the basic principles of sets and operations in sets. K1, K2
Demonstrate an understanding of relations and functions and be able to determine their
CO 3 K3
properties.
CO 4 Demonstrate different traversal methods for trees and graphs. K1, K4
CO 5 Model problems in Computer Science using graphs and trees. K2, K6

DETAILED SYLLABUS 3-1-0

Unit Topic Proposed
Lecture
Set Theory: Introduction, Combination of sets, Multisets, Ordered pairs. Proofs of some general
identities on sets. Relations: Definition, Operations on relations, Properties of relations, Composite
Relations, Equality of relations, Recursive definition of relation, Order of relations.
I 08
Functions: Definition, Classification of functions, Operations on functions, Recursively defined
functions. Growth of Functions.
Natural Numbers: Introduction, Mathematical Induction, Variants of Induction, Induction with
Nonzero Base cases. Proof Methods, Proof by counter – example, Proof by contradiction.
II Algebraic Structures: Definition, Groups, Subgroups and order, Cyclic Groups, Cosets,
Lagrange's theorem, Normal Subgroups, Permutation and Symmetric groups, Group 08
Homomorphisms, Definition and elementary properties of Rings and Fields.
Lattices: Definition, Properties of lattices – Bounded, Complemented, Modular and Complete
III lattice. Boolean Algebra: Introduction, Axioms and Theorems of Boolean algebra, Algebraic
08
manipulation of Boolean expressions. Simplification of Boolean Functions, Karnaugh maps, Logic
gates, Digital circuits and Boolean algebra.
Propositional Logic: Proposition, well formed formula, Truth tables, Tautology, Satisfiability,
IV Contradiction, Algebra of proposition, Theory of Inference. (8) 08
Predicate Logic: First order predicate, well formed formula of predicate, quantifiers, Inference
theory of predicate logic.
Trees: Definition, Binary tree, Binary tree traversal, Binary search tree.
V Graphs: Definition and terminology, Representation of graphs, Multigraphs, Bipartite graphs,
Planar graphs, Isomorphism and Homeomorphism of graphs, Euler and Hamiltonian paths, Graph 08
coloring, Recurrence Relation & Generating function: Recursive definition of functions, Recursive
algorithms, Method of solving recurrences.
Combinatorics: Introduction, Counting Techniques, Pigeonhole Principle
Text books:
1.Koshy, Discrete Structures, Elsevier Pub. 2008 Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6/e,
McGraw-Hill, 2006.
2. B. Kolman, R.C. Busby, and S.C. Ross, Discrete Mathematical Structures, 5/e, Prentice Hall, 2004.
3.E.R. Scheinerman, Mathematics: A Discrete Introduction, Brooks/Cole, 2000.
4.R.P. Grimaldi, Discrete and Combinatorial Mathematics, 5/e, Addison Wesley, 2004
5.Liptschutz, Seymour, “ Discrete Mathematics”, McGraw Hill.
6.Trembley, J.P & R. Manohar, “Discrete Mathematical Structure with Application to Computer Science”, McGraw Hill.
4. Deo, 7.Narsingh, “Graph Theory With application to Engineering and Computer.Science.”, PHI.
8. Krishnamurthy, V., “Combinatorics Theory & Application”, East-West Press Pvt. Ltd., New Delhi
 ST U D YZONE A D I T YA .COM
www.studyzoneaditya.com

ENGINEERING ALL CONTENTS

Books, Quantum, Typing Notes, Handwritten Notes,
Practical File's And All Engineering Study Materials
Available Here.

For more details visit and follow touch to icons below

studyzoneaditya.com B.TECH STUDY ZONE

STUDY ZONE B.TECH STUDY ZONE

 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Se
t–De
fini
t
ion
Asetisanunorder
edcollect
ionofdif
fer
entel
ements.Asetcanbewr i
tt
enexpl
ici
tl
yby
l
isti
ngitsel
ementsusingsetbracket
.Iftheor
deroftheelementsischangedorany
elementofaseti
srepeat
ed,itdoesnotmakeanychangesintheset
.

SomeExampl
eofSet
s

 Asetofal
lposi
ti
vei
nteger
s

 Asetofal
lthepl
anet
sint
hesol
arsy
stem

 Asetofal
lthest
atesi
nIndi
a

 Asetofal
lthel
ower
casel
ett
ersoft
heal
phabet

Re
pre
sent
ati
onofaSe
t
Set
scanber
epr
esent
edi
ntwoway
s−

 Rost
erorTabul
arFor
m

 SetBui
l
derNot
ati
on
Rost
erorTabul
arFor
m
Thesetisrepr
esentedbyli
sti
ngalltheelement
scompr
isi
ngi
t.Theel
ement
sar
e
encl
osedwi
thi
nbracesandsepar
atedbycommas.

Exampl
e1−Setofv
owel
sinEngl
i
shal
phabet
,A={
a,e,
i
,o,
u}

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−
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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,
..
..
.}

Z+ −t
hesetofal
lposi
ti
vei
nteger
s

Q−t
hesetofal
lrat
ional
number
s

R−t
hesetofal
lreal
number
s

W −t
hesetofal
lwhol
enumber
s

Car
dinal
i
tyofaSe
t
Car
dinal
ityofasetS,denot
edby| S|
,i
st henumberofel
ement
soft
heset
.Ifasethas
ani
nfini
tenumberofelements,
itscar
dinal
it
yis∞.

Exampl
e−|
{1,
4,3,
5}|
=4,
|{1,
2,3,
4,5,
…}|
=∞

I
fther
ear
etwoset
sXandY,

 |
X|=|
Y|r
epr
esent
stwoset
sXandYt
hathav
ethesamecar
dinal
i
ty,
ift
her
eex
ist
sabi
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’
from 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’
from Xt
oY.

 I
f|X|
≤|Y|
and|
X|≤|
Y|t
hen|
X|=|
Y|
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
Asetwhi
chcont
ainsi
nfi
nit
enumberofel
ement
siscal
l
edani
nfi
nit
eset
.

Exampl
e−S={
x|x∈Nandx>10}

Subset
AsetYi
sasubsetofsetX(
Wri
tt
enasX⊆Y)i
fev
eryel
ementofXi
sanel
ementofset
Y.

Example1−Let,
X={1,2,3,
4,5,6}andY={1,2}.Her
esetXi
sasubsetofsetYas
al
ltheel
ement
sofsetXi
sinsetY.Hence,
wecanwri
teX⊆Y.

Example2−Let,X={ 1,2,3}andY={ 1,2,3}

.HeresetXi sasubset(
Notapr
oper
subset
)ofsetYasal
ltheelement
sofsetXisinsetY.Hence,
wecanwrit
eX⊆Y.

Pr
operSubset
Thet
erm“
propersubset
”canbedef
inedas“
subsetofbutnotequalt
o”.ASetXi
sa
propersubsetofsetY(
Wri
tt
enasX⊂Y)i
fev
eryel
ementofXi
sanel
ementofsetY
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
Si
ngl
etonsetoruni
tsetcont
ainsonl
yoneel
ement
.Asi
ngl
etonseti
sdenot
edby{
s}.

Exampl
e−S={
x|x∈N,
7<x<9}

Equal
Set
I
ftwoset
scont
aint
hesameel
ement
stheyar
esai
dtobeequal
.

Exampl
e−IfA={ 1,
2,6}andB={ 6,
1,2},

E
t
I
heyar
S . N
eequalasever
yelementofsetAi
san
el
ementofsetBandever
yel
T
ementofsetBi

N O
sanelementofsetA.

Equi
I
ft
val
entSet
hecar
dinal
i
ti KTU
esoft
woset
sar
esame,
theyar
ecal
l
edequi
val
entset
s.

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

Ov
erl
appi
ngSet
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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
ftwoset
sCandDar
edi
sjoi
ntset
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
Venndi
agr
am,i
nvent
edi
n1880byJohnVenn,i
saschemat
icdi
agr
am t
hatshowsal
l
possi
blel
ogi
cal
rel
ati
onsbet
weendi
ff
erentmat
hemat
ical
set
s.

Ex
ampl
es

Se
tOpe
rat
i
ons
SetOper
ati
onsi
ncl
udeSetUni
on,SetI
nter
sect
ion,SetDi
ff
erence,Compl
ementofSet
,
andCart
esi
anPr
oduct
.

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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

Exampl
e−I
fA={
11,
12,
13}andB={
13,
14,
15}
,thenA∩B={
13}
.

SetDi
ff
erence/Rel
ati
veCompl
ement
Thesetdi
ff
erenceofset
sAandB(denot
edbyA−B)i
sthesetofel
ement
swhi
char
e
onl
yinAbutnotinB.Hence,
A−B={x|x∈AANDx∉B} .

Example−IfA={10,
11,12,13}andB={
13,
14,15}
,then(
A−B)={
10,
11,
12}and(
B−
A)={14,15}
.Her
e,wecansee(A−B)≠(B−A)

Compl
ementofaSet
Thecompl
ementofasetA(
denot
edbyA’
)ist
hesetofel
ement
swhi
char
enoti
nsetA.
Type your
Hence,
A'={x|
x∉A} .
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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}

Car
tesi
anPr
oduct/Cr
ossPr
oduct
TheCartesianproductoftwosetsisthesetofal lpossibleorder
edpair
swhosef i
rst
el
ementisf rom t
hefir
stsetandthesecondelementi sfrom thesecondset.I
nsimple
l
anguage,theCar t
esi
anproductist
hedirectproductoft heelementsoftwosets.I
fA
andBaret wononempt ysets,t
hentheCartesi
anpr oductisdefi
nedasfol
lows:

AxB={
(a,
b)|
a∈Aandb∈B}

TheCar
tesi
anpr
oductoft
woset
sAandB,
denot
edbyAxBi
sdef
inedast
hecol
l
ect
ion
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
AxB={
(a,
b)|aϵ
ϵA,
bϵϵB}

Ex
ampl
e1:
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)}

Ex
ampl
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,x.
2,..
.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)}
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

TheCar
tesi
anpr
oductofBandAi
swr
it
tenas−B×A={
(1,
a),
(1,
b),
(2,
a),
(2,
b)}

Powe
rSe
t
PowersetofasetSi
sthesetofal
lsubset
sofSi
ncl
udi
ngt
heempt
yset
.The
car
dinal
i
tyofapowersetofasetSofcar
dinal
i
tyni
s2n.Powerseti
sdenot
edasP(
S).

Ex
ampl
e−
ForasetS={
a,b,
c,d}l
etuscal
cul
atet
hesubset
s−

 Subset
swi
th0el
ement
s−{
∅}(
theempt
yset
)

 Subset
swi
th1el
ement−{
a},
{b}
,{c}
,{d}

 Subset
swi
th2el
ement
s−{
a,b}
,{a,
c},
{a,
d},
{b,
c},
{b,
d},
{c,
d}

 Subset
swi
th3el
ement
s−{
a,b,
c},
{a,
b,
d},
{a,
c,
d},
{b,
c,
d}

 Subset
swi
th4el
ement
s−{
a,b,
c,
d}

Hence,P(S)={{ ∅},{
a},{
b},{
c},{
d},{
a,b}
,{a,
c},{
a,d}
,{b,
c},{
b,d}
,{c,
d},{
a,b,
c},{
a,b,
d},
{
a,c,
d},{
b,c,
d},
{a,
b,
c,
d}}

|
P(S)|
=24 =16

Not
e−Thepowersetofanempt
yseti
sal
soanempt
yset
.

|
P({
∅})|
=20=1

RELATI
ONS
Wheneversetsarebeingdi
scussed,t
her el
ati
onshi
pbetweent
heelement
softheset
s
i
sthenex tt
hingthatcomesup.Relationsmayex i
stbet
weenobj
ectsoft
hesameset
orbet
weenobj ect
softwoormor esets.

De
fini
t
ionandPr
ope
rti
es
Abinar
yrel
ati
onRfrom setxt
oy(wr
it
tenasx RyorR(x
,y)
)isasubsetoft
heCar
tesi
an
pr
oductx×y.Ift
heorder
edpai
rofGi
sr ev
ersed,t
herel
ati
onal
sochanges.

Gener
all
yann-
aryr
elat
ionRbet
weenset
sA1,.
..,
andAni
sasubsetoft
hen-
arypr
oduct
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

A1×..
.×An.Themi
nimum car
dinal
i
tyofar
elat
ionRi
sZer
oandmax
imum 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
hemax
imum
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−

 Thedomai
nofRi
stheset{x|
(x,
y)∈Rf
orsomeyi
nB}

 Ther
angeofRi
stheset{y|
(x,
y)∈Rf
orsomexi
nA}

Ex
ampl
es
Let
,A={
1,2,
9}andB={
1,3,
7}

 Case1−I
frel
ati
onRi
s‘equal
to’
thenR={
(1,
1),
(3,
3)}

 Case2−I
frel
ati
onRi
s‘l
esst
han’
thenR={
(1,
3),
(1,
7),
(2,
3),
(2,
7)}

 Case3−I
frel
ati
onRi
s‘gr
eat
ert
han’
thenR={
(2,
1),
(9,
1),
(9,
3),
(9,
7)}

Re
pre
sent
ati
onofRe
lat
i
onsus
ingGr
aph
Ar
elat
ioncanber
epr
esent
edusi
ngadi
rect
edgr
aph.

Thenumberofv er
ti
cesi
nthegraphisequaltot
henumberofelementsinthesetfr
om
whi cht
herel
ationhasbeendefi
ned.Foreachorder
edpair(x
,y)i
ntherel
ationR,t
here
willbeadir
ectededgefrom t
hev er
tex‘
x’tover
tex‘y’
.Ift
her
eisanorderedpair(
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−
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Ty
pesofRe
lat
i
ons
 TheEmpt
yRel
ati
onbet
weenset
sXandY,
oronE,
ist
heempt
yset∅

 TheFul
lRel
ati
onbet
weenset
sXandYi
sthesetX×Y

 TheI
dent
it
yRel
ati
ononsetXi
stheset{
(x,
x)|
x∈X}

 TheI
nver
seRel
ati
onR'
ofar
elat
ionRi
sdef
inedas−R’
={(
b,a)|
(a,
b)∈R}

Exampl
e−I
fR={
(1,
2),
(2,
3)}t
henR’
wil
lbe{
(2,
1),
(3,
2)}

 Ar
elat
ionRonsetAi
scal
l
edRef
lexi
vei
f∀a∈Ai
srel
atedt
oa(
aRahol
ds)
.

Exampl
e−Ther
elat
ionR={
(a,
a),
(b,
b)}onsetX={
a,b}i
sref
lexi
ve

 Ar
elat
ionRonsetAi
scal
l
edI
rr
efl
exi
vei
fnoa∈Ai
srel
atedt
oa(
aRadoesnothol
d).

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
cifx
Ryi
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
cifx
Ryandy
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
esx
Rz,
∀x,
y,
z∈A.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
I
fS={
s1,...,sn}andT={
t1,...,t
m}ar
efi
nit
eset
sandR⊆S×Ti
sabi
nar
y
rel
ations,t
hent
headj
acencymat
ri
xAR oft
her
elat
ionRi
sthen×m mat
ri
xwhoser
ows
areindexedbySandcol
umnsbyTdef
inedby

As,t=1i
f(s,
t)∈R;

=0ot
her
wise.

I
fthesetsSandTar
eequal
,theni
tiscust
omar
ytoputt
her
owsi
nthesame
or
derasthecol
umns.

Ar
elat
ioncanal
sor
epr
esent
edpi
ctor
ial
l
ybydr
awi
ngi
tsgr
aph.

LetRbear el
ationinsetX.heelement
sofXar erepr
esentedbypoint
sorcir
clescal
l
ed
nodesorv
er t
ices.ifxiRxji
e,(
x,
ix)∈R,
j thenweconnectnodesxiandxjbymeansofan
arcwit
hproperarrowsandthuswegetagr aphforr
elat
ionR

PRACTI
CEPROBLEMS
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
r
elat
ionmat
ri
x.

a)

b)

c)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

d)

Par
ti
ti
oni
ngofaSe
t
Par
tit
i ,sayS,i
on ofa set sa coll
ect
ion ofndi
sj
oi s,sayP1,P2,.
ntsubset ..
… Pn,t
hat
sat
isf
iesthef
oll
owingt
hreecondi
ti
ons−

 Pidoesnotcont
aint
heempt
yset
.

[Pi≠{
∅}f
oral
l0<i
≤n]

 Theuni
onoft
hesubset
smustequal
theent
ir
eor
igi
nal
set
.

[
P1 ∪P2 ∪.
..
..
∪Pn =S]

 Thei
nter
sect
ionofanyt
wodi
sti
nctset
sisempt
y.

[
Pa ∩Pb ={
∅},
fora≠bwher
en≥a,
b≥0]

Thenumberofpar
ti
ti
onsoft
heseti
scal
l
edaBel
lnumberdenot
edasBn.

Ex
ampl
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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
lex
ive: 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 .

/
/Saywear
easkedt
opr
ovet
hat"
="i
sanequi
val
encer
elat
ion.Wet
henpr
oceedt
o
pr
oveeachpr
oper
tyabovei
ntur
n.

 Ref
lexi
ve:Cl
ear
ly,
iti
str
uet
hata=af
oral
lval
uesa.Ther
efor
e,=i
sref
lexi
ve.

 Symmet
ri
c:I
fa=b,
iti
sal
sot
ruet
hatb=a.Ther
efor
e,=i
ssymmet
ri
c

 Transi
ti
ve:I
fa=bandb=c,thi
ssayst
hatai
sthesameasbwhichint
urni
sthe
sameasc.Soaisthent
hesameasc,soa=c,andthus=i
str
ansi
ti
ve.
Thus=i
sanequi
val
encer
elat
ion.
//

I
fRi
sanequi
val
encer
elat
ioni
nasetX,
thenD®,
thedomai
nofR,
isXi
tsel
f.
eg:
a)Equal
i
tyofnumber
sonasetofr
eal
number
s.

b)Si
mil
ari
tyoft
ri
angl
esi
nasetoft
ri
angl
es.

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
-yi
sdi
vi
si
bleby3}
.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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
lex
ive,
ant
isy
mmet
ri
candt
ransi
ti
ve.

Apart
ialor
derisabi
nar
yrelat
ion"
≤"overasetPwhichi
sref
lex
ive,
ant
isy
mmet
ri
c,and
t
ransi
ti
ve,i
.
e.,
whichsat
isf
iesf
oral
la,b,andcinP:

 a≤a(
ref
lex
ivi
ty)
;

fa≤bandb≤a,
 i thena=b(
ant
isy
mmet
ry)
;

fa≤bandb≤c,
 i thena≤c(
transi
ti
vi
ty)
.

1)Showt
hatr
elat
ion‘
di
vi
des’
def
inedonNi
sapar
ti
alor
derr
elat
ion.

2)Checkwhethert
her
elat
ion‘
x y
’def
inedonasetofposi
ti
vei
nteger
sisa
par
ti
alor
derr
elat
ion.

Par
ti
all
yor
der
edset
s
ThesetPtoget
herwit
haparti
all
yor
der
edr
elat
ionRonasetPi
scal
l
edpar
ti
all
yor
der
d
setandi
sdenotedby(P,
R).

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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
sex
act
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),
≤)

Iti
ssomewhat`
`messy
''andsomear
rowscanbeder
ivedf
rom t
ransi
ti
vi
ty
anyway
.Ifwe

omi
tal
ll
oops,

omi
tal
lar
rowst
hatcanbei
nfer
redf
rom t
ransi
ti
vi
ty,

dr
awar
rowswi
thoutheads,

under
standt
hatal
lar
rowspoi
ntupwar
ds,

t
hent
heabov
egr
aphsi
mpl
i
fiest
o
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

andt
heHassedi
agr
am i
s

(
a)
LetsetAbegi
venby

A={3,
4,5,
6,10,
12}

andabi
nar
yrel
atonRonAbedef
i inedby

(
x,y) R i
ffx|
y,
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

e.(
i
. x,y) Ri
fandonl
yifxdi
vdesy
i .Gi
veex
pli
ci
tyRi
l 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
equi
val
ence r
elat
ion? For t
he equi
val
ence r
elat
ion,gi
ve al
lthe di
sti
nct
equi
val
encecl
asses.

Sol
uti
on

(
a)
Amongal
ltheel sofsetA={3,
ement 4,5,6,10,12}
,obv
i y3 A,
ousl fori
nst
ance,
di
vdes3,
i 6and12.Hencebyt
hedef
ini
ti
onoft
her
elat
ionRspeci
fi
edbyt
he
quest
i ude(
on we concl 3,3)
,(3,
6)and(
3,12)ar
e al
lel
ement
soft
he r
elat
ionR.
Li
kewi
se we can show
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
f
actwehav
e

R={(
3,3)
,(3,
6),
(3,
12)
,(4,
4),
(4,
12)
,(5,
5),
(5,
10)
,(6,
6),
(6,
12)
,(10,
10)
,(12,
12)}.

Hencet
hedi
gr orRi
aphf s
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

whi
chi
nducest
hef
oll
owi
ngHassedi
agr
am

a)l
etp={
1,2,
3,
4}and≤bet
her
elat
ion‘
l
esst
hanorequal
to’
.Dr
awt
heHassedi
agr
am.

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=
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

{{
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},


c)A={2,
3,
6} X={2,
3,
6,
12,
24,
36}

upperboundsofA={6,
12,
24,
36}

l
owerboundsofA=ni
l

FUNCTI
ONS
AFunct
ionassi
gnst
oeachel
ementofaset
,exact
lyoneel
ementofar
elat
edset
.
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
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
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(XandYar
enon-
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
.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
eex
ist
sat
mostonea∈Asucht
hatf(s)=t
.

Thi
smeansaf
unct
ionfi
sinj
ect
ivei
fa1 ≠a2i
mpl
i
esf
(a1)≠f
(a2)
.

Ex
ampl
e

 f
:N→N,
f(x)=5xi
sinj
ect
ive.

 f
:Z+→Z+,
f(x)=x2 i
sinj
ect
ive.

 f
:N→N,
f(x)=x
2
i
snoti
nject
iveas(
−x)
2
=x
2

Sur
jec
ti
ve/Ont
ofunc
ti
on
Af unct
ionf:A→Bissur
ject
ive(ont
o)i
ftheimageoffequal
sit
srange.Equi
val
ent
ly,
for
everyb∈B, t
her
eexi
stssomea∈Asucht hatf
(a)=b.Thi
smeanst hatf
oranyyinB,
thereexist
ssomexinAsucht haty=f
(x).

Ex
ampl
e

 f:
Z+→Z+,
f(x
)=x2 i
ssur
ject
ive.

 f:
N→N,
f(x)=x2 i
snoti
nject
iveas(
−x)
2
=x
2

Bi
j
ect
i
ve/One
-to-
oneCor
res
ponde
nt
Af uncti
onf:A→Bi sbiject
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)
,then2x
1 −3=2x2 −3andi
timpl
i
est
hatx
1 =x
2.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
Twofunct
ionsf:A→Bandg:B→Ccanbecomposedt
ogi
veacomposi
ti
ongof
.Thi
s
i
safuncti
onfrom At
oCdefi
nedby(
gof
)(x
)=g(
f(x
))

Ex
ampl
e
Letf
(x)=x+2andg(
x)=2x
,fi
nd(fog)
(x)and(gof
)(x
)

Sol
uti
on
(
fog)
(x)=f(
g(x
))=f
(2x
)=2x
+2

(
gof
)(x
)=g(
f(x
))=g(
x+2)=2(
x+2)=2x
+4

Hence,
(fog)
(x)≠(
gof
)(x)

SomeFact
saboutComposi
ti
on

 I
ffandgar
eone-
to-
onet
hent
hef
unct
ion(
gof
)isal
soone-
to-
one.

 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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE

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.

Ex
ampl
es
 Fr
om asetS={
x,y
,z}byt
aki
ngt
woatat
ime,
all
per
mut
ati
onsar
e−x
y,y
x,x
z,z
x,y
z,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

NumberofPer
mut
ati
ons
Thenumberofper
mut
ati
onsof‘
n’di
ff
erentt
hingst
aken‘
r’atat
imei
sdenot
ed
bynPrnPr

nPr=n!
(n−r
)!wh en
er !
=1.
2.3.
…..
(n−1)
.n.
Pr
oof−Lett
her
ebe‘
n’di
ff
erentel
ement
s.

Ther
ear
ennumberofway
stof
il
lupt
hef
ir
stpl
ace.Af
terf
il
li
ngt
hef
ir
stpl
ace(
n−1)
numberofel
ement
sisl
eft
.Hence,t
her
ear
e(n−1)way
stof
il
lupt
hesecondpl
ace.
Af
terf
il
li
ngt
hef
ir
standsecondpl
ace,
(n−2)numberofel
ement
sisl
eft
.Hence,
ther
e
ar
e(n−2)way
stof
il
lupt
het
hir
dpl
ace.Wecannowgener
ali
zet
henumberofway
sto
f
il
lupr
-t
hpl
aceas[
n−(
r−1)
]=n−r
+1

So,
thet
otal
no.ofway
stof
il
lupf
rom f
ir
stpl
aceupt
or-
th-
place−

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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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 −x x
pr- .
 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)
!]
 Thenumberofci
rcul
arper
mut
ati
onsofndi
ff
erentel
ement
stakenxel
ement
satt
ime

=nPx
/x

 Thenumberofci
rcul
arper
mut
ati
onsofndi
ff
erentt
hings=nPn/
n

Pr
obl
ems
Pr
obl
em 1−Fr
om abunchof6di
ff
erentcar
ds,
howmanyway
swecanper
mut
eit
?

Sol
uti
on−Aswear
etaki
ng6car
dsatat
imef
rom adeckof6car
ds,t
heper
mut
ati
on
wi
l
lbe6P6=6!
=7206P6=6!
=720
Pr
obl
em 2−I
nhowmanyway
scant
hel
ett
ersoft
hewor
d'READER'
bear
ranged?

Sol
uti
on−Ther
ear
e6l
ett
erswor
d(2E,
1A,
1Dand2R.
)int
hewor
d'READER'
.

Theper
mut
ati
onwi
l
lbe=6!
/[
(2!
)(
1!)
(1!
)(
2!)
]=180.
=6!
/[
(2!
)(
1!)
(1!
)(
2!)
]=180.
Pr
obl
em 3−I
nhowway
scant
hel
ett
ersoft
hewor
d'ORANGE'
bear
rangedsot
hatt
he
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
.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
or
der
ingdoesnotmat
ter
.Hence,
thenumberofsubset
swi
l
lbe6C3=206C3=20.

Pr
obl
em 2
Ther
ear
e6menand5womeni
nar
oom.I
nhowmanyway
swecanchoose3menand
2womenf
rom t
her
oom?

Sol
uti
on

Thenumberofway
stochoose3menf
r s6
om 6meni C36C3andt
henumberofway
s

t
ochoose2womenf
r s5
om 5womeni C25C2

Hence,
thet
otal
numberofway
sis−6C3×5C2=20×10=2006C3×5C2=20×10=200

Pr
obl
em 3
Howmanyway
scany
ouchoose3di
sti
nctgr
oupsof3st
udent
sfr
om t
otal
9st
udent
s?

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
sfor3rdgr
oupaf
terchoosi
ng1stand
oup−3
2ndgr C3
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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,
t
her
e'sahol
ewi
thmor
ethanonepi
geon.

Ex
ampl
es
 Tenmenar
einar
oom andt
heyar
etaki
ngpar
tinhandshakes.I
feachper
sonshakeshands
atl
eastonceandnomanshakest
hesameman’
shandmor
ethanoncet
hent
woment
ook
par
tint
hesamenumberofhandshakes.

 Ther
emustbeatl
eastt
wopeopl
einabi
gci
tywi
tht
hesamenumberofhai
rsont
hei
rheads.

TheI
ncl
usi
on-
Exc
lus
ionpr
inc
ipl
e
TheI
ncl
usi
on-
excl
usi
on pr
inci
plecomput
es t
he car
dinalnumberoft
he uni
on of
mul
ti
plenon-
disj
ointset
s.Fort
woset
sAandB,
thepr
inci
plest
ates−

|
A∪B|
=|A|
+|B|
−|A∩B|
|
A∪B|

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?
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
I
nagr
oupof50st
udent
s24l
i
kecol
ddr
inksand36l
i
kehotdr
inksandeachst
udent
l
i
kesatl
eastoneoft
het
wodr
inks.Howmanyl
i
kebot
hcof
feeandt
ea?

Sol
uti
on

LetXbet
hesetofst
udent
swhol
i
kecol
ddr
inksandYbet
hesetofpeopl
ewhol
i
kehot
dr
inks.

|
So,X∪Y|
=50,|
X|=24,|
Y|=36
|
X∩Y|
=|X|
+|Y|
−|X∪Y|
=24+36−50=60−50=10
Hence,
ther
ear
e10st
udent
swhol
i
kebot
hteaandcof
fee.

RECURRENCERELATI
ONS

De
fini
t
ion
Ar
ecur
rencer
elat
ioni
sanequat
iont
hatr
ecur
siv
elydef
inesasequencewher
ethenex
t
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Al
i
nearr
ecur
renceequat
ionofdegr
eeki
sar
ecur
renceequat
ionwhi
chi
sint
hef
ormat
x
n =A1x
n−1 +A2x
n−1 +A3x
n−1 +.
..Akx
n−k(
Ani
saconst
antandAk≠0)onasequenceof
number
sasaf
ir
st-
degr
eepol
ynomi
al.

Thesear
esomeex
ampl
esofl
i
nearr
ecur
renceequat
ions−

Recur
rencer
elat
ions I
nit
ial
val
ues Sol
uti
ons

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

bonaccinumber

Fn =Fn−1 +Fn−2 a1 =1,

a2 =3 Lucasnumber

Fn =Fn−2 +Fn−3 a1 =a2 =a3 =1 Padov

ansequence

Fn =2Fn−1 +Fn−2 a1 =0,

a2 =1 Pel
lnumber

Howt
osol
vel
i
nearr
ecur
rencer
elat
ion
Suppose,
atwoor
der
edl
i
nearr
ecur
rencer
elat
ioni
s:Fn=AFn−1+BFn−2wher
eAandBar
e
r
eal
number
s.

Thechar
act
eri
sti
cequat
ionf
ort
heabov
erecur
rencer
elat
ioni
s−

x2−Ax−B=0

Thr
eecasesmayoccurwhi
l
efi
ndi
ngt
her
oot
s−

Case1−I
fthi
sequat
ionf
act
orsas(
x−x1)
(x−x
1)=0andi
tpr
oducest
wodi
sti
nctr
eal
r
oot
sx1andx
2,t
henFn=ax
1 +b
n
x2 i
n
st
hesol
uti
on.[
Her
e,aandbar
econst
ant
s]

Case2−I
fthi
sequat
ionf
act
orsas(
x−x1)=0a
2
ndi
tpr
oducessi
ngl
erealr
ootx
1,t
hen
Fn=ax
1 +b
n
nx1ni
sthesol
uti
on.

Case3−I
ftheequat
ionpr
oducest
wodi
sti
nctr
ealr
oot
sx1andx
2inpol
arf
ormx1 =r∠
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

θandx
2 =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−2wher
eF0=1andF1=4

Sol
uti
on

Thechar
act
eri
sti
cequat
ionoft
her
ecur
rencer
elat
ioni
s−

x
2
−5x+6=0,

So,
(x−3)(
x−2)=0

Hence,
ther
oot
sar
e−

x
1 =3andx
2 =2

Ther
oot
sar
ereal
anddi
sti
nct
.So,
thi
sisi
nthef
orm ofcase1

Hence,
thesol
uti
oni
s−

Fn=ax
1 +b
n
x2n

Her
e,Fn=a3n+b2n(
Asx
1 =3andx
2 =2)

Ther
efor
e,

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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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−

x
2
−10x−25=0,

So,
(x−5)
2
=0

Hence,
ther
eissi
ngl
ereal
rootx
1 =5

Ast
her
eissi
ngl
ereal
val
uedr
oot
,thi
sisi
nthef
orm ofcase2

Hence,
thesol
uti
oni
s−

Fn=ax
1 +b
n
nx
1
n

3=F0=a.
50 +b.
0.50 =a

17=F1=a.
51+b.
1.51=5a+5b

Sol
vi
ngt
heset
woequat
ions,
wegeta=3andb=2/
5

Hence,
thef
inal
sol
uti
oni
s−

Fn=3.
5n+(
2/5).
n.2n

Pr
obl
em 3
Sol
vet
her
ecur
rencer
elat
ionFn=2Fn−1−2Fn−2wher
eF0=1andF1=3

Sol
uti
on

Thechar
act
eri
sti
cequat
ionoft
her
ecur
rencer
elat
ioni
s−

x
2
−2x−2=0

Hence,
ther
oot
sar
e−
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

x
1 =1+i
andx
2 =1−i

I
npol
arf
orm,

x
1 =r∠θandx
2 =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)
)

0
1=F0=(
√2)(acos(
0.π/4)+bsi
n(0.π/4))=a

1
3=F1=(
√2)(acos(
1.π/4)+bsi
n(1.π/4))=√2(a/
√2+b/
√2)

Sol
vi
ngt
heset
woequat
ionswegeta=1andb=2

Hence,
thef
inal
sol
uti
oni
s−

Fn=(
√2)
n(cos(
n.π/4)+2si
n(n.π/4)
)

Par
ti
cul
arSol
uti
ons
Ar
ecur
rencer
elat
ioni
scal
l
ednon-
homogeneousi
fiti
sint
hef
orm

Fn=AFn−1+BFn−2+F(
n)wher
eF(
n)≠0

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)=cxnandx
1andx2ar
ether
oot
soft
hechar
act
eri
sti
cequat
ion−

x
2
=Ax+ B whi
chi
sthechar
act
eri
sti
cequat
ionoft
heassoci
atedhomogeneous
r
ecur
rencer
elat
ion−
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

 I
fx≠x1 andx≠x
2,t
henat=Axn

 I
fx=x1,
x≠x2,
thenat=Anx
n

 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

Thechar
act
eri
sti
cequat
ioni
s−

x
2
−3x−10=0

Or
,(x−5)
(x+2)=0

Or
,x1=5andx
2 =−2

Si
nce,
x=x1 andx≠x
2,t
hesol
uti
oni
s−

at=Anx
n
=An5n

Af
terput
ti
ngt
hesol
uti
oni
ntot
henon-
homogeneousr
elat
ion,
weget−

An5n=3A(
n−1)
5n−1+10A(
n−2)
5n−2+7.
5n

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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
ex
pressedasacoef
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
f
unct
ionwi
l
lbe−

Gx=a0+a1x
+a2x
2+.
..
..
..
..
+akx
k+.
..
..
..
..
=∑k=0∞akx
kGx
=a0+a1x
+a2x2+.
..
..
..
..
+akx
k+.
..
..
..
..
=∑k=0∞akx
k

SomeAr
easofAppl
i
cat
ion
Gener
ati
ngf
unct
ionscanbeusedf
ort
hef
oll
owi
ngpur
poses−

 Forsol
vi
ngav
ari
etyofcount
ingpr
obl
ems.Forexampl
e,t
henumberofway
stomake
changef
oraRs.100not
ewi
tht
henot
esofdenomi
nat
ionsRs.
1,Rs.
2,Rs.
5,Rs.
10,Rs.
20
andRs.
50

 Forsol
vi
ngr
ecur
rencer
elat
ions

 Forpr
ovi
ngsomeoft
hecombi
nat
ori
ali
dent
it
ies

 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=02x
k=2+2x+2x
2+2x3+.
..
..
..
..
G(x
)=∑k=0∞2xk=2+2x+2x
2+2x3+.
..
..
..
..
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Whenak=3k,
G(x
)=∑∞k=03kx
k=0+3x
+6x
2+9x
3+.
..
..
.ak=3k,
G(x
)=∑k=0∞3kxk=0+3x+6
x
2+9x
3+.
..
..
.

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≤∞.

G(
Hence, x
)=1+x
+x2+x3+.
..
..
..
.=1(1−x)G(
x)=1+x
+x2+x
3+.
..
..
..
.=1(
1−x
)

SomeUsef
ulGener
ati
ngFunct
ions

 Forak=ak,
G(x
)=∑∞k=0akx
k=1+ax
+a2x
2+.
..
..
..
..
=1(1−ax)ak=ak,
G(x)
=∑k=0∞akx
k=1+ax
+
a2x2+.
..
..
..
..
=1(
1−ax)

 Forak=(
k+1)
,G(
x)=∑∞k=0(
k+1)
xk=1+2x
+3x
2..
..
..
..
.=1(1−x)2ak=(
k+1)
,G(
x)=∑k=0∞(
k+1)
x
k=1+2x+3x
2..
..
..
..
.=1(
1−x
)2

 Forak=cnk,
G(x
)=∑∞k=0cnkxk=1+cn1x
+cn2x2+.
..
..
..
..
+x2=(
1+x
)nak=ckn,
G(x)
=∑k=0∞c
knxk=1+c1nx+c2nx
2+.
..
..
..
..
+x2=(
1+x
)n

 Forak= ,
1k!G(
x)=∑∞k=0xkk!
=1+x
+x22!
+x33!
..
..
..
..
.=ex

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.

Ex
ampl
e
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Thesetofposi
ti
vei
nteger
s(ex
cludi
ngz
ero)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
A monoi
disasemi
groupwi
thani
dent
it
yel
ement
.Thei
dent
it
yel
ement(
denot
ed
byeorE)ofasetSi
sanel
ementsucht
hat(
a0e)=a,f
orev
eryel
ementa∈S.An
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
yel
ement
.

Ex
ampl
e
Thesetofposi
ti
vei
nteger
s(ex
cludi
ngz
ero)wi
thmul
ti
pli
cat
ionoper
ati
oni
samonoi
d.
S={
1,2,
3,.
..
}

Her
ecl
osur
epr
oper
tyhol
dsasf
orev
erypai
r(a,b)∈S,(
a×b)i
spr
esenti
nthesetS.
[
Forex
ampl
e,1×2=2∈Sandsoon]

Associ
ati
vepr
oper
tyal
sohol
dsf
orev
eryel
ementa,b,c∈S,(
a×b)×c=a×(
b×c)
[
Forex
ampl
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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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,
*)
.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
n
ofanel
ementi
nagr
oupi
sthel
eastposi
ti
vei
ntegernsucht
hata i
sthei
dent
it
y
el
ementoft
hatgr
oupG.

Ex
ampl
es
ThesetofN ×Nnon-
singul
armat
ri
cesf
orm agr
oup undermat
ri
xmul
ti
pli
cat
ion
oper
ati
on.

Thepr
oductoft
woN×Nnon-
singul
armat
ri
cesi
sal
soanN×Nnon-
singul
armat
ri
x
whi
chhol
dscl
osur
epr
oper
ty.

Mat
ri
xmul
ti
pli
cat
ioni
tsel
fisassoci
ati
ve.Hence,
associ
ati
vepr
oper
tyhol
ds.

ThesetofN×Nnon-
singul
armat
ri
cescont
ainst
hei
dent
it
ymat
ri
xhol
dingt
hei
dent
it
y
el
ementpr
oper
ty.

Asal
lthemat
ri
cesar
enon-
singul
art
heyal
lhav
einv
erseel
ement
swhi
char
eal
sonon-
si
ngul
armat
ri
ces.Hence,
inv
ersepr
oper
tyal
sohol
ds.

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.

Ex
ampl
e
Thesetofposi
ti
vei
nteger
s(i
ncl
udi
ngz
ero)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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

[
Forex
ampl
e,1+2=2∈Sandsoon]

Associ
ati
vepr
oper
tyal
sohol
dsf
orev
eryel
ementa,b,c∈S,(
a+b)+c=a+(
b+c)
[
Forex
ampl
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)[
Forex
ampl
e,
(
2×3)=(
3×2)=3andsoon]

Cy
cli
cGr
oupandSubgr
oup
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
gr
oupcanbegener
atedbyagener
ator‘
g’
,sucht
hatev
eryot
herel
ementoft
hegr
oup
canbewr
it
tenasapoweroft
hegener
ator‘
g’
.

Ex
ampl
e
Thesetofcompl
exnumber
s{1,−1,i
,−i
}undermul
ti
pli
cat
ionoper
ati
oni
sacy
cli
c
gr
oup.

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
cy
cli
cgr
oup.

Not
e−Acy
cli
cgr
oupi
sal
way
sanabel
i
angr
oupbutnotev
eryabel
i
angr
oupi
sacy
cli
c
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.

Ex
ampl
e
Letagr
oupG={
1,i
,−1,
−i}
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

Eg:
Let(
G1,
+)beagr
oupofi
nteger
sunderaddi
ti
ons.Def
inef:G Gbyf
(x)=2x
.
Thenpr
ovet
hatfi
sahomomor
phi
sm f
rom Gt
oG.

I
somor
phi
sm
Twogr
oups(
G1,
*)and(
G2,
o)ar
esai
dtobei
somor
phi
cift
her
eex
istaf
unct
ionff
rom
G1 G2sucht
hat

1.f(
a*b)
=f(
a)*f
(b)
.

2.fi
sonet
ooneandont
o.

Coset
s
SupposeHi
sasubgr
oupofGanda∈G.Thent
hesetHa={
ha|
h∈H}i
scal
l
edar
ight
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
ngax
iomsar
esat
isf
ied:

 1.Foranya,
b,c∈R,
wehav
e(a+b)+c=a+(
b+c)
.

 2.Ther
eex
ist
sanel
ement0∈R,
cal
l
edt
hezer
oel
ement
,sucht
hat
,forev
erya∈
R,
a+0=0+a=a.

 3.Foreacha∈Rt
her
eex
ist
sanel
ement−a∈R,cal
l
edt
henegat
iveofa,such
t
hata+(
−a)=(
−a)+a=0.

 4.Foranya,
b∈R,
wehav
ea+b=b+a.

 5.Foranya,
b,c∈R,
wehav
e(ab)
c=a(
bc)
.

 6.Foranya,
b,c∈R,
wehav
e:(
i)a(
b+c)=ab+ac,
and(
ii
)(b+c)
a=ba+ca.

Obser
vet
hatt
heax
ioms1t
hrough4maybesummar
izedbysay
ingt
hatRi
san
abel
i
angr
oupunderaddi
ti
on.

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.

sasubr
AsubsetSofRi ingofRi
fSi
tsel
fisar
ingundert
heoper
ati
onsi
nR.We
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
eex
istnonz
eroel
ement
sa,
b∈Rsuch
t
hatab=0.I
nsuchacase,
aandbar
ecal
l
edz
erodi
vi
sor
s.

Acommut
ati
ver
ingRi
sani
ntegr
aldomai
nifRhasnoz
erodi
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
nonzer
oa∈Ri
sauni
t,t
hati
s,hasamul
ti
pli
cat
ivei
nver
se.

Af
iel
disnecessar
il
yani
ntegr
aldomai
n;f
ori
fab=0anda=0,
then

b=1·b=a−1ab=a−1·0=0

Af
iel
dmayal
sobev
iewedasacommut
ati
ver
ingi
nwhi
cht
henonz
eroel
ement
s
f
orm agr
oupundermul
ti
pli
cat
ion.

EXAMPLE

 ThesetZofi
nteger
swi
tht
heusualoper
ati
onsofaddi
ti
onandmul
ti
pli
cat
ioni
s
t
hecl
assi
calex
ampl
eofani
ntegr
aldomai
n(wi
thani
dent
it
yel
ement
).Theuni
ts
i
nZar
eonl
y1and−1,
thati
s,noot
herel
ementi
nZhasamul
ti
pli
cat
ivei
nver
se.

 (
b)The setZm = {
0,1,2,
.
..
,m − 1}undert
he oper
ati
on ofaddi
ti
on and
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
z
erodi
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
thz
erodi
vi
sor
sundert
heoper
ati
onsofmat
ri
xaddi
ti
on
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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,

f(
a+b)=f(
a)+f(
b),
f(ab)=f(
a)f(
b)

I
naddi
ti
on,
iffi
sone-
to-
oneandont
o,t
henfi
scal
l
edani
somor
phi
sm;andRandRar
e
sai
dtobei
somor
phi
c,wr
it
tenR R.

Pr
obl
em:
I(setofi
nteger
s)i
sagr
oupunder+i
.
e.(
I,+)i
sagr
oup

Sol
uti
on:Weknowt
hatsum oft
woi
nteger
sisagai
nani
nteger
;ther
efor
e,addi
ti
oni
sa
bi
nar
yoper
ati
ononI
.

(
1)Or
dinar
yaddi
ti
oni
sassoci
ati
vesi
ncea+(
b+c)=(
a+b)+cf
orev
erya,
b,∈I

(
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
ementex
isti
nI.

Asal
ltheax
iomsofagr
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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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:
Inagr
oupi
nver
seofeachel
ementi
suni
que.

Pr
oof
:Leta∈Ghast
woi
nver
sebandcsay
,thenbydef
ini
ti
onofi
nver
se

a.
b=b.
a=e (
1)

a.
c=c.
a=e (
2)

Si
nceb.
(a.
c)=(
b.a)
.c(
byassoci
ati
vel
aw) (
3)

Al
sob.
(a.
c)=b.
e=b (
4)and

(
b.a)
.c=e.
c=c (
5)

By(
3),
(4)
,(
5)wegetb=c.i
.
e.I
nver
seofanel
ementi
suni
quei
nG.

-1
Theor
em:
Prov
ethatf
oral
laandbi
nagr
oupGwehav
e(ab) =b-1a-1

Pr
oof
:Let(
ab)
-1bei
nver
seofab,
thenbydef
ini
ti
onofi
nver
se

-1 -1
(
ab)
.(ab) =(
ab) .
(ab)=e (
1)and

( .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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Pr
oof
:LetHandKar
etwosubgr
oupsofagr
oupG.I
fH∩K={
e}t
henwehav
enot
hing
-
1
t
opr
ove,
sosupposet
hath,
k∈H∩K.Wewi
l
lshowt
hathk bel
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)

Addi
ngbot
hresul
t hathk-1∈H∩K.
swegett

Theor
em:Pr
ovet
hatuni
onoft
wosubgr
oupsofagr
oupGi
sagai
nasubgr
oupofGi
f
andonl
yifonei
scont
ainedi
ntheot
her
.

Pr
oof
:SupposeHandKar
etwosubgr
oupsofagr
oupG.Letussupposet
hatH⊂Kor
K⊂Ht
henH∪Ki
sequalt
oHorK.ButHandKbot
har
esubgr
oupofG,
ther
efor
eH∪K=
HorKi
sal
soasubgr
oup.

Conv
ersel
y,supposet
hatH∪Ki
sasubgr
oupofG.Letusassumet
hatHi
snotasubset
ofKandKi
snotasubsetofH.

NowHi
snotsubsetofK⇒ ∃h∈Hsucht
hath∉K (
1)

Al
soKi
snotasubsetofH⇒ ∃k∈Ksucht
hatk∉H (
2)

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

f
oll
owedbyel
ement
sofV4.Al
soi
nver
seof(
12)
(34)i
s(12)
(34)as(
12)(
34)
.(12)
(3
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
4)
,(1234)
(14)
(23)
}={
(1234)
,(24)
,(1432)
,(13)
}

Forf
if
thl
eftcosetwet
ake(
1243)V4=(
1243)I
,(1243)
(12)
(34)
,(1243)(
13)
(2
4)
,(1243)
(14)
(23)
}={
(1243)
,(23)
,(14)
,(1342)
}.

Forsi
xthl
eftcosetwet
ake(
1324)V4={
(1324)I
,(1324)
(12)
(34)
,(1324)(
13)
(2
4)
,(1324)
(14)
(23)
}={
(1324),
(1423),
(34),
(12)
}.

Her
eweseet
hatuni
onofal
llef
tcoset
sis{
I,(
12)
,(13)
,(14)
,(23)
,(24)
,(34)
,(123)
,
(
124)
,(134)
,(234)
,(132)
,(142)
,(143)
,(243)
,(1234)
,(1243)
,(1324)
,(134
2)
,(1423)
,(1432)
,(12)
(34)
,(13)
(24)
,(14)
(23)
}whi
chi
sS4.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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.

Ex
ampl
e

Thi
sabov
efi
gur
eisal
att
icebecausef
orev
erypai
r{a,
b}∈L,
aGLBandaLUBex
ist
s.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Thi
sabov
efi
gur
eisanotal
att
icebecauseGLB(
a,b)andLUB(
e,f
)doesnotexi
st.

Someot
herl
att
icesar
edi
scussedbel
ow−

BoundedLat
ti
ce
Alat
ti
ceLbecomesaboundedl
att
icei
fithasagr
eat
estel
ement1andal
eastel
ement
0.

Compl
ement
edLat
ti
ce
Alat
ti
ceLbecomesacompl ementedl
att
iceifi
tisaboundedlatt
iceandifever
y
el
ementi
nthelat
ti
cehasacomplement
.Anelementxhasacomplementx’i
f∃x(
x∧
x’
=0andx∨x ’
=1)

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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

 a∧(
a∨b)=a
Commut
ati
vePr
oper
ti
es

 a∨b=b∨a

 a∧b=b∧a

Associ
ati
vePr
oper
ti
es

 a∨(
b∨c)=(
a∨b)∨c

 a∧(
b∧c)=(
a∧b)∧c

Dual
ofaLat
ti
ce
Thedual
ofal
att
icei
sobt
ainedbyi
nter
changi
ngt
he‘
∨’and‘
∧’oper
ati
ons.

Ex
ampl
e
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

di
git
alcomput
ers.

Bool
eanFunc
ti
ons
ABool
eanf
unct
ioni
saspeci
alki
ndofmat
hemat
icalf
unct
ionf
:Xn→ Xofdegr
een,
wher
eX={ 0,1}isaBool
eandomainandnisanon-
negat
ivei
nteger
.Itdescr
ibest
he
wayhowt
oder i
veBool
eanout
putf
rom Bool
eani
nput
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

Bool
eanEx
pre
ssi
ons
A Bool eanexpressional
wayspr oducesaBool eanv al
ue.A Booleanexpressi
oni s
composed ofa combi nati
on oft he Bool
ean const
ants( Tr
ue orFalse)
,Bool ean
vari
ablesand logicalconnect
ives.EachBooleanex pressi
onr epr
esent
saBool ean
funct
ion.

Exampl
e−AB’
CisaBool
eanexpr
essi
on

Bool
eanI
dent
i
ti
es
Doubl
eCompl
ementLaw
~(
~A)=A

Compl
ementLaw
A+~A=1(
ORFor
m)

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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
A+(
B+C)=(
A+B)+C(
ORFor
m)

A·(
B·C)=(
A·B)·C(
ANDFor
m)

Absor
pti
onLaw
A·(
A+B)=A

A+(
A·B)=A

Si
mpl
i
ficat
ionLaw
A·(
~A+B)=A·B

A+(
~A·B)=A+B

A·B+A·C+~B·C=A·B+~B·
C

Di
str
ibut
iveLaw
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
eanex
pressi
ont
her
ear
etwoki
ndsofcanoni
cal
for
ms−
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

 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
Amint
ermisaproductofal
lvar
iabl
estakenei
theri
nthei
rdi
rectorcompl
ement
ed
f
orm.AnyBool
eanfunct
ioncanbeex pr
essedasasum ofit
s1- mi
nter
msandthe
i
nver
seoft
hef
unct
ioncanbeex
pressedasasum ofi
ts0-
mint
erms.Hence,

F(
li
stofv
ari
abl
es)=∑(
li
stof1-
mint
ermi
ndi
ces)

and

F’
(li
stofv
ari
abl
es)=∑(
li
stof0-
mint
ermi
ndi
ces)

A B C Mi
nter
m

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

Ex
ampl
e
Let
,F(
x,y
,z)=x
’y’
z’+xy
’z+xyz’
+xyz
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

Hence,

F’
(x,
y,z)=∑(
3,1,
2,4)=∑(
1,2,
3,4)

ThePr
oductofMax
ter
ms(
POM)orPr
oductofSums(
POS)f
orm
Amaxtermisaddi
ti
onofall
vari
ablestakenei
therinthei
rdirectorcompl
ement
edform.
AnyBool
eanfunct
ioncanbeexpressedasapr oductofit
s0- maxter
msandtheinv
erse
oft
hefunct
ioncanbeexpr
essedasapr oductofits1-maxterms.Hence,

F(
li
stofv
ari
abl
es)=π(
li
stof0-
max
ter
mindi
ces)

and

F’
(l
istofv
ari
abl
es)=π(
li
stof1-
max
ter
mindi
ces)
.

A B C Maxt
erm

0 0 0 M0

0 0 1 M1

0 1 0 M2

0 1 1 M3

1 0 0 M4
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

1 0 1 M5

1 1 0 M6

1 1 1 M7

Ex
ampl
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

Hence,

F(
x,y
,z)=π(
0,1,
2,4)

F’
'
(x,
y,z)=(
x+y
’+z
’)•(
x’+y
+z’
)•(
x’+y
’+z)•(
x’+y
’+z
’)

Or
,F(
x,y
,z)=M3 •M5•M6•M7

Hence,

F'
(x,
y,z
)=π(
3,5,
6,7)

Logi
cGat
es
Bool
eanf
unct
ionsar
eimpl
ement
edbyusi
ngl
ogi
cgat
es.Thef
oll
owi
ngar
ethel
ogi
c
gat
es−

NOTGat
e

ANOTgat
einv
ert
sasi
ngl
ebi
tinputt
oasi
ngl
ebi
tofout
put
.

A ~A

0 1

1 0
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

0 1 0

1 0 0

1 1 1

ORGat
e

AnORgat
eisal
ogi
cgat
ethatgi
veshi
ghout
puti
fatl
eastoneoft
hei
nput
sishi
gh.A
pl
us(
+)i
susedt
oshowt
heORoperati
on.

A B A+B

0 0 0

0 1 1

1 0 1

1 1 1

NANDGat
e
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

1 1 0

NORGat
e

AnNORgat
eisal
ogi
cgat
ethatgi
veshi
ghout
puti
fbot
hthei
nput
sar
elow,
other
wise
i
tgi
vesl
owout
put
.

A B ~(
A+B)

0 0 0

0 1 0

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
.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

A B A⊕B

0 0 0

0 1 1

1 0 1

1 1 0

X-
NOR(
Excl
usi
veNOR)Gat
e

AnEX-
NORgat
eisal
ogi
cgat
ethatgi
veshi
ghout
puti
fthei
nput
sar
esame,
other
wise
i
tgi
vesl
owout
put
.

A B AX-
NORB

0 0 1

0 1 0

1 0 0

1 1 1

Si
mpl
i
fi
cat
i
onUs
ingAl
geb
rai
cFu
nct
i
ons
Inthi
sapproach,oneBooleanex
pressi
oni
smi
nimi
zedi
ntoanequi
val
entex
pressi
onby
apply
ingBooleanident
it
ies.

Pr
obl
em 1
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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’)

Or
,F(
A,B,
C)=A’
B+B(
C’+C)+C’
(B+AB’
)

Or
,F(
A,B,
C)=A’
B+B.
1+C’
(B+A)

[(
C’+C)=1and(
B+AB’
)=(
B+A)
]

Or
,F(
A,B,
C)=A’
B+B+C’
(B+A)

[B.
1=B]

Or
,F(
A,B,
C)=B(
A’+1)+C’
(B+A)

Or
,F(
A,B,
C)=B.
1+C’
(B+A)

[(
A’+1)=1]

Or
,F(
A,B,
C)=B+C’
(B+A)

[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]
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

so,
F(A,
B,C)=B+AC’
ist
hemi
nimi
zedf
orm.

Pr
obl
em 2
Mi
nimi
zet
hef
oll
owi
ngBool
eanex
pressi
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]

Or
,F(
A,B,
C)=A+A.
C+B.
A+B.
C[Appl
yi
ngI
dempot
entLaw]

Or
,F(
A,B,
C)=A(
1+C)+B.
A+B.
C[Appl
yi
ngdi
str
ibut
iveLaw]

Or
,F(
A,B,
C)=A+B.
A+B.
C[Appl
yi
ngdomi
nanceLaw]

Or
,F(
A,B,
C)=(
A+1)
.A+B.
C[Appl
yi
ngdi
str
ibut
iveLaw]

Or
,F(
A,B,
C)=1.
A+B.
C[Appl
yi
ngdomi
nanceLaw]

Or
,F(
A,B,
C)=A+B.
C[Appl
yi
ngdomi
nanceLaw]

So,
F(A,
B,C)=A+BCi
sthemi
nimi
zedf
orm.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Pr
opos
it
ional
Logi
c

The r
ules of mat
hemat
icall
ogi
c speci
fy met
hods of r
easoni
ng mat
hemat
ical
statement
s.Greekphi
l
osopher,Ari
stot
le,wasthepi
oneeroflogi
calreasoni
ng.Logical
reasoni
ng provi
des t
he theoret
icalbase formany ar eas of mathematics and
consequentl
y comput
erscience.Ithas many practi
calapplicat
ions i
n comput er
sci
enceli
kedesignofcomput
ingmachines,ar
ti
fi
ci
ali
ntel
l
igence,def
ini
ti
onofdat
a
str
uct
uresforpr
ogr
ammingl
anguageset
c.

Proposi
ti
onalLogi
ci sconcer
nedwit
hstat
ement
stowhichthet
rut
hval
ues,“
true”and
“f
alse”
,canbeassigned.Thepur
poseist
oanal
yzet
hesestat
ement
seit
heri
ndivi
duall
y
orinacompositemanner.

Pr
opos
it
ional
Logi
c–De
fini
t
ion
Apropositi
onisacoll
ecti
onofdecl arati
vestatementsthathaseitheratr
uthval
ue"t
rue”
ora t r
uthv al
ue "f
alse"
.A pr oposit
ionalconsists ofpropositi
onalvari
abl
es and
connecti
ves.Wedenot ethepr opositi
onalvariabl
esbycapi t
alletter
s(A,B,et
c).The
connecti
vesconnectt
hepr opositi
onalvari
ables.

Someex
ampl
esofPr
oposi
ti
onsar
egi
venbel
ow−

 "
Mani
sMor
tal
",i
tret
urnst
rut
hval
ue“
TRUE”

 "
12+9=3−2"
,itr
etur
nst
rut
hval
ue“
FALSE”

Thef
oll
owi
ngi
snotaPr
oposi
ti
on−

 "
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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

Fal
se Fal
se Fal
se

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.

Thet
rut
htabl
eisasf
oll
ows−

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 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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

Tr
ue Tr
ue Tr
ue

Tr
ue Fal
se Fal
se

Fal
se Tr
ue Tr
ue

Fal
se Fal
se Tr
ue

Ifandonl
yif(⇔)−A⇔Bi sbi-
condi
ti
onall
ogi
calconnect
ivewhi
chi
str
uewhenpandq
arebot
hfalseorbot
har
etrue.

Thet
rut
htabl
eisasf
oll
ows−

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

Type your text

 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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:
Prov
e[(
A→ B)∧A]→ Bi
sat
aut
ology

Thet
rut
htabl
eisasf
oll
ows−

A B A→ B (
A→ B)∧A [
(A→ B)∧A]→ B

Tr
ue Tr
ue Tr
ue Tr
ue Tr
ue

Tr
ue Fal
se Fal
se Fal
se Tr
ue

Fal
se Tr
ue Tr
ue Fal
se Tr
ue

Fal
se Fal
se Tr
ue Fal
se Tr
ue

Aswecanseeev
eryv
alueof[
(A→ B)∧A]→ Bi
s“Tr
ue”
,iti
sat
aut
ology
.

Cont
radi
ct
ions
ACont
radi
cti
oni
saf
ormul
awhi
chi
sal
way
sfal
sef
orev
eryv
alueofi
tspr
oposi
ti
onal
v
ari
abl
es.

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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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.

Qn:
−Pr
ove(
A∨B)∧(
¬A)acont
ingency

Thet
rut
htabl
eisasf
oll
ows−

A B A∨B ¬A (
A∨B)∧(
¬A)

Tr
ue Tr
ue Tr
ue Fal
se Fal
se

Tr
ue Fal
se Tr
ue Fal
se Fal
se

Fal
se Tr
ue Tr
ue Tr
ue Tr
ue

Fal
se Fal
se Fal
se Tr
ue Fal
se

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
.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

Fal
se Tr
ue Tr
ue Fal
se Tr
ue Fal
se Fal
se

Fal
se Fal
se Fal
se Tr
ue Tr
ue Tr
ue Tr
ue

Here,wecanseethetrut
hval
uesof¬(
A∨B)and[
(¬A)∧(
¬B)
]ar
esame,hencet
he
st
atementsar
eequiv
alent
.

Test
ingby2ndmet
hod(
Bi-
condi
ti
onal
i
ty)
A B ¬(
A∨B) [
(¬A)∧(
¬B)
] [
¬(A∨B)
]⇔ [
(¬A)∧(
¬B)
]

Tr
ue Tr
ue Fal
se Fal
se Tr
ue

Tr
ue Fal
se Fal
se Fal
se Tr
ue

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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

puni
shed.
”Here,"youdo yourhomewor
k"i
sthehy
pot
hesi
sand "
youwi
l
lnotbe
puni
shed"i
stheconcl
usi
on.

I
nver
se− An i
nver
se oft
he condi
ti
onalst
atementi
sthe negat
ion ofbot
hthe
hypot
hesi
sandtheconclusion.I
fthest
atementis“Ifp,t
henq”
,theinver
sewil
lbe“I
f
notp,t
hennotq”
.Theinverseof“I
fyoudoyourhomewor k,y
ouwil
lnotbepuni
shed”i
s
“I
fyoudonotdoyourhomewor k,y
ouwil
lbepunished.”

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
youwillnotbepuni
shed,youdonotdoy ourhomework”.

Contr
a-positi
ve−Thecont r
a-posit
iveoft hecondi
ti
onali
scomput edbyi nt
erchanging
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"Ifyouwil
lbepuni
shed,youdoy ourhomewor k”
.

Dual
i
tyPr
inc
ipl
e
Dual
it
ypr i
nci
plesetstatesthatforanytr
uestatement
,thedualst
atementobtai
nedby
i
nter
changingunionsi nt
ointersecti
ons(andvicever
sa)andinter
changingUniver
sal
seti
ntoNullset(andv i
ceversa)isalsot
rue.I
fdualofanystat
ementisthestat
ement
i
tsel
f,i
tissai
dself-dualst
atement .

Exampl
e−Thedual
of(
A∩B)∪Ci
s(A∪B)∩C

Todeducenewstat
ementsf
rom t
hest
atement
swhoset
rut
hthatweal
readyknow,
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
-
--
--
--
--
-
∴P∨Q

Exampl
e

LetPbet
hepr
oposi
ti
on,
“Hest
udi
esv
eryhar
d”i
str
ue

Therefor
e−" Ei
therhest
udiesv er
yhar
dOrhei
sver
ybadst
udent
."Her
eQ i
sthe
proposit
ion“
hei
sav er
ybadstudent”
.

Conj
unct
ion

I
fPandQar
etwopr
emi
ses,
wecanuseConj
unct
ionr
ulet
oder
iveP∧Q.

P
Q
-
--
--
--
--
-
∴P∧Q

Exampl
e

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
-
--
--
--
--
-
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

∴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
P
-
--
--
--
--
-
∴Q

Exampl
e

"
Ify
ouhav
eapasswor
d,t
heny
oucanl
ogont
ofacebook"

"
Youhav
eapasswor
d"

Ther
efor
e−"
Youcanl
ogont
ofacebook"

ModusTol
lens

I
fP→Qand¬Qar
etwopr
emi
ses,
wecanuseModusTol
l
enst
oder
ive¬P.

P→Q
¬Q
-
--
--
--
--
-
∴¬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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

¬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”

Hy
pot
het
ical
Syl
l
ogi
sm

I
fP→QandQ→Rar
etwopr
emi
ses,
wecanuseHy
pot
het
ical
Syl
l
ogi
sm t
oder
iveP→R

P→ Q
Q→ R
-
--
--
--
--
-
∴P→ R

Exampl
e

"
Ifi
trai
ns,
Ishal
lnotgot
oschool
”

"
IfIdon'
tgot
oschool
,Iwon'
tneedt
odohomewor
k"

Ther
efor
e−"
Ifi
trai
ns,
Iwon'
tneedt
odohomewor
k"

Const
ruct
iveDi
l
emma

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
”
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

“
Eit
heri
twi
l
lrai
nori
tishotout
side”

Ther
efor
e−"
Iwi
l
ltakeal
eav
eorIwi
l
lgof
orashower
"

Dest
ruct
iveDi
l
emma

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

Exampl
e“I
fitr
ains,
Iwi
l
ltakeal
eav
e”

“
Ifi
tishotout
side,
Iwi
l
lgof
orashower
”

“
Eit
herIwi
l
lnott
akeal
eav
eorIwi
l
lnotgof
orashower
”

Ther
efor
e−"
Itr
ainsori
tishotout
side"

Questi
on:
Whichoft
hef
oll
owi
ngar
epr
oposi
ti
ons?Gi
vet
het
rut
hval
ueoft
hepr
opo-
si
ti
ons.
a.2+3=7:
b.Jul
i
usCaesarwaspr
esi
dentoft
heUni
tedSt
ates.
c.Whatt
imei
sit
?
d.Bequi
et!

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:
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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.

Quest
ion:

Consi
dert
hef
oll
owi
ngpr
oposi
ti
ons:
p:
Todayi
sThur
sday
.
q:
2+1=3:
r
:Ther
eisnopol
l
uti
oni
nNewJer
sey
.
Const
ructt
het
rut
htabl
eof[ (
p q)
] r
.

Sol
uti
on.

Quest
ion:

Fi
ndt
henegat
ionoft
hepr
oposi
ti
onp:
-5<x<=0:
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
.

a.Showt
hat (
p q) p q:
b.Showt
hat (
p q) p q:
c.Showt
hat ( p) p:
a.andb.ar
eknownasDeMor
gan'
slaws
a:
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

C:

a:

b:
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

c:
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

Exampl
esusi
ngRul
esofI
nfer
ence
Quest
ion:
p
p q
sr

ES . I N
r q
N O T
Ar
ri
veatt
st
heconcl
usi
KTU
on:

St
ep Reason

1)p Pr
emi
se

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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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:

Assi
gnt
hest
atement
sasf
oll
ows:

q="
Myf
ri
endsar
efr
ee.
"

p="
IgetmyChr
ist
masbonus.
"

r="
Iwi
l
ltakear
oadt
ri
pwi
thmyf
ri
ends.
"

s="
Myf
ri
endsf
indaj
obaf
terChr
ist
mas.
"

Thear gument,
symbol
i
cal
l
yisasf ol
l
ows:
Premises:
(pq) r
s q
p
s
Conclusion:
r
Steps Reasons

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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

q="
Mymom l
endsmet
hecar
."

r="
Iwi
l
lgoshoppi
ng.
"

s="
Igett
othebankbef
ore4pm.
"

t="
Iti
sFr
iday
."

u="
Mymom hast
hedayof
fwor
k."

Symboli
cal
ly
,wehavet
hepr
emi
ses:
pq r
st p
u q
t u
t
Andtheconcl
usi
on:

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
FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
eisanex
pressi
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
esomeex
ampl
esofpr
edi
cat
es−

 Al
lpr
oposi
ti
onal
const
ant
sandpr
oposi
ti
onal
var
iabl
esar
ewf
fs
 I
fxi
sav
ari
abl
eandYi
sawf
f,∀xYand∃xYar
eal
sowf
f
 Tr
uthv
alueandf
alsev
aluesar
ewf
fs
 Eachat
omi
cfor
mul
aisawf
f
 Al
lconnect
ivesconnect
ingwf
fsar
ewf
fs

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
ierandEx
ist
ent
ial
Quant
if
ier
.

Uni
ver
sal
Quant
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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
ial
Quant
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
)ist
rue.

Exampl
e−"
Somepeopl
ear
edi
shonest
"canbet
ransf
ormedi
ntot
hepr
oposi
ti
onal
for
m
∃xP(
x)wher
eP(
x)i
sthepr
edi
cat
ewhi
chdenot
esxi
sdi
shonestandt
heuni
ver
seof
di
scour
sei
ssomepeopl
e.

Nest
edQuant
if
ier
s

I
fweuseaquant
if
iert
hatappear
swi
thi
nthescopeofanot
herquant
if
ier
,iti
scal
l
ed
nest
edquant
if
ier
.

Exampl
e

 ∀a∃bP(
x,y
)wher
eP(
a,b)denot
esa+b=0
 ∀a∀b∀cP(
a,b,
c)wher
eP(
a,b)denot
esa+(
b+c)=(
a+b)+c

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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

¬(
∃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))

Pr
edi
cat
eLogi
cInf
erenceRul
es

Ther
ear
efourbasi
crul
est
oreasonaboutquant
if
iedst
atement
s.
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
Uni
ver
salGener
ali
sat
ion:I
fp(c)i
str
uef
oranar
bit
r yc∈Ut
ar he ∀x∈ U)
n( ( x)
p( )i
s
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
c
Exi
stent
ialGener
ali
zat
ion:I c)i
fp( sTr
ue,t ∃x∈ U)
hen( ( x)
p( )i
sTr
ue

Negat
ionofQuant
if
iedSt
atement
s
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))
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
nex
pensi
ve)
i
nexpensi
ve.
sc,
car ~(ci
sinex
pensi
ve)
sc,
car cisnotinexpensi
ve
Nocarisi
nexpensi
ve.
3 EverydayIbr
ingl
uncht
o days,
Ibr
ingl
uncht
o ~( day
s,Ibr
ingl
uncht
o
work. work wor
k)
day
s,~(
Ibr
ingl
uncht
o
work)
day
s,Idonotbri
nglunchto
work
Someday sIdon'
tbr
inglunch
towork.
4 Cheat
ersnev
erpr
osper
. cheat
ersc,
cnever ~( cheat
ersc,
cnever
pr
ospers pr
osper
s)
cheat
ersc,
~(cnever
pr
osper
s)
cheat
ersc,
cpr
osper
s
Somecheater
spr
osper
.
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.
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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

(
b)Al
lEngl
i
shmenl
i
kepl
umpuddi
ng.
Answer
:(∀p∈P)
(E(p)→ LP(
p))
.

(
c)Somet
hinper
sonsar
enotcheer
ful
.
Answer
:(∃p∈P)
(T(p)∧¬C(
p))
.

(
d)Al
lpi
gsar
efat
.
Answer
:(∀p∈PI
G)(
Fat
(p)
).
(
e)Somel
essonsar
edi
ff
icul
t.
Answer
:(∃l
∈L)
( l
D())
.

(
f)Al
lcl
everpeopl
ear
epopul
ar.
Answer
:(∀p∈P)
(C(p)→ P(
p))
.

(
g)Someheal
thypeopl
ear
efat
.
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)
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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.
√
(
b)p(
(1+ 5)
/ 2)
√
Answer
:p(
1+ 5)
/ 2)i
sTr
ue.
( ∀x∈R)
c)( ( x)
p( )
Answer
:(∀x∈R)
( x)
p( )i
sFal
se.
( ∀x∈R)
d)( (¬p(
x))
Answer
:(∀x∈R)
(¬p(
x))i
sFal
se.
( ∃x∈R)
e)( ( x)
p( )
Answer
:(∃x∈R)
( x)
p( )i
sTr
ue.
(
f ∃x∈R)
)( (¬p(
x))
Answer
:(∃x∈R)
(¬p(
x))i
sTr
ue.
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
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

∀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
ue,butS(
Tr 101)i
s
Fal
se hatS(
.Thatmeanst k)→ S(
k+2)f
ork=99.
Thi
scasei
simpossi
ble.
•Consi
dert
hest
atement
S(
1)→ (
∀n)
(S(
2n+1)
)
I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue andsomet
imesFal
se?
Answer
:Thi
sasser
ti
onsayst fS(
hati 1)hol henS(
ds,t n)hol
dsf lodd n.Thi
oral s
casei
sal
way
sTr
ue.

•Consi
dert
hest
atement
∃n)
( (S(
2n)→(
∀n)
(S(
2n+2)
))

I
sital
way
sTr
ue,al
way
sFal
se,orsomet
imesTr
ue andsomet
imesFal
se?
Answer
:IfS(
n)i
sal
way
sTr
ue,t
hisasser
ti
onhol
ds.Sot
hiscasei
spossi
ble.I
f
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
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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
chS(
whi k)hol
ds,
thi
scasei
sal
way
str
ue.

Met
hodsofI
ndi
rectPr
oof
s:Cont
radi
cti
onandCont
raposi
ti
on
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
hodofpr
oofwi
l
lber
efer
redt
oas
ani
ndi
rectpr
oof
.Int
hissect
ionwest
udyt
womet
hodsofi
ndi
rectpr
oof
s,namel
y,t
he
pr
oofbycont
radi
cti
onandt
hepr
oofbycont
raposi
ti
ve.
Proofbycont
radict
ion:Wewantt oshow thatpist
rue.Weassumei
tisnotand
ther
efor
e pistrueandthender
iveacont
radi
cti
on.

Questi
on:
fn2i
I saneveni
ntegersoi
sn:

Solut
ion:
Supposethecont
rar
y.Thati
ssupposet
hatni
sodd.Thent
her
eisani
nteger
ksucht
hat
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
eex
istt
woi
nteger
sm and
 FOR IMPORTANT NOTES TOUCH TO OUR WEBSITE
studyzoneaditya.com

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:

Thesetofpr
imenumber
sisi
nfi
nit
e.

Sol
uti
on:

Supposenot
.Thati
s,supposet
hatt
hesetofpr
imenumber
sisi
nfi
nit
e.Thent
hese
pr
imenumber
scanbel
i
sted,
say
,p1;
p2;
...;
pn:
Now,
consi
dert
hei
ntegerN=p1p2...
pn+1:Byt
heUni
queFact
ori
zat
ionTheor
em,Ncanbef
act
oredi
ntopr
imes.Thus,t
her
e
i
sapr
imenumberpisucht
hatpi
/N:Butsi
ncepi
/p1p2...pnwehav
epi
/(
N-p1p2...
pn)=1;
acont
radi
cti
onsi
ncepi
>1
 ST U D YZONE A D I T YA .COM
www.studyzoneaditya.com

ENGINEERING ALL CONTENTS

Books, Quantum, Typing Notes, Handwritten Notes,
Practical File's And All Engineering Study Materials
Available Here.

For more details visit and follow touch to icons below

studyzoneaditya.com B.TECH STUDY ZONE

STUDY ZONE B.TECH STUDY ZONE