Professional Documents
Culture Documents
Provlems On Rules of Inference
Provlems On Rules of Inference
She
I If f
[(p)^(av)n
NDN, His If
failed given ket
I I I
do Ravi faBher Ravi Ravi
mu mofstudy argument does
Rqvir: p:
3t en does qoes
Hg Ravi hag
haVe yhe Watch , 8
I mof ouf
fcyher goeg mot
wil s no
examinf1on
a TV sfudy, WHh
ached out gone ang
in not tudynot fiends
becomgs
dhe (by with ouf
TV Jatl h8
eyenin98,1 ( foiende wth Jathe
in syllogsm)
Rule Ruleof he
the n angrsy
of atl)
he iends.
even) Mocus be mot
bil| comeg
nqs,
exaninay l
study udy
tollen agç
to
So|n- Sol;-
Dhe
If
I givrn kel
et I
do r1 NT
P
a|l TiV:1 p:
mot get vald
agument
y: p: l
I
mo
graetucte gade hatch failSfudy
I I
do9f jon agument. 1s in
A
mot he 1V he
9ade I n Modus
tollens
ths in
excrnimafion
qmy. ot) [(p-)nyPJ Jhe
A jon couTse syllog18n
Ruleof
in eveningg.
this dhe
amy m
cbu8e Inil|
gaduate
mo
Soln:- (10)
If
Ohen
I It Y:
B +l(~p)^p)
ket Bucccsfull
I len I 18 4he
1 have I
mot Jon
p: (0become [pv)^p) |fupv)a
(y+)^l qiven
ri :
ll
I I Inot talet a yhe
ill I do valíd, arqumnt
have Buccessfut
hrll be amy
ome mot and
taler
ok hcppy, 18
have AIbok by
n Rule .,
eces had then Absophon
hard,then
talen.Qrfe.then of
sful/ I sy Lqw
n
did las lbgism. for
fe I
not I
condrtt
il| wl)
Wok
beþecome onq
happy
ar
soln () Dhe
argumanty
giwen Ravi
I} If
Rav It agumt
given is
T:studieg
Ravi P Ravi failed Ravi (pn)
a(r)
Ravi does
s
play Studies,thenin valld ll
met b
play Dscrete
ed happy
NT
P pass play argumnt
P
cicket. catckef
in M he (pry
Coicket,
Dscreft athg otl (demergan)E) syllbgis
Ruleof
pas
paper then
Mathg in
he DIsc
papt ill refe
study Mtths
paper
(a)
’ pa( p ’ w) (sylogs)
by Mdus pomeE
Now,(p)a (wr)n)
commutf1ve la
(pv)r
soln- (p’)a+) ’ (pv
(syllbgrsm)
(by Modus totlns)
wpu)a(y) drstibttve lqw
demorrgans lan
(pv)
I 8 a alid argumet. cOmdttona a .
pv
syllog:sm
by contaposifive
6) p-y by Syllogisn
It 8 vald
by confrapositive
’ (p(v)^(&~P)Ammtal
commutetive lqw
(vya(p) by commutative la
by 8yllgism 8yllogn
(KT: P4tqy
(sn) by conjunctive Simglrefon
oln- (pt+)a( ) n w r
by MT
Commfatve law
’
[(wp-)a(Vto by MI
M.T
I 8 valid.
by
M.pp)Ap ’
P
M.T by
(8vt)
pvq)7 ’ 06)
comd1ttona
la
Solm
valid, sIl
npv
MT by
(p-nA(may
commutafvelaw
9alid. 18Il demorgan'
lans s
implicegon conjunctve by PAn (p(o)ava)
law H1ona) cond by
syllogusm
demorgars ~(opv) by
(paya))a(r)a
(v+E)
cotraposHVe
M.T by (ondittonal
law by
demorgans demorgun%
la(T-8)a(vas)
w (4a)]n [p+ Boln:-
a(wu-)
M.p by [(wpva,)-’(svE))a 7
soatve
logusm By
p’(yaa)
4) p-r
’ fp+(aa)] ^[(wrvn)vu] a (p)
demongang commufafv
’lp(ma)]n (pnn[n(n)vy
ComditHon af
I5) pV Tray
y’(Ts) p ()
wr(vtvu) (cvo)H
(AAnB)’ RVa
RVA
8yllogism
’ (p’(ms)) a laNTvtvu)] a(prt)