TAD (oATe

PAGE No.
22l&l2
>Mathemtcu lagici
Boole
Boolea Algebse
Matheohcal Logic

Fols
No

1. Propasibions Popasiboui ase deca hie

sbtemeut cohich pwvide informhgla
FlseCeibhey7oF)

2. Puxtdox: Purdox c shttn uts cobich

eithe
Exui The ine iteSeti t poin t Cnd

3. Poposbyal conskuut oxTubh alutS:

is
Ay poposi a tuh trueO% false
yelu.

Rsoposiho Nlaziable Any Some

psaposibiona)
e nalih
shttme at denote d
Smallehes P4 They c culled
pposihonal Nayiuble
Exyi p l t : 2
 TAO

JPAGE NG.

SiSimple pposihous Prinibel Pine gi The

posihoMs bxruk i ousoposiho hsh

6
artculledsimpepoposihou
Compound/ompisite Secasadui Psposib oui
Connabiniag
simple poposiion heuee gqet Canapeusd
ps posioas 7his simple poposibea
Censtun t
Connertvei /Lagicl opeutos4:Cosmoikbint. the
helotCo necie)e he
simple poposhoui don
Connechive
Dijwnciu
Coniunction ANO!

Dijuncion Eihe

Conunehion Boha
hhenip
Dijunchon Camyuntti Neguian
ppq
F F f T
FT
HEL T
 p^CagvqT
tbles tnhh tConstuct
Whe
pposihoa
Khis ust The 6.
campukin
euchof Fo S.
pasible colum
euch
Conahiajattamediett incudadto
all
ottnha Colunalas fuxthe
3.
blau
tuble twta
2:
possiblecoabiu
chioo
fprnted
osihoCu coMmpou Any
to ho ahut
No. PAGE )
DATE
 jPAGE No.
A B

T TE T T
T F.T

(2) ~lp'gC~p^wg)
B A

TF F
F7F
FF T

T T

F
F
29/slz )PAGE No.!
Use of Taubh Tuble:

LCam dete3mine
qiuta stutmeut of all passib)e cee).
Cs

A suttmeut hith hve ouly tne

posible Casts Yhen
h stutementis cold toutology
lContadicion:
A stutAmeuat chica hoMe ouly false
tuhaNelue ton alllpossibe cuad hen
hae stutemeat is lled Coatudichiou.
1
LGantigency
A stuttmeut' aaich
Sttemt is caled couigtMey
Condi bonol BiCandito£cl

T T

T
FF T
|F
Detemin

p~p~pp
TiF T
T

Ppp^p
TF Contdrhou

A B
Pqp^4 ~A 4 P BA’B

T
T T F T
T T F
F

A^B
T
T Contigeug
T T
 )PAGE MOl

Cpcq’seDcp-)
B

T T T
’
A^8 A^8
T
1
T

1
T T

Losically Equixgleut stdenmembi

Teos giEM stetemeiatP od
3t Suid to be Qagicaly equivoleut o
pos'ible CCses
T is deoted by

eguiveleue to ca.
Algyb
Tdempttut
pposihons:
Leta
ppp
Comgutuive Luw:
 3.Associative Leus:

4, iDistaibuiveLa:

s. Tdenity laoi)3

6.Complemeut . Lawi

Tuushuhon

s.De-Morgun

statz4
t Dopenties of implicothan CCanditose/) comechivas'

Conyeyl

HL

T
 aTAOY DATE
jPAGE Na.

1Pyoperties of Double Tmplicutiss CBi

Con dibenc;.

pogEp+)c4 p:,
=) Agumubie
Au cggumiut ineludet ot
ppos b'ou calle d Cesaclusisu.
pnaises
lcomelusio. 7h Co aplete
lcalled

vterotterqp
CCancluian
oe have to in dd ellptnnisD,
ae conclusian ohebe
fulst.
he pyt mise
t e umd coMeluioM)

pe aize
Cagumeul
 aid et
7
F
4
sitk becaill qRuj
Let
notsick
did 1t
sick be oi Rei
loc be fog vulidity att /Iaues
tia Test Exui
ulid Heneit
is
T
4
pis
Pe
ppq Exu'
No
PAGE
DATE
 )raGE No.

I do natpley coicket
caill study
Meta aotu
must haye
ployed cick ot
p study
g 3 do not pluy(oictot

H
f F

Thesttemeut
 Vuldikh
syll»giem hehtul hypo hut Puve
m
6.
Tolle
(p4)J [aga z) S.
ysMod ) 7P
mt Le^ E) p
P
Law
CPA4)
3.
ku Simpli
dihun Ad-) 1.
Rults Taublogical m Fo Tnjetne CRuleo
Nume fom
Iuterenthal
slalz4
No. PAGE j
DATE
 TAOY (DATE
)PAGE No

F F
T
T
T

T
F 7 T T

ujed to difestt
muthemt hiceyl sttonesta

etaod P

Dirt t Iudit
Mehod Me thod

Cosatuposihu Contodith'es
lot riven
 DATE

a dirteB pou ofi

odd inttge
Actsndig 2k4t 1

he
-4ka k, t 2k4 t 2ke + 1
2C2 l als +katkt1

S odd
iolal 2u
stu tement
Tndi frt Contuposive
2 &n
k

:kis

odditge

4m(mt4+ 1

Hen,p4 pved " cp’12 (~g p

 DATE
JPAGE No.

k 2 is divísible

1atudich0n Topve
So coe

So
Laud p4 Co mWn

2g'p Squuins heh sidu

2
he
s he
obseNe
Coutdichan.
So, isnot ution) numbtY
 DATE

Mathe hicul Tnduetisuii

Tn dhi methyd
mchemuhul stuttnnt
oichLncluog posithiue in trge

C7o shoc pCk tt2 is t ne).

S 3 |Put n2k t
S-2

stp-1Tnduchve bu.
stp 2i Induciue Hypothesis
sttp-3 Tuductiye

is t e
 DATE
)PAGE Mo.

stuteaeah
by msthemuie
1 t 2 t 3 t .. t

(2) (? 2 t 3+. tn tcu12C2+1)

t t t
|, 2 2.3 nt)
n{nt)

p t ? 4 2'+ 22+ tu 2 -inn+19(2nt1)

sep-1:IaduivL Base
put

SE ep - 2: I uductive Aypabtsi
 fOATE
JPAGE No.

plk2 tme ahr k1,

-3

step- 3: Iudeive Sttp

0e heVe toshoc pkt istne
plk+:

>kCk t12c2kt1946 Ckt)

6
 aTAC
JPAGE NG.

R.H.S.of pk41Ck 412ck+[2(k4104)

nd pCk+12
So, Dk twe Pk+2 e

Tnduction
pcnT i s t e

Step-1Tndúcke Base

p)
pslCI+1)

Step-2: Induhile potsi

CASSuync p l k i s
kct
 DATE

1t2+3titkk(kt)-(3)
2

Step-3Ihduciiue stp
shos i pk+1
LHs.of

K Ckt1)+2K+I)

l43k+ 2 -
2

2
 JPAGE No.

t
Sy piaciple at mythemut cul