Republ

i
coft
hePhi
l
ippi
nes
CEBUTECHNOLOGICALUNIVERSI
TY
SanFr
anci
scoCampus
Norther
nPobl acion,
SanFr ancisco,Cebu
Websit
e:htt
p://www. sanf
ran.ctu.
edu.ph
Emai
l
:campusdi
r.
sanfran@gmai l.
com Emai l
:sanfr
an@ct
u.edu.
ph

COLLEGEOFEDUCATI
ON

Gr
oup1
 Bangalao, Jamila, A.
 Alimonda, Crestine
 Abasia, Naomi
Bonjoc, Jhovie Ann

Questions:
1.Gi
veat
leastt
wodi
ff
erentway
swher
evar
iabl
escanbe
quant
if
ied.

Exi
stent
ialway

Uni
ver
salway

2.HowdoesPr
oofbyCasesWor
k?

Pr
oofbycaseswor
kst
obr
eakapr
oofdowni
ntot
wo
ormor
ecasesandt
opr
ovet
hatt
hecl
aim hol
dsi
n
ev
erycases.
3.Howdoweknowi
fast
atementi
suni
ver
salor
ex
ist
ent
ial
?

Answer
:

Theuni
ver
salquant
if
ier
,meani
ng"
foral
l
","
forev
ery
",
"
foreach"
,et
c.Theex
ist
ent
ialquant
if
ier
,meani
ng"
for
some"
,"t
her
eex
ist
s",
"ther
eisone"
,et
c.Ast
atement
oft
hef
orm:x
,ifP(
x)t
henQ(
x).Ast
atementoft
he
f
orm:xsucht
hat
,ifP(
x)t
henQ(
x).

4.
Thi
sappr
oachpr
ovi
desi
nfor
mat
ionaboutt
hev
aluesof
el
ement
s.Thi
sref
erst
othewor
ds,
expr
essi
onsorphr
ases.

Quant
fi
er

5.Whatdoest
hel
awofex
cludedmi
ddl
est
ates?

Lawofex
cludedmi
ddl
est
atest
hatast
atementcan
ei
therbet
rueorf
alsewi
thnoot
heropt
ions.