Documentos de Académico
Documentos de Profesional
Documentos de Cultura
\d z*
I
,l , ,\-- , Lógica llilillliltillilllililllilrIr
/
\ ,*- ,/i
Práctico 3 -.io ,/ D.-l,ntlnn , §nu.(a*!¡^
Semánüca rro
de l¿ Lógica Proposlcional MM.B: !,L
1 ^, rYpá«(varuaciones) / ?\g* kb ^-ú)) i -e
'
: L - lo(p) -'u,(rl,)l -,
X u(p ++ ,b) .4 * e -+ (tlt -+ 9 nttt)
.4 o(w v tb) : o(p) + a(tl.¡) - u(tp).uk\) )tierñT ( Consecuencia sppánt ica)
-- Demuestre que: k) ) i c a.
/ (p * (q -+ ,)) -r (¿? -+ (p -+ ¿?)) ' .á Parrtoda g € PROP, existe ¿ € N, tal que u(rp -+ p¡) :1 ii
?
/to-s)'+¿?
/O - (s -+ ,)) -i ((¿? -+ q) -i (p -+ r))
' fQt o¡-rll)l:.."
Sustitución) una proposición equivalente más
gL-po -+ pslpsl paru:
u(p#tb):
rL ll-(pll: flpll"
L ssi u(p) I agl;)
w. F p ssi llrpll: Y
Exprese $ en términos de V y -. v' I]rll:0
d' Demqestre que el conjunto {n, .L} no es funcionalmente,completo. (Sugerencia: pruebe
que
vI. F p -+ ry' ssi ll,pll S ll,/ll
nin§una fórmula que use solamente esos conectivor po.d" rui oou tautotogía).
b- Extendemos la función li ll al conjunto de proposiciones r de ra siguiente forma:
pielr*,¿\#ff (Fo rmas norm
ale s )
Determine las formas normales conjuntivas y disyuntivas.para las siguientes
fórmulas: . llf l! : iolu(,p) : 1 pa,ra cualquler !, c f).
-
;{ -(r ++ o) e
d' Muestre que hay al menos una pareja de fórrnuras g,(t q.oe son incomparables según ia
relación "(".
'd $(r) ts '4 (q rr)) @
mero
d^ (diríIogo: A V B) A: Si vos sos r¡n vero, yo soy un
mero
^-- //
,/\
S }.' r^-'-j
Xi\' § _3_
-l-\-r.',
e. (diáiogo: A y B) A: Ninguno de nogotros es vero. B: Es mentira , A\'
\
c-,:, ,§-' i-fi
) '-'i"
f. (diríjogo: A V B) A,'Ninguno d.e nosotros es mero. B: Es mentira $ :l¡'
-
/ -*j
,i,
._,\ §t §- dj ,§> \
Aññ
_'**_
§).--14,
r \*-, .\
q' .-r.,. ti
fr "s- \-
{(q'l § )§
5)tf
-r
t
:SEHÁrÚT¡cA D€ IA uoeica
r-sE$b
5m. ¡¡:PRof
-, {o,rl tal 1ue:
il rfl) =o
r1) rff ["r,rF))= h^¡41¡1rt*), rutp)) .
tl ^r(
(¿v p)) = r'qx { rtr(¿) , ¡r( fi}I,
ú i{),rll"* f5)) = n.d* I r-¡r-(¿),N:(p)1.
v) ,s[{
".r+ F l) = t rr Nrr§() - NtpJ-
{ l,
lf- l? ¡i(o.¡ + ¡f(F)
Il Ta,utot¡oq\q.
'l :*rt*o¡\aGD rrr(,¿)=r (V--
(V x"r):* [(-¿)=
IMra- x e Pref.=í**i.-*-
(¡uc[, Uoyrsec¡¿vrciq ti
tr,l I .¿ ¡F-) ) =, L
o. F *vP.
ru-(¿) - L
rr LL-*-v"H)"= -
.... .,J-.,"-*.. .,
". .-.'"."..'- ...
'
*,".N_L_s-¿.) = §
,Y,
L
¡;{,o*oil;,-- ,^ ,,i ;,;i;r,,rrm)*e rdx":tj:'§-{*)',*ol '= "'
Y,:r1F..=',Ba,FB!.,*]-"61qUF
r.É-r.+
:!)FG-:*.*).;1j.".,-,,-1.,:-:..-.:1-.i-..'-.,'.,"*i:..
¡- --or{*er-*)*+-L-sr- §!-*)a ¡Ilo) .--" -+-*nrf "se-*)=-L- -_ *-*____-_i_ i
ó i
i --&E-§ I
I
I 'N" "L
l
t) .., "*) :o
: lr*[$-v *) =-
r*¡,,t *!--trO ; rr@)-1,
-- -* *-"**-d'"-t§(e*) =o
I1 .: ":r: \r.[Et r.9. ¿..
3) ts .(*,t*Sls-l-gs:sl ¡
- SU gul3elnrs*,* .;,^,* *l
t¡-L (l--q:: s )
=p =* ff(T)*,,lgl*)
J IT
r
I
={
I
¡
,{
t."
=O =+ nf ( ¿*F) *
i CgE-l
,i., .,l
i *(otv.+) =a= Nf(o¿)=L,
{r
+,s(*^[-*)):\,'
l "cr.,.(, *, A,ü=+-) )=' r*lh { /r-L-ú) §,{r*>) r
rr¡:Co¿) * n¡-,Lf-rr)
o
a
nd,{t",§\, = o t:.. '!,"
+) F [x v (Évx)) ? (,1yvflvT)
5üyo^qoh^^§l
-
rr- ('*:-vfa,v v))s* ( t* , 8)v Y) i9
I
ffi.ntqr]¡r(d*irr1D'v-¡)}=-,s.-.:.Í-.g..-rt¡ax.l.N.l*"vF)..*fiil€}}ir
r:
,¡.-¡ ¡r.( F ),= I
¡[t il ,Q
Lcr.fo
-.-:- A.
.l
I '
*-.u(gl
-a.. ^rtáls zg i
ri
§
-sr-{ -l* ¡ fi-l,** [4ln*)) =",-o:
U
i *nrlí *.-.8). -r*J.C:FJ--;,rln-d)): §
I .:* -. .ñ* ( * *.f)*,t-,01r-f-:f:-'*(:=*))-. ,., ,j,..,.:, -..- ::.-...:
, (aso t
ár '*¡.f¿)¡ t
*n§:{:l-a-[n'P}-=-¡lra-{-¡¡:[:*).,--ff.::.F.)'l,:'.-,----.
-!
. ,-l
i
, ,_i
A,Bf .iFDO
: S-.¡ Poftcffnn¡O, I
-l i
(rq^/tp lnqias)
F
t
{^
(qrr-j
,.r.( _e * !,)= D
=D
¡stQ )= \
¡§-t"l) =O -+ or("[)= L
,b* ñ tt{.) =o A0 f oÉDO
=r#t
h P- (Q+,\)n(¡9*o') -: (9- §')
f o o D 4 o o
o i!t' i t { rt
I ,l
\
{ t o -_-I 0 o o {
\ o t, 0 4 o" ,t {
{ { \. I rl
1
,1
\
ú-§) =O
[10) = !
^¡-
:+) r(l u**,)'+f'{-o)) = r*r { r'.r1q -Y), r(*;u)f :
r.rJ*bj;,.ro¿.1;.:..-:I,
srgory;,§ +E _d(y-I,)-rQ)-* t)
=o.
.r ( tq-y )+ §) = !.
, §(..{)=O (p"e lerraz¡fiqc- \¡el
\
,,
"r=(-q:-"f) = 0 =+ rrflrlr)=Ouñ(q)=!-;
¡[-[ t¿) O.
=
Fm-y))-rre
-t0 -l rl, [*"*:#) 'í (w * /rl ,t r'rb)\ *r (0
o \ t
o
o I { \Jia
' --?_1fr?*lrp¡&*
o ir
lffitur
l-*"-."ryi.-a:::i,%
_- .; rv, 4
-^.-.
l¿i
1 o o t
rq ",'q;*',ae;e.,-:i -+.{N:q
@a*:_:*+ o 4
4 1 o o g.,*.-,,-J 0 I
:
I
tfc't¿^a.+iaq J.-t
=)
ttr(q)= \
1' r-"*6effiá"ñ{..eJ;t
0
I
! ,A
I
o o 4
S':yoytq:ffa5 je)
+E ...r (re- -:§)
=+ Fg fo,¡aqzrtto, .1"-t *)
( =_D
.:
r ¡.J.
-Ir¡+
-.+l
q {r, lvn*l '{ *'(0rA1D. !P.- ("+--9¿V)
D o ,tO i, I 4
P,X -- i¡ *, *..1 O - 4
E. o: o t 1
,\, { {. ,\
4
i;
1-
I
_.+r1:tii::-
.t
Lsr{.:*a-x) = !,
i
nr f: -9--r-.^P) -='t-.
Lj ,-lr-{ :r § = 1-)=- vuh-r -{ .l--* lf:-t4 g) +:,r-r[.] )l
\\
i
..':
.¡
i
l
.l
-¡l
4l tr tQ =4 I rrr(rt) = L
^r(.t) = =f
.
.i
,f.
t,
( Si*gtifr'cacré")
" §i"aq[{iqrle tal riSoiartet PP.fortüonqr tefto ef ,'encrlettk'd^9¡ fr^FonUO" epr)Úa-
(*,.re) eq
'\Jr
, .r..'::: 'i: t\
'I - r-.-
(Wv*)A (r'e.y^t)
-*), ¿ be qu¿ L'"l, r or )
e5 eg-
.T a- -r-L?
ee 9,, ,. i,-,' I 1 {:
. rt!
l-i
'l
1
-teecicio { NoVnáones) v-
P.emnü-e-f--tfe- -?& §d"' vs!:r"qs¿M .ñ-r, g^l4l\a qpe:
-fr i.
rf = t- - \ nr( F) - qr('Y)
¡.rr( co) ,:¡rtl V<,+r1P) II t.
¡Y
--:
ó O L ,1
o 1 o o
t o o o
( ,.S- ,i-.'r"'
1
,4
4 o o 4 4
4 4 4 4 1
l) ru-lq* ?) = L - ñt9) + ¡rlg).¡rt,rl/) ;
nrf to) rrrl rl) nrl ol. r§( '\P) ; ¡tr-[Q) ¡- nr( 9).Af ( V -s
o o o 1l 4
o 4 I rl ,1
I o o o o
1 1 t- 4 1.
I
_-_l
1 H
,t
D q 19 rP ü ar 4*tQ
'ryif¡+iffi?F*
o o 4 ¡1
1 4
o 4 ,l O
4 o
4 o o a 4 o
,l 1 o q A
1 .t
.lrEe#:fr,r*=ii& .-
( ? -', L+-rl) o- i rgn+|-") e5. . t*'t-,l.,? iu -
-- ---T-**-*-.*--
.|.i
qir'f (q .--+ ¡) J-a-*lm.*ü **fP*:a-*fu: Lph,$x { pji ls-frh¡.+ l&mr*r
o o o "4 t-' l 1
o o 4 4 4 o 4 1
o '1 o a ,l
o 1 4
4 o o 4 1 o 1 I
o 't
"l ,1
1 ¡4 I o 4
rt p
1 § o o 4 1
4 ,CI
1 4 I ,o t 4
4 1i { 1 4 § 1 I 4
§.
rE!
. ,. €5 }5^¡ttt»qr\o'
I 5rlfo,rusq,r^,sJ' 1.§€ , ,.r I U- () = O ++ Nr¿J)= L
' *t()':,§.,
AUi§§
P, n (p*q) ¡9 ,-,-(:P-
=-fi) I
o
T
o -1 , 4 o I
CI o t' "- ," 11 .- 1 "4 1:
o I o 1 1 o 4
4 I I o o 4 4
Éir*#á!4:::
o t ,1
1 1 4 1
t ,t o 4 o 4 1,
i'{ o 4 o ."o, I 4
':f 1:::F,..,,;i:}1i&:ffi*!**tÍeó*@r;.¡.¡
rl
1
,l
,x o 4 4
Es @e+"*,3t"-.)
, I o---, ,'--:
r Y' i' ,- '--' í "q ..- ,flj7
@¡ss í]W*
.--l?
( o.*or't 2 (p
F GI ti
-r)- ¿ ¡o-t) -*1p -.+r$, t.-t.
B Hfr t 4 4. .,4 -; 4 1
i
:(, 0i* I o
4@iiia3:¡sesik.,.... .-.., ...4.. t
r$r 1 t 1 4 ,r,;'^ .
1
^,
!
(t(t v !.)
ts- ( gr
= P-) ,-
!)
t jo j
t i.[,¡ ". I
,;
e,i O iA
.:i
ü
r)" . 't= .f.u -:,[.?a:L?5) :tL -:]3-r ::lra (
=-h,l
Í-r-(. ),, ,, .'
r(p:v 9,.,)"
Def lo (s\¡J-s)
L Q* - ¡p_do
gq{tsr)L ts¡
de- vedaA
t-,
fr "t fa i: J.P-c .Y
firdü,^ 10c, fñof I FEg-Fi-,vt. tal 94.,e F Ft"¿) 9? o¿
¡:
ts. .-.-----. -..-'-..:i'.'-'r-
'?e1*f ;
"S.ptxr*u
+es,
.^,:l«.+111¡ =: ::-'.
i. f ,--:,.,"-,"t\r',ff.Lts§, ^,,
=g,ot{F-o-$.á
g.1§vtc{.l
rF, \,
@.(sur_hfuose)
M; -
I l-p-o -' f. /¡"1 ?*#*t
i
\l
( (R
^
(-po))= f-J-*{ (:f$=Lg*-¡j)
q
--"-
I
h
t'
F
É
E
*
I
t
r-
{fp*wt w*wale:)
3u
qr.r
J-
(
,.1.
t'
LeN (-e) r? (,?le)
{ec ) e? (.e+o) €+ ts ("¿e)e+ lqle)
Sup§¡rn9 1.r€ ¡.r f t'r t€ ) .-"(Q t Q! ) =O '. *],] -i..:*'i:]*-,-L-
,r; ¡;.til-J
+ .r ('rr) t *r-t te t,b)
tgt
¡rt-e ) "l 4 ^r((?) r o "
f @rollüwsr .br"qo. tt".la,L !" , se,ic vqr(-da Jerr¡¡ F"&u TeJe* see* +a^l{oilfa
M &qwfr]ro_ son-rwfu Feprola$El-ao.:ae.-"&.É";
{-+r€8" ?p vd3 O , oiwrrt H- remérfi¡¡o ¿ U , !*t t^r g[o{oJrdem_
&bca uaW O, ssL fuW_, p'h ¡qa_u¡a--ry,tm*
#á*,
({ ieAJ)
u)3(o(^,f) =
:rt ryTlv\r-rp)). (g.a
J
N)
J(xrrF): J T h*)rn 3 h il\
lll T(rg»,= :JQ)
' lll 1l- x)-
a
;d,
:1
h.r
fgor- -- f8qf-
-;ll
t.+^l
.¿-i *r'¡..J:
'-j-t i"l ! ¿ r.íLr!._-r_:t -; r
': . -¿ g§ Jl_.:Í- - ----é,
-J.:=
!(e¿L)_ _i
rI( n)-.,F "[§ rtrvs»*rxXsrry--rg*:]: dl-s-.-) --e*rs+v l'-(fi (e..il: *{ grr*»)1 _"
.
:
D¿n"r,.
"'*-r
l. -. --. --.¡*-"i-
: :--
t
{a(f ) ts ta(trtrl)
(? *, ve,\gogo/\)( ( q trl ---\ + ñ[
^r
A (qtr») = l)
Si nrtt) = ñl {tr)) +-rri*nr) = ñ[ ( tte t"r¡)
I o
)
i, *t*i'»=r * .r{tact)\-Yüi,i.rl
Si ,s{ @cr}}=t *, \ = ñ( l{ [ttt1¡7¡ 4* v (r),ts q I qurl)
tL fue*o:. y vaeo3)
. t1W¡--Jjq?.Fc rriqfiq, A .s r¡r wt#o +-,e ü," te. ¡ qalglcct
, - Vgt-M§* ni?ali%.,, A ef .uu''.v!,Éo 1E üc¿ {.- g4to"c*r
ULteólSd A:S! f$ ur.',lf+g, er to c(,¡.:i"¡,É xnQoilaüt\fu¡.
)9- -' lr
i
'!
t,
: -*§.-:.s,t -fdr.^x .to\q. 'r , - "' .,( o<ii++,i'i'q\ '' i
- -
io(:::§§t1 , r,.t-[i,u*S-0, .. ., iQ.¡á F\fa rl-if! r,,aantiÉar?.
'i¡
:-l
: ¡ ' -' l t
I.-{o
-- -i :tlgre 3€..
4" ' ssrr -v-eÉi1d, ] §a(cxlr^ol C;orlr9 .qp1cL'oSié^ *?€ '
*,
,.
il írcw*Stap) A:.-S-i -1o -s9: !rr-nr.e&o-,e.*1ong!l sl F-drif