UnitName : Topic : Date :

domga maitu au wtd to

the mantius wilht iiny an
al, me, momy, none, few, mse,

vcom I hoe ome iej

9int moe
guontitHus
I: uniid gantifin
2. Exntil Quoii
wnivM guolihis
memtiiotion ot Pl)isLhe
Te uniusal
gtotemet 3 Px) for al Values ofx inn the
doman !
Netation p) to l
vealled as

Cor)
foy everg ) Pl)
x Let p ) be a stlenent
PC2): 2+|> = 3>| True
+
Unit Name : Topic :
obseVed that Date:
Tt
PC) S true tor al tue inteyers
(or)

instlot teoliscownje.
sheib
the aonain lov) min od
witht amain, u i ý t menlifaion
Lotemet is nt rolebined
Ex- omain st ob all te inegs.

2:istential qmontiti
qmomtifietionn ot
The exAntin
na the noition Thee ci
cus an
n he omain eueh that
lnet x
Plx). n
Nlotion
melin
we ven cs
pla
fo some "Thue s t l e t ne x
fottlst one " sueh th Pla)
thee s"
The
UnitName : Topic : Date :

Lit yl) be the statement

Fal
Value of foy
gwhion
owuon Is there sone
which y ) is Tsue )
( ) is true for x=|
M yes y() is
There is an x fos which
Tue
(or)

problems statemet
be the
LetthePo)truth uantification
Dis Value of the
domain
domin consists of
t e Pl) whee the
posit ive integes
al
So| PCa):
PCO
Pl) 22 4 j TUe

P(4) ; 4<4; False

Unit Name : Topic : Date :

let Px) be he stadenent

the -uth vade o J pl) ?
PCx):x= x DDmain dgey
PC):

main eonei os l itg

the Valve.
the tuth l)
mhat i
g(«): X +1>2

indgus
gli): 1+)2l)

ptuine. the tth Vatus eaeh

these t s the domain
Jnit Name: Topic : Date :

)J(=-)
Pl) x3 - )

C-0-l;T
lx)
b)J*Cea) 2

Donain. Peal nunts

2

Px):

-th Vae doo each

Strdsit the olomi o al
al unty

b)x('t-2
c)*(a'<
Unit Name : Topic : Date :

Quatifim with staiid donain

vean init th alomaih ot he qmeih
hoi'bn litte biL
moditying the
Domain: feal nwmbuy
Ne<ol o)
Aaning bt thu absve s d i T he hositi
a

Jyo(y=a) Domain: peal hrby

Aeanirg ot Lhe aboe ht. Thuu cx'st a

hotitie Sopliatiy
o)

Conj tin,

)h s the -uth Value Vo(=1)

uhee The domai

2
o
UnitName: Topic : Date
) heha followig

Jxt?(x)

ioring olieates5 grolifo4

Logivcal Emivalenas inutig yedieats
oebini t i Tvo Aogtenl stmde
sald to be quvaln cly
t e the fame uth Vae en
he osie

|
B p ) Vg) - J p() v - J g(a
Negoig Qumalifted Exusior SMCC
tuy tuolen in he sAEE Cstfatfmt
has suoig DAA
Domain studry
L hoy stuoliel DM
 nohag DM
fudel aiS
'es
here veae he nst
thad pla) Ja
dudied
to
ivals
bho SMCe in det hu
udied hy Pl)
qualhalin faigtid cn
~px) J
(o)
plr) is n)
~p(*) -Ja eived
to
fudiel not hes
DM
|The
SAlC the in
(or)
DAA
stualied
in
uals ey
to
uolicd
D hs BsA the 3luden -{voy
Date : Topic: Name: Unit
UnitName: Topic : Date :

(ox)
shudent the sAEC
DM
(u''vet to
-tplx)
Denaat
guathees

dhe t
the
Bart
Baut
Bats

RomePogs donot
dagd Baes

the ine nie

Q h
Mot Cars an
inexyer ee

inesey e
 Date
Unit Name : Topic :
Lhe n i o n (in eglih) eact
Exruss
) AU Dezi heuve lend
2)Theu
Cal lul

(pesd, d ha Jer )
hat y
pogs d eug
fome dogs do not have

Thue a hose ht

(Hhk hy hvean oDD

a o DD

3 catbsly GIy
nitNane: Topic : Date :

Teonglotin
outig ytish fentone to loal
tsiory
hos stu diel D
X ha
Ptu dicd D".)
t Domain

SCx) xx hay sudidDM

X ) a

the SAEe bhen X hot

udet PCx) . eso x is a (halt o
gudien D
- p() slx)

sMEC hg stulieed D
Ey $öne stnolens n
Donoin stuolait
X hoy tuolicd D r
Unit Name : Topic : Date :
staleneb . The -fst tuo
eConsiln theye stolenenb
-Ex Called um'se and Lhe thid d callol
the ctneluse The enie sl s Calleal
agenenl
"'Au Lions ale faee lr votbee
Lions do not int vettee
itme fivee ekeals
Rla) be Lh glodaman
Let p(),s) and
an
x a Li
s4ntiy
Arenin that thu olomain tanende in the
Veatus, cxrug the )
slx) and
anument uing yediealle plx
PX) a
Sx): x i a -ioce
R() :
Comain: AU heatw
pn)s)
 Topic : Date :
unit
Name
ywomtiios

within thu deeu oh Lhe other

I d within the ree ot

within the dieeru ob he

Ndu Argthig
quariio iean e thonght cb
poestilimal tunetin.

p)
os nested mantiias
yaio ns nominions
- t y9 ( )
ofder af yuantities
ordes does matter
Glarti!
s(*3)
denst hich means
mttu
Unit Name: Topic : Date:
the vea| numbe xs
i,Let and y be
fFind the
and Pl9) denotes "xty=o!
tyuth Values af

ay* P*)
Bol Domai: A seal numbexs

For all seal ounbess x andy, x +y=o

"
Ts t tue 9
No
foo an exanple

t t y (uty=) j Ease

For evey real nunber ,ther exist

a real number y Such that
nitName: Topic : Date :

for a example
y=-1

af x
w Vaue ofy depends on the vaue of

) 3y Pl*y)
seal nunber y sueh
Thee eist some
that for evey rad nunber ,

No

etample
= |

.aytn (*+y=o)j False

Ther ist Some veal number

and y Sueh that
Js it tue 9
Yes
y- ) +9=IH JxJyty= );True
Unit Name: Topic :
Date
to
Tyanslating English statementsyuatitis
slateme Invoving nested
*) Reod and uroluieo he given
Frylish suement lisnowse
aomain ot
) Fid the manitios
)4uind the osoeinted
Rvwte the slodement so that
*) oliseowse aol
the olonain t prepunly uigibe
mantihm ahe
*> Finaly, intodue the Voiabty
cn he sadnent.

anpl Tranyate the otemet "The un

i4 the two inegs s al yoitiu .

then this um
Inlede Veibes;
, ii x and
"fa vuy two inyrs x and y noitie
y ne +Ve then
 Date :
UnitName: Topic :
Neyotd nelee mantim

peeels a malitiu
negatiom
NoAPpy Demgon's louw
Dlanple ot the ptotemenl
Expes the negotion
1
ATpy Dengone law

Exyus the negoti ob the stidement

2
2 tty(uty )
 Unit Name: Topic :
Methods afPToof Date:
The sutin tnineipl
uoutionn pniniple ws wed to
7he
PUve whether an

puiminaie
negaliom
oB a Variate iss vealled a Lieval
cc lause : vclose us a litjunelin
Liderals
*) Resoanti For any tuo elaue
has
Gs5,
it c, has a litral 'ad C ca
itil
litrul Ly whieh us the eompliet
then lelle L Lhon
eenshuet litjunetin
C and 4 ad itirus
o hemoiningvealled he sount
oinel is
C and c2
l Ld us sunose that

CwpVgVT
Rerowa gvRVS VT
mit
Name:
Topic : Date :

wite the wushant fn mody yonens

Jte
Rul.

(Pa(P))’
(or)
P

velaue fom ot
ob P
Lnite the

G:pvy
Retowat o) eoneluyion:y
whent fo meds Tolleng ml
Exis wwte the Toens ue :
Mod
(wgA CA8) )
Cor)

aipVg
Resowat (or) comelui'on :
 Unit Name: Topic:
Date :
How to prove whether an aTzme_
veonivolen a umet with miea is va
nPa) - --- and veonenomc
emine i .
TD ve whethr an
Valio, u all emie in l u e
fo and nolel wc to it .
Fuom the s e m t O(emy clau)
veen e oeivtd hen the gnel
ws Volid
Ex cemior the meos ronens me
P
PV

Jn the eloe fo c,C P

Take

Caiwpvy
:wfmthe tohalio otGE

Cs iO C n the uçeidion
empty cloe obtaines
Thea n e t Veli
UnitName: Topic : Date :

Ex- we uoution to thow that the hyths

gOy a tae y
giol'and Joy us a
happy impy the veneluion

ud) a

2:JVT
3:&vT
then

nl in daye

Cy:T
Unit Name : Topic :
Date :
Fallacics
au bome veommtn gunes whica
||hre to
Lhgh Zhey See
e ighl at i i t glañee
tyne
|falloeg
Ex PV

vaument sums to le voreet

The abe wehen P Toe bit
and q ws e, P
veeiom talse
above agumeil us vealled
Heneethe
o attianiy the
the tallory vCmeuion
us aonday then Joy wil
to wrk
Jog wil go
Thintru,Todoy is Mondley
dut,P: Today is Monls.
Joyg win go to wo
y
PV
unit Name: Topic : Date :

fany ot denging hypothegis

e If Aitote 3 huunan, hen Aaistotte
Aisttte w nt hunan
..Aisttle i not mttul
"Aitte s humen
t p: "Aistote s motal

p
(Taid