‘ 1
her ah Nath thomnn
\ GA proposetéon zs a declawative gentente whose truth valus
és etther Wras or Jalsa but not both +
| @> using vnkversal auarnee ter im
2veny boy ir handeornes + +
be
: peg, % TS ONY
tee tas remdtemen
vt TPO Aw:
err I
seme Sopecal quentefier,
NT ageme gers OR paautefur
ft ets & tok .
tO en) pedatefat:
fares aw):
® CTReve es @ student coho 4 cA a tautology
equiva ent
fort PaQnr))
then -% AY are. Rog Zeal
oe. “pox ey fitama@n)
PAGAN) Gana
q —F ae
P E :
: F
q uf
F E E
F we f
F
po
%
lea
55993935) J
Henee the er Statement palgard and (pagyalpar) ace
Logéco egeeival ont * . f .
(2) Let as choose po) be the girth Stalemesst ee,
ao dye). ee
PO? Bap tayetes Tate at
“edie “pot 6) =)
“en “Php y then we Rove
aL .
po > baa 8
> LS ele Riss
=> pu) os true:Inductive hy pothests (nek)
poate
Let's put EK, then Oe
txt
PR) = 1x2 togt-- wt KRY RD
, Let's pot. m= Kel, then . we “have ¥ KH
KYL
peway = det LO
pat 3xs
K
= pr bw.
tos Toe a as —O
L. HS :
eR axg * pe (Kayyckt2)
=> > fhe agp tt-- jt 2, J | -
12 “7 Reeayh! ager:
> tt
any” 1h Teno)
= | :
= — 1 oy
2 ORR } KT ma}
> | { KCKHD) 41
ws EL Kt2
> 1 R421 2
xa ce
we | cr
Kt2
RRA) HERD HAC KAD
om KAT eo K2
3 dag ERED LEO EP sees
aay eS
Hence PCKAY x tatu *6 a maens today Ger) $a choy ny room
ee
a) Save stay cen POT hen, g wal de oy Hew:
An ea Tai. — v:
Let pr St waems today
qi: 3 wel stay oo remy FoOw:
oe 5 wel qe crony Yormenork
Anqeenret
Py Cpremeses cD) } .
: premises
Qe Cpreméses 8)
= 3 Eoncluston
és a vad errgeeroent—
RW POY= MOWAS) cs cleveseble by 6-
q
mm) = 1Cras) = 1(8) 5 6 ehech ex devereble by 6:
goducleve fypetherse n=) ws
; a
ped = RUKED =(ets9= 6M
Srductive step (meKHIM
a
pea = (KX) forts
=iKay) crass)
a 8 9
we EKA TT aKré
= Ot ax er
= + 3d sxraKts
= We rste 3K 4 Kt 6
ee rae eaKne
= eM s+ axcxapts[ KCkry es sven & Aivertbe
bu 2
_ = ON+3Y arrG [asame that KOKA) = qxJ
= 6NT Gare
—o{s aary cohech Zs oltveseble bq 6.
ES students coho study Grptesh
CED = oO
Ma stedenis echo stody rmathematece
mM) = R10
er giudents coho study Environmental Sereace
nce) =159coho
5 students Sad) ts
eam r YY both English & Mathematics
te =50
a students coho study both Engtish 2 Rnyeeorercereiad
creme”
mn (EO®) = 40
une students coho study “both arhemeteeS Zz
Qnvironm. Scene
n(n) = 65
enune > gtudents +04Ke emathemats , Pngtidn 4
everonvTnen) EO eetomne*
NCEQNDE) = \s
+m) + 002)7— mCENM) —nl(eny-
nCeuNyue) = re)
amae)
am (une ta E
so S0 — #0 FF Is
eno t eT!
= 3003s Let's choose pm) be the qiven Stajerment ce
Po) = fateh. ane [amy
2
Let's peet =I HM P&H) , then we Pave
puy= 1 ~ (ew y= [wey’- [2] (= |
> LHS = RHES
> pu es true
Jenduectévi othests (1K
reduction, Rypothenis eld
Let's pet EK y ther) WR eed
ad
pus = Be eer--— t= [se] ;
~
Gndective step CmM=KAD
RAR
Let's pet mak , then we Crate,
Z
PeKA = Peete eH “ee
12
=> pChtD= Pats 2y eee 4a fee ce”
Le Catyste = “AWAY
= Matye == FEED :
iad [SJ +N
= (Key Seay aun) ee
2 2 ; 2
= ence KDOLDT ean.s
=
Hence pCKay) trues4 : Let pv@ar) = uh
(eva) Cp vr) ~Y
WTR ty ore Logecal equivalent «f my oa
‘Lautology:
p
a Pv@ AT) pMa pur |(pwa) o.
: i
T T T
: RLS \ Gg
r 7 vT +
i TY] F F
F Fe T F
f t c
pug nr) 20PYA) A(pvD)z
339999334\|8
Lomein the quem Statement pyle & vay ev) ane
ogra eqatvadene:Te GU feval awe | wpalevy | ~prevay— y
riot] 7] F 7 7
TLR) a] ge 7 a
Ft T T T TC
FOL F F T F |
Hence the given acfement Sp Aevaye WY »
\
cA & taetology 7
-_—O