L�gica Matem�tica

albert@catworld.net
(p�g.1)
Re lat i v o a un cr i t er i o de v al id aci �n, un si s te ma ax i �mat i
c o de be c um pli r l as si gui e nt es pr opi ed ades :
- De be se r l� gic o o r azon able (t o do t e ore ma es un a t aut ol og�
a).
Capitulo I: Introducci�n.
I.1 Marco de referencia. Le nguaj es nat ur ale s y ar ti f i c i ale s. Us o y
m enc i �n. Me t ale nguaj e . Et c .
- C o m p le t o (Toda se nt e nc ia bi �n for mada v �li da e s t eor em a
y debe pode r demos t rars e c on los axi omas )
(Toda t aut ol og�a e s u n t e ore ma)
I.2 Antecedentes hist�ricos de la l�gica matem�tica. ( Ar i st h o , Le i bn iz ,B
o o l e, Ru s se l, .. .)
- Con si st en te (No se pued en dem ost r ar com o t e ore mas s ent e nc i
as bi e n for m. que no se an t aut ol og� as,
as� , si u na s ent . bi �n fo rmad a e s un t e ore ma, s u ne gac i �n no l
o e s) (t odo t eor em a e s una ta ut olog� a)
- A xi om as y r eg las de t rans f orma ci �n debe n s er i nde pe ndie nt e
s (ni nguno d e el los de be se r de ri babl e a
part i r de l os ot ros )
I.3 Breve resumen del contenido del texto.
Capitulo II: L�gica de proposiciones.
II. 5 .3 Ej em pl o s d e de mo st raci on es .
II.1 Introducci� n. F�r mula se nt e nci al (s ent e nc i a) bi e n f orm ada.
II.2 El lenguaje para la l�gica de proposiciones.
II.6 Sistema inferencial del c�lculo de proposiciones.
II. 2 .1 Sin t axis . S� mbol os: -de v er ac i dad: (V , F). -d e re
pre se nt ac i �n de v ar. (p,q, r. .. ) . - c o n j u n c i o n es o
cone c t i vas ( �, , , , , ). -de pun tu aci �n ( ).
Infe re nc i a: � Proc e sos me di ant e s loa cu ale s obt ene mos una c onc
lus i �n a pa rt i r de un as pre mi s as de
for ma que e l razo nami e nt o s ea v �li do� . Reg la de in fere nc ia :
�de cl arac i �n de l as c ondi c ion es baj o las
cua le s s e pue de hac e r un a i nf e re nci a, as � c omo el re su lt ado
de la mi s ma�.
1. Reg la s d e fo rm a ci�n .
1-Una va ri able pr opos i ci onal e s una se nt enc i a bi � n for mada.
2-Una se nt en ci a bi en fo rmada pr ec ed i d a d e l a n eg a c i � n
es una se nt e nci a bi en f orma da.
3-Dos se nt e nc ia s bi e n f or madas uni da s po r u na c one ct i v a bi nar
i a, co nst i t uy e una s e nt enc i a bi e n
fo rmada .
Infe re nc i a c orr ec t a: l a que si gue l as re glas �d e S R y d
e �R de duc i mos que � S�.
F a l a ci a d e ne g a r el a nt ec e d en te : ( I n f er en c i a ) n eg
a r e l a n t e ce d e n t e d e una pre mi s a c ondi c i onal para
con cl ui r c on la ne gaci �n de l con se cue nt e . (D e S R y d e
�S dedu ci mo s qu e �R )
F a l a ci a d e a f ir m a r el co nse c ue nt e: (Inf e re nci a ) af i
rm ar el cons ec ue nt e de una pre mi sa c ondi c i onal
p a ra d e d u ci r l a a f i rm a ci � n d e l a n t ec e d e n t e. (D e
S R y d e R ded uci m os S ).
Conc lus i� n = Conse c uen ci a l�gi c a d e las pr em is as.
2. Con ect i vas . Si ngular e s (� , N o ) y B i n a ri a s :
-Conj unc i� n ( , y)
-Di sy unc i �n i nc l usi v a ( ,o )
II. 6 .1 Regla s d e inf eren cia.
 - Di sy u n c i � n e x cl u si v a ( , o .. . o .. . p er o n o a mb
a s )
1 ) Re gla de se parac i� n (Se p. ) o de l modus pone ns o re gl a de e
l im i nac i�n de l co ndic i onal (RE ) :
-Condi c i onal ( , si . .. e n t o n c es . .. ); <a n t e ce d e n t
e, c o n se c u en te , re c �p r o c a >.
-Bi c ondi c i onal ( , .. . si y s� lo si .. .) .
[-Condi c i onal amp li ado (cone c t i va de 3 se nt enc i as) ( s i .. .
en t o n ce s .. . si n o .. .) ]
�s i un c ondi c i onal y s u ant ec e d en te se t o ma n c o mo p r
e mi sa s , se p u e d e in fe ri r el co n s ec u e n t e
co mo c onc lu si �n� [Si S y (S R ) so n v er dade ros , i mpli c a que
R t ambi � n l o e s] .
2 ) Re gla de un i�n (Un .) o de l a i nt rodu cc i �n de l a con ju nc
i�n (RI ) : �si dos se nt enc i as se t om an
II. 2 .2 Se m� n tica. In te rp re tac i �n (asi gnac i �n de va lor a v ar
i able s p ropos i c. )
co mo pr em i sas, se pu ede i nf er i r s u c onj unci �n co mo c onc lus i
�n� (Si S y R s on ve rdad er os,
i mpl i ca que S R t ambi �n lo e s).
1. Ta bl a s d e ve r d ad .
3 ) Re gla de i nse rc i� n (I ns. ): �Cual qui e r e je mp lo de tau
tol og� a c omo los e nume rados e n I I.4 pue de
p q � p p q p qp q p q p q
se rv i r d e pre m is a e n c ual qui e r i nf e re nc ia pr oposi c i onal �.
VV F V V F VV
4 ) Re gla de in te rc am bi o (I nt .): �Si se da un bi c ondi c i
onal c om o pre mi sa, se pue de i nf e ri r c omo
VF F F V V FF
co ncl usi �n e l r es ult ad o de i nt e rc al ar s us co mpone nt e s e n cua
lqui e r ot ra pre mi sa �
Norm as del pr oce so de i nf e re nci a:
1 ) Si mbol i zar e nunc ia dos y con ec t i vas pr oc urando uni f orm ar
el l eng uaje .
2 ) Indi c ar e n l i ne as s e parada s, la s p r em i sa s p re c ed i d
a s d e la le t ra �P � ( P1 , P 2 , .. .)
3 ) De ri v ar la c onc lus i �n a par t ir de l as pr e mi sas . Cada
f �r mula se e s cr ibe e n una l� ne a apar te ,
FV V F V V VF
F F V F F F VV
2. Eq u i va l en ci a. (=) (t abl as de v e rdad i gual es ). R ef le x i va,
si m� t ri c a y tr ans it i v a. Cl ase s d e e qui v al.
i ndi c ando a la de re ch a de l a m i sma la i nf er enc i a y / o t au to
log� a q ue pe rmi t e de duc i rl a.
3. Ta ut ol og � as y c on tr a di c c i on e s. Si t odos los v al ore s
de la t abla de ve r dad s on:
4 ) I n d i c a r la c o n cl u si � n p r ec ed i d a d e l a l et r a
� C � .
�un si s t em a i nf e re nci a l es c om pl et o si para c ual qui er c
onj unt o de p re mi sas , e l si st e ma i nf i er e t oda
con cl usi �n que pue da dedu ci r se de l as pre mi sa s�.
�un si s t em a i nf e re nci a l es c ons i st en te si para c ualq ui er
c onj unt o de pr em i sas , t oda c onc lus i �n que
i nfi e ra e l s i st e ma ta mbi �n se d educ e de l as pre mi s as�.
1)Ve rdad er os Taut ol og� a. 2 )Fa ls o s Co nt radi c ci �n . 3)A mb o
s Sen t enc i as de t i po in det e rm i nado.
II.3 Validaci�n de sentencias proposicionales.
II. 3 .1 Va l i da c i �n me di a n te ta bl a s d e ve r d ad . (Bue no
para poc as va ri able s).
II. 3 .2 Va l i da ci �n me di a n te �rb ol es sem �n t i cos .
II. 3 .3 Va lida ci�n me dia n te refu ta ci�n . (Su posi c i �n de que la
se nt e nci a es f al sa)
II. 6 .2 El p rin ci p i o d e reso l u ci �n p a ra la l� gi ca d e p
rop os i ci on es .
Cl� usu la: di sy unc i �n de li t er ale s (va ri able s prop .so las o
nega das).
II.4 Leyes de la l�gica de proposiciones. T a ut o l og � as esp eci a l ment
e � t i le s:
1) Le y d e iden tida d : (p p, p p) .
Se nt en ci a en form a cl au sul ada: co njun ci �n de c l�us ulas .
Pro ce di mi e nt o pa ra pone r e n fo rm a c l aus ul ada c ual qui e r s en te
nc i a bi e n fo rm ada:
1 ) El i mi nar c ondi c i onale s y bi con di ci ona le s.
2 ) Ap li c a r l e ye s d e M o rg an (par a qu e las ne gac i one s s �lo
af ec t e n a var i able s propo si ci o nale s).
3 ) Pas ar a f orm as cl ausu ladas apl i ca ndo s uce s iv am ent e l a l
ey d is t ri but i v a par a l a di s yu nci �n.
* Si m pli f i cac i �n:
-) Si ha y dos o m �s cl ausul as i d�n ti c as s� lo te ndr em os que
e sc ri bi r una d e el las .
-) Si ap are ce u na c l�u sula de l a f orm a p � p (e s una ta ut
olog� a), se pued e el i mi nar.
-) Si e n u na c l�u sul a apar e ce e l mi sm o l i t er a l va r i a s
ve c es so lo h a y q u e e sc ri b i rl o u na.
La cl � us ul a v a c �a ( � ) c orr es ponde a una cl �usu la que no ti
e ne l i te r ale s y es s ie mp re f als a.
La cl �us ul a u ni ta ri a e s una c l �usul a c on un �n ic o li t e ral .
2) Le y d e la d oble n ega ci� n: ( p �p) .
3) Le y d el t erci o excl u so : ( p � p s i em p re s er � V).
4) Le y d e con tr ad icci�n : � (p � p si e m pr e ser � F) .
5) Le yes d e M o rg a n: � (p q ) (� p � q) ; � (p
q ) (� p � q) .
6) Le y d e red u cci�n al a bs ur do : [ � p ( q � q)] p.
7) Le yes d e c on mut a ci � n: (p q ) ( q p) ; ( p q)
(q p ) ; (p q ) (q p )
8) Le yes d e a s oci a ci � n: [ ( p q) r ] [ p ( q r ) ] ; [ ( p q)
r] [ p ( q r ) ] ; [ ( p q ) r ] [ p ( q r ) ]
9) Le yes d e t r a ns po s i ci �n : (p q ) (� q � p ) ;
(p q) ( � q � p )
1. Regla d e res olu ci� n . Se apl ic a a dos pr e mi sas e n f orm a de c
l�usula s (g e ner a tr ic es ), que c ont i ene n
una v ar i able pr oposi c i onal si n ne gar en una y nega da e n l a o t
ra. La re sol uci �n c onsi s te en co nst rui r
ot ra c l�us ula (r es ol ve nt e ) f or mada por la di s yun ci �n de t
odas las v ar i able s pro posi c i onale s de las
gen erat r ic es me nos la com�n (que apare ce ne gada en una y si n ne
gar en ot ra). P ropi ed ad i mport ant e :
Cualq ui er re so lv ent e d e dos cl �usu las P1 y P2 e s un a c onse c
uen ci a l�gi c a de P1 y P2.
10 )L eyes di s t ri b ut i va s: [p ( q r )] [( p q) (p r)
] ; [p ( q r)] [(p q ) ( p r)] ;
[p ( q r) ] [ (p q) (p r) ] ; [ p ( q
r) ] [ ( p q ) (p r) ]
11 )L ey d e p er muta ci�n : [ p ( q r ) ] [ q ( p
r ) ]
12 )L ey d el s ilog ism o: ( p q ) [ ( q r ) ( p
r ) ] ? ??
2. Refu t aci�n . Co nsi st e en dedu ci r � a par t ir de S (c onj
unt o de pre mi s as m� s la ne gac i �n de la
con cl usi �n -q ue que rem os dem ost rar -), es de ci r c omprobar qu e l
as pre mi sas j unt o a la ne gaci �n de l a
con cl usi �n es una c ont radi c c i �n.
13 )S i l og i smo hi p ot �t i co o t r an si t i vi d ad : [(p q ) ( q
r)] (p r ) ;
[(p q) (q r )] (p r)
14 )L eyes de i n f eren ci a d e l a al t er n at i va o de l o s s i
lo g i smo s d i syu n t i vos :
II.7 Ejemplos de aplicaciones de la l�gica de proposiciones. Ejercicios.
[ � p ( p q ) ] q ; [ p (� p � q ) ]
q
10: 8 R eg las de G ent z en (re glas de i n fe re nc i a bas adas en t eo
re mas de l si st e ma axi o m�t i co PM)
15 )L ey d el d ilema co ns tr uctivo : [ ( p q ) ( p r )
( q r ) ] q
17: ne gac i �n c onj ugad a ( NO R , � �) eq . � ( p q ) ; ne gac i �n
al t er nat i va ( NA ND, �| �) e q . �( p q)
16 )S eg un da le y d el dilema con s tr u ctivo: [ ( ( p q ) (
r s ) ) ( p r ) ] ( q s )
Capitulo III: L�gica de predicados de primer orden.
17 )L ey d el d ilema d estr u ctivo: [ ( � p � q ) ( r p )
( s q ) ] ( � r � s )
18 )L ey d e ex po rta ci� n: [ ( p q ) r ] [ p ( q
r ) ]
III.1 Introducci�n.
III.2 El lenguaje de la l�gica de predicados.
19 )L ey d e r es olu ci�n : [ ( � p q ) ( p r ) ] ( q
r )
20 )L ey d el b icon dicio n al: ( p q ) [ ( p q ) ( q
p ) ]
III . 2. 1 P r e d i c ad os , f�r m u l as at �m i c as y s e n te n c i as .
Pr ed ic ado: �f orma li zac i �n de una
propi e dad o de una re l aci �n� . Pr edi c ados m on�di c os (para e x
pre sar pr opi e dade s, c on un s �lo
argume nt o). F�r mula at �mi ca : �Pr edi c ado s egui do por s us argume nt
os�, t ambi � n se r� una s ent e nci a.
Sen te nc i a c e rrad a: Cuand o t odas l as var i able s que i nt er vi e ne
n e n l as f �rm ulas at �m i cas q ue la
com pone n e st �n c uant i fi c adas .
21 )C on dic io n al- dis yun ci� n: ( p q ) ( � p q )
22 )C on dic io n al- con jun ci�n : ( p q ) � ( p � q )
23 )L eyes de s i mpl i f i ca ci �n : ( p q ) p ; p ( p
q )
24 )L eyes de exp an s i�n : ( p q ) [ p ( p q ) ] ;
( p q ) [ q ( p q ) ]
III . 2. 2 C u an ti f i c ad or e s . -Uni ve rs al [ , �p a r a t o d
o . .. �] . - Ex i st e n ci a l [ , � ex i st e u n .. . t a l q u e . ..
�]
24 )M o du s p on en do p o nen s : [ ( p q ) p ] q
Conv er si one s (equi v al enc i as): ( x)P (x) = �( x )(� P (x )) ;
( x )P(x) = �( x) (� P( x ) ) .
26 )M o du s to llen d o tollen s : [ ( p q ) � q ] � p
De sc ri pc i �n de los c uat ro mode los b�s i cos de e nunc i ados de l
a l �gi c a c l�s i ca:
1) En unci ad o Un iv e rs alm e nt e Afi rm at iv o ( A ) : ( x) P(x) [T
odos lo s x so n P ]
II.5 Sistema axiom�tico del c�lculo de proposiciones .
2) En unci ad o Un iv e rs alm e nt e Ne gat iv o ( E) : ( x) �P (x) [N
ing�n x e s P ]
II. 5 .1 Al f ab e to y re gl as d e f or m ac i � n d e l c �l c u l o
ax i om �ti c o PM . (P ri nc i pi a M at he mat i c a)
3) E nunc i ado Par ti c ul arm e nt e Afi rm at iv o ( I ) : ( x) P (x)
[A lg�n x e s P ]
S�lo dos c onec t i v as (� y v), re st o de fi ni das a par ti r de e st
as :
4) E nunc i ado Par ti c ul arm e nt e Ne gat iv o ( O) : ( x) �P (x)
[A lg�n x no e s P]
-Conj unc i� n: p q = �( � p � q) -Con dic i onal : p q = �p
q
III . 2. 3 F u n c i on e s . Uni t ar i a, bi n ari a, t e rnar ia , n -ari
a (s eg un n� mer o d e argum ent o s)
-Bic on dic i onal : p q = ( ( p q) ( q p) ) - Di s yu n ci �
n ex c lu s i va : p q = �( p q ).
III . 2. 4 S � m bo l os . Ide m que de pr oposi c i one s, m� s: -f unc i
one s(f ,g, h.. .) - p r ed i cado s(P, Q,R .. .) - y
En re sum en, al fa be t o del s i st .P M:
III . 2. 5 S e m �n ti c a . Un i ve rs o de l di sc urs o: � Conj unt o e n el
que t om an v al ore s las v ari abl es �.
Di f er enc i as e nt re la se m� nt ic a de la l�g ic a de pre di c ados
y la de pr oposi c i one s:
1) La i nt er pre t aci �n e n l� gi ca de prop osi c i ones s e a pli c
aba al c onj unt o de v ari abl es
-Si mbolo s p ri mi t i v os ( � le t ras s ent e nc i ale s [p ,q , r ,s, p 1
,q 1 ] � cone c t i vas [ �, ] �pa r� nt es i s ).
-S�m bolos de f i ni dos ( � c one ct i v as [ , , , ] )
prop osi c i on ale s. E n l� g.de pr edi c ados se de be e xt e nde r a t
odos los e le me n.de l uni v. de l di s cur so.
II. 5 .2 Ax i om as y re gl as d e t r an sf or m ac i � n. Pa ra e l
si s t em a P M se e l ig en cu at ro axi om as:
1) ( p p ) p 2) q ( p q )
2) Ex t e nsi �n de l dom i ni o de u na fun ci �n al con junt o d e
s ent e nc i as t e ni e ndo e n c uent a los
3) ( p q ) ( q p ) 4) ( p q ) [ ( r p ) ( r
q ) ]
cu ant i fi c ador es [ F ( ( x ) ( A( x ) ) =F ( A( a) )
F( A( b ) ) .. .] ; [ F( ( x ) ( A( x ) ) =F (A ( a) ) F( A (b )) .
.. ]
donde { a,b, .. .} es e l u n i v er so d el d i s cu r so .
A part i r de e st os 4 axi om as + l as 2 r egl as de t rans f or. si gu
ie nt e s se pue de de mos t rar c ualqu .t e ore ma.
3) la rel aci �n d e e qui val enc i a en el c onjunt o de sent e nci
as se de fi ne de mane ra an�l oga que e n l�gi c a
- Re gl a de s us ti t uc i�n (Su st .): �el re s ul t ado de re em plaza r c
ualqui e r v ari able e n un t e ore ma po r
una s e nt enc i a bi � n f or mada, e s un t e ore ma �.
de prop osi ci on es, pe ro el n�me ro de cl ase s d e equi v ale nc ia, s
i el uni v er so de l di sc urs o e s i nf i ni t o
es t am bi� n i nfi ni t o.
- Re gl a de s ep arac i� n (S ep. ) o de l mo dus pon en s: � si S y (S
R) s o n t e o re ma s, en t o n ce s R e s u n
t e ore ma� .
III.3 Sistema axiom�tico en la l�gica de predicados. Mi s mos axi o mas que en
e l
si st e ma PM (II. 5.2), m �s ot ros dos pr opi os de la l�g ic a de pre
di c ados:
L�gica Matem�tica
albert@catworld.net
(p�g.2)
5 ) L ey d e e s p ec i f ic a c i � n : ( x )(P ( x ) ) P ( a)
lo mi sm o que �, e t c. [ ] �no es �, �e s di st i nt o de� , �e
s di fe re nt e de �
�hay po r l o m eno s d os ent i dade s que t i e ne n l a pr opi ed ad P �: (
x)( y) ((P ( x ) P( y ) ) ( x y)
6) L ey de i n tr oduc ci � n de l gen er ali z ador: ( x)(p P ( x ) ) (p
( x)( P ( x ) ))
�hay e x act am ent e u na e nt i dad que t i en e la propi e dad P� :
( x) P ( x ) ( ( P ( x ) P( y ) ) ( x = y ) )
Re glas de tr ansf or mac i �n: m i smas que en si st e ma PM, de sus t
i tu ci �n y de s epar ac i� n (mo dus pone ns)
De sc ri pci on es : e xpr es i one s que se i ni c i an con �e l� o �la �.
III.4 Leyes en l�gica de predicado s.
* ( x ) ((Q ( y ) ( y = x ) ) P ( x ) ) (E l bl a e s t al y cu al)
par a que s ea c i er t a una e xpr es i �n de es te ti p o:
- De be habe r por lo me nos un bl a. -Debe h aber a lo sumo un bla. -
E l bl a de be se r t al y c ual.
1) Le y d e i nt er d ef in i ci � n d e l o s cu an t i f i cad o res .
2) Le yes a ri s t ot �l i ca s d e op o sici� n.
3) Le y d e iden tida d .
4) Le y d e con tr ad icci�n .
5) Le y d el t erci o excl u so .
6) Le y d e di s t ri b uci � n d el cua nt i f i ca do r u n ivers a l p or
la co nju nci� n.
7) Le y d e di s t ri b uci � n d el cua nt i f i ca do r u n ivers a l p or
el c on dicio n al.
8) Le y d e di s t ri b uci � n d el cua nt i f i ca do r u n ivers a l p or
el b icon d icion al.
9) Le y d e con t r acci � n d el cua nt i f i ca do r u n ivers a l p or la
d is yu nc i� n .
10 )L ey d e d i st r i bu ci � n de l cu an t i f i cad o r p ar ticula r p
or la co nju nci� n.
11 )L ey d e d i st r i bu ci � n de l cu an t i f i cad o r p ar ticula r p
or la d is yu nc i� n .
12 )L ey d e co n t ra cci � n de l cu an t i f i cad o r p ar ticula r p or
el c on dicio n al.
13 )L ey d e t r an s i t iv i da d d el co n dicio na l o ley del mo do
cl�s ico d el s ilog is mo � B� rb ar a �.
14 )L ey d el mo do cl�s ico d el silo gis mo � C elar en t�.
15 )L ey d el mo do cl�s ico d el silo gis mo � Da rii� .
16 )L ey d el mo do cl�s ico d el silo gis mo � Fer io� .
17 )L ey d el M o du s Po ne nd o Po nen s .
18 )L ey d el M o du s T o lle nd o T ollen s .
IV.4 L�gica de las clases.
IV . 4. 1 � l ge bra b o ol ean a d e l as cl a se s. (P er t en enc i a,
no per t en. <de un m ie mbr o a una cl ase >)
- In cl usi �n: A B = x (x A x B) - I de nt i dad: A= B = x (x
A x B )
- Uni �n : A B = {x | ( x A x B ) } - I n t e rse c ci � n : A n
B = { x | ( x A x B )
- C o m p le me n t o : � = { x | x A) - C l a se v a c �a : � - C
la s e Un i v e rsa l : U
Par a que l a l �gi c a de c la se s t e nga es t ruc t ura de �l gebr a de
Bool e, de be c umpl i r l as si gui e nt e s p rop. :
1)Conj unt o c e rra do. 2 )e l em ent o ne ut ro (p ara uni �n � , e i n t e
rs ec c i� n U) .
3)A �=U ; An �=� 4 )c onm ut at i vas 5)A soc i at i va s 6)Di s t ri but i
vas .
IV . 4. 2 V eri fi ca ci �n med i a nt e di a gra ma s d e Eu l er.
IV.5 L� gica de las relaciones.
x R y � x (re lac i onant e ) t i e ne la re la ci �n R co n y (r el
aci on ado)�
-Inc lus i �n: -Ide nt i dad:
- Un i � n : - I n t e rs ec c i � n :
-Compl em ent o: -Re l aci �n re c �pr oc a o i nve rs a: R� = {(x ,y) | (y
R x)}
-Compos i ci �n: R o S = { ( x , y ) | z ( x R z z S y) } R o A
= { x | y ((x R y) ( y A) ) }
-Domi ni o: dom R = { x | y (x R y) } -Ra ngo: r a n R = { y | x
(x R y) }
IV.6 L� gica de predicados de orden superior. E s a mpli a pe ro i ncon si st e
nt e.
(Hay par adoj as).
19 )Le y d e i n fer en ci a d e l a al t er n at i va . [( x) (P(x )
Q(x )) � P( a)] Q(a)
20 )L ey d e es p eci f i cac i� n .
21 )L ey d e p a rticu lar iza ci� n.
22 )L ey d e r ed ucc i� n a l abs u rd o .
IV. 6. 1 Teo r�a i n te ns i on al d e l o s ti p os . E n v ez de c onsi
de ra r a los i ndi v i duos y a las pr opi ed ades
for mand o part e d e u n s �lo uni ve rs o de l di sc urdo, l os di s t ri
buye e n i nfi ni t os. E l t ip o i nf er i or (t i po0) es
el de t odo s los i ndi v id uos. El ti po 1 es el de las prop ie dade s
de los i ndi vi du os. El t i po 2 e l de las
propi e dade s de la s p ropi e dade s de los i ndi v i duos ...
III.5 Sistema inferencial del c�lculo de predicados. No e xi s te un proc e dim
i ent o gene ral
que pe rm it a de t er mi nar l a val i dez de c ualqui e r se nt e nc ia
e n l�g ic a de pre di c ados. (El c�l cul o de
pre di ca do s e s i ndec i di ble ).E xi s te u n pr oc e di mi e nto que pe
rm i te de t e rmi nar si una s en te nc i a e s v�l id a y a
que t er mi na. Si no e s v� li da, no alc anz a e l fi n. P or el lo el
c �lc ul o de pr e di cado s e s se mi de c id i bl e.
IV. 6. 2 Teo r� a ex ten s i on al d e l os t ip o s. Si m i lar a la ant
e ri or, pe ro c on c l ase s e n v e z de con
propi e dade s. A s� qu edan In di vi duo s, Clas es de in di vi duo s,
Clas es de cl ase s de i ndi v id uos, e t c.
IV.7 L� gicas polivalentes. L� g i ca t r iv al en t e de L uk as i ewi cz :
III .5 . 1 R e g l as d e i n fe r e n c i a . Si st e ma i nfe r enc i al
es un a e xt e nsi � n de l de la l�g i ca propo si c io nal.
1)Re gla de l a E li mi na ci �n de l C uant i fi c ador U ni ve rs al ( R E
)( x ) f( x ) - - > f ( a)
pq � p p q p q p q p q p q
0 0 1 0 0 0 1 1
2)Re gla de I nt roduc c i �n de l Cuant i f i ca dor Uni v er sal ( R I ) f
( a ) - - > ( x ) f ( x )
0 1/ 2 1 0 1/ 2 1/ 2 11/2
3)Re gla de E li mi na ci �n de l C uant i fi c ador P art i c ular ( R E )(
x ) f ( x ) - - > f ( a)
0110 11 10
4)Re gla de I nt roduc c i �n de l Cuant i f i ca dor Part i c ul ar ( R I )
f ( a ) - - > ( x ) f ( x )
1/ 2 0 1/ 2 0 1/ 2 1/ 2 1/2 1 /2
1/ 2 1/ 2 1/ 2 1 / 2 1/ 2 0 11
III.6 Sistema de resoluci�n.
1/ 2 1 1/ 2 1 / 2 1 1/ 2 11/2
III .6 . 1 F o r ma c l a u su l ad a d e l a l �g i c a d e p r e d i c a
do s. (F orm a nor mal de Sk ol en) cua ndo:
1) Todas l as v ar i able s e st �n uni ve rs alm ent e c uant i f i cadas
(e nt onc es se u sa e l co nve ni o de es cri bi r lo s
1000 11 00
1 1/ 2 0 1 / 2 1 1/ 2 1/2 1 /2
cua nt i fi c ador es uni v er sal es al pr i nc ip io , y no v olv e r a e
sc ri bi r los ) (se nt enc i as c er radas ).
1101 10 11
Carac t e r� st i c as i m port an te s:
- No s at i sf ace n la l ey del t er c io ex c lus o, ni l a de c
ont ra di c c i �n, ni al gunas ot ras t aut olo g�as de l a
2) La sen te nc i a e st � c ompue s ta de una di s yun ci �n de li t
er ale s (ne gados o no), l lama dos c l� usula s. [ L 1
v L 2 v . ..v L n ] e st r uct ur adas com o c onj unci one s, que dando as� :
( L 11 v L 12 v .. .) (L 21 v L 22 ...) ... e n l a
que c ada c l �usul a ( L i1 v L i2 v . .. ) t i ene sus pro pi as var i
able s.
l� g i c a bi v a l en t e .
Proc e di mi e nt o par a p asar c ualqu i er se nt e nci a de l �gi ca de pr
edi c ados a fo rma cl aus ulada (para po der
apli c ar la re gla de r es oluc i �n):
1) El i mi nar c one ct i v as di fe re nt e s a y (pri nc i pal me
nt e y ). (Co mo e n l�gi c a p ropos i ci ona l)
2 ) I n t r o d u c ci � n d e n e g a c i o n es ( l ey e s d e M o
rgan ) ade m�s de l as ya vi s t as (con y ) :
Cuas i-t aut ol og� a: c uando una f�r mul a nun ca t oma el v alor f als o
pa ra cual qui e ra de l os va lor es
asi gnad os a su s v ar i able s.
Cuas i-c ont ra dic c i�n : I dem . c uand o nun ca t oma el v alor v e rdade
ro .
Ge ner ali z aci �n :
1) Consi de rar n v al ore s l �gi cos ra ci onale s i gualm ent e e spac
i ados dent r o de l i nt e rv alo [0 1] , que se
� ( x ) ( S) = ( x )(� S) ; � ( x ) ( S) = ( x )(� S)
3) Inde pe ndi zac i �n de las v ari abl es c uant i f i cad as (a pli c
ando la re gla de s ust i t uc i �n) para que cad a
pue den i nt e rpr et ar c omo g rados de v e rdad, (c on ci er t a r el ac i
�n c on el le ng. de probabi l i dade s):
cua nt i fi c ador t e nga s e re f ie r a a su propi a va ri able .
1
-
n
2
-
n
2
1
0
4) El i mi nac i �n d e cuan t if i c adore s e xi s te nc i ale s.
1
=
,
,.....,
,
,
=
0
�1) El c uant i fi c ador no e st � den tr o de l alc anc e de ni ngun c
uant i f i cado r uni v e rsal : s e i nt r oduce una
con st ant e (v alor ar bi tr ari o) en lu gar de la va ri able c uant i f
i c ada (c ons ta nt es de Sk ol em ).
�2) D ent r o de l a lc ance de un cuan ti f i c ador uni ve rs al, se s ust
i t uy e p or una fu nci �n (fu nci �n de
Sko le m), que debe se r un s� mbol o que no coi nc i da con ni nguno que
f i gure y a en la se nt en ci a.
Ej e mpl o: ( x)( y)( z ) ( u)( v ) ( w )P ( x , y ,z ,u ,v ,w ) - - >
( y)( z ) ( v ) P (a , y ,z , f (y ,z ) ,v , g ( y ,z ,v ) )
1
-
n
1
-
n
1
-
n
1
-
n
1
-
n

2) De fi ni r l as con ec t i vas b�s i cas de l a s i gui en t e for

ma:
�p = 1 - p p q = m in (p ,q) p q = m ax (p ,q)
5) El i mi naci �n de c ua nt if i ca do re s uni v er sal es . (A hora
s�lo ex i st e n c .uni v . y c ada uno af e ct a a una v ar.
p q = m in(1,1+ q-p) p q = 1 - |p - q |
di fe re nt e , por lo que se apli c a l o de l c onv eni o de no es cr i
bir los ).
Se g�n e st o, L uka si e wi c z usa la ne gac i� n y e l con di ci
ona l c om o pr i mi t i vas . Par a de f in ir e l re st o:
6) Agr upam ie nt o de c onju nci one s y di sy unc i one s. (Me di ant
e p ropi e dad di st ri but i v a)
7) Cambi o de nombr e de las v ari a bl es . (Par a que c ada c l�us
ula t eng a l as s uy as propi as ).
Con l as se nt en ci as en f orm a c laus ulada se o pera i gual que en l
a l �gi c a de pr opos ic i one s. (Ge ne rat ri c e s)
p q = ( p q) q p q = � (� p � q) = �( ( �p � q) �q)
p q = ( p q) ( q p) = �( ( �( p q) � ( q p ) )
� ( q p))
III .6 . 2 S u st i tu c i �n y u n if i c ac i � n. Sust i t uc i �n: �
conj unt o de par es or den ados� . ej .{ b / x , g( z ) / y .. .}
Capitulo V: L�gica borrosa.
-O pe rac i �n de s ust i t uc i �n: �da do un li t e ral L [e j. : P(a,
x, f(y ))] y una su st i t uc i� n s (cu yos t �r mi nos n o
pued en co nt ene r s� mbolo s de cons t ant es ni func i one s que y a e
st �n e n L ), r ee mpl azar t odos l os l ugar es de
L do nde apar ez ca x 1 p or s 1, y a co nt i nuac i� n e l re st o de pare
s t i/ x i d e s (r es ult an do L s).
-L a c omp osi c i �n de s ust i t uc i one s es as oci at i v a, pe ro en ge
ner al no e s co nmut at i v a.
-s e s una sus ti t uc i �n m� s g en er al que s � c uando si s � se
pued e obt ene r de s co mpue st a con ot ra su st .
-D os e xpr es i one s son U ni fi c abl es cu ando se pue de n hace r i
d� nt i c as por la apl i cac i �n de algun a
sust i t uc i �n s (a la que s e den omi na uni fi cad or ) .
-� e s el un ifi c ador m �n im o o de m�x im a gen er al idad (um g) del
c onj unt o (u ni fi c able ) de l i t er ale s {L i }.
� Pr opi ed ades de � :1)Si s es ot ro uni f i ca dor de {L i }, ex i st e
u na s ust i t uc i �n s � t al que s =� s�
V.1 Introducci�n. ( Ta mbi�n llama d a L �g ica Difu s a, de � Fu z zy
lo gic� ) . Or ige n:
Co nj u nt o s bo r ro s os ( Fu zz y Set s ), de L o ft i Z ad eh ( 19 6
5) .
V.2 Conjuntos borrosos. G rado de per te ne nc i a. Me did a borr osa
(grado de ev i den ci a o
ce rt i dum bre so br e la pe rt e nen ci a de un el em ent o a u n c onj
unt o). � es l a f unc i �n d e per t en enc i a.
V. 2 .1 C on cep to s b �s i cos . Ej e mplo :
- Uni v e rso de l as edad es : U =e dade s ={5, 10,2 0,30, 40, 50,60, 70,
80}
- Conj unt os bor roso s: be b�= {} j ove n={ 5| 1, 10| 1, 20| 0.8, 30| 0. 5,
40| 0.2, 50| 0. 1}
2)L i � e s �ni co sal v o por v ari ant e s alf ab� t i cas de l os li t e
ral es .
-F orm a m � ni m a de un l i te r al: c uand o no se l e pue de apl ic ar
m� s s ust i t uc i �n q ue la vac i a.
adul t o= { 20| 0. 8, 30| 1, 40|1 , 5 0|1 , 6 0|1, 70 |1, 80| 1}
v i ej o={2 0|0. 1, 30| 0.2 , 4 0|0. 4, 50| 0.6, 60 |0. 8, 70| 1, 80| 1}
III .6 . 3 E xp r e si � n g e n e r al d e l a r e g l a d e re so lu c i
� n .
Conj unt o bor ros o v ac �o. Al t ura de l c onj unt o bo rros o: m�x i mo
val or de pe r te ne nc i a obt e ni do.
Conj unt o bor ros o N orm al iz ado cuan do l a al t ura es 1.
1 ) S e se le c ci ona una pare j a de l i t er ale s en c l�us ulas di s t
i nt as (u na ne gada y la ot ra si n ne gar).
2 ) S e a p li c a el a l g o ri t mo d e u n i f i c a ci � n a la p a
re j a d e l i t er a le s se le cc i onada .
3)Si re s ult an uni f ic adas , se r es uel ve y se i nc luy e l a re s
olv ent e e n el c onj unt o.
4 ) S e v u el e ve a l p a so 1 ( h a s ta q u e n o e s p o s ib l e
e n c o n t ra r cl � u su la s a u n i fi c a r, o cu ando se obt i en
e l a
cl � u su l a v a c i a c o mo re so l v en t e )
Cardi na l de un con junt o borro so de f i ni do so br e un uni v e rso fi
ni t o: s uma d e t od os l os gr ados de
U
x
(x)

=
�
card(A) A e
S
p er t en e n c i a :
III .6 .4 R e fu tac i �n . (A pli c aci �n an�loga a l�gi c a pr oposi c io
nal) De bi do a la b�s queda ex haust i v a, par a
muc has p rem i sas, c l�usu las y el em ent os por cl �usul a, e l n�me ro
de comp robaci one s pued e s er t an e l ev ado
q u e p u e d e se r i n a c ep t a b l e el t i e mp o n e ce sa r i o p a
ra c o m p ro b a r lo (e x p lo s i � n c o m bi n a to ri a ) .
p. ej .: ca rd(v i ej o)=0. 1+0.2+0 .4+0. 6+0. 8+1+1=4. 1
III .7 Ej e m pl o s d e ap l i c ac i o ne s d e l a l � gi c a d e p r
e d i c ad os .
Capitulo IV: Otras l�gicas.
IV.1 Introducci�n.
IV.2 L� gicas modales.
�Es posi bl e que p� ( p ). �Es i m posi bl e que p� ( p).
� E s ne ce sa r io q u e p � ( � �p ) ( p es l � g i c a me nt e v � l
id a ).
�Im pl ic ac i� n l �gi c a� � �( p q ) = p =>q �Equ iv al en ci a l�gi c a�
� �( p q ) = p <=> q
IV.3 L�gica de predicados con identidad. [ = ] �e s�, �e s i d�nt i c o
a� , �es i gua l a� , �e s

L�gica Matem�tica
albert@catworld.net
(p�g.3)
V. 2 .2 Op eracio n es t�p ica s.
Int e nsi f i ca ci �n I NT( �(x )) = 2�2 (x) si 0 = �(x ) = 0 .
5 ; 1 - 2(1 -�(x) )2 si �(x ) > 0. 5
�Un c onj unt o bor ros o A es su bc onj unt o de ot r o c onj unt o borr oso
B, de fi ni do sobre un mi sm o
(se com bi n a c on a lguna ot ra ope rac i �n, p. e. con Conc e nt rac i �n
s er �a �bas t ant e� ).
uni ve rs o U s i e l gra do d e pe rt e nenc i a de c ada e le me nt o d el
c onj unt o A e s me nor o i gual a s u gr ado de
per t ene nc i a al c onj unt o B� : A B si �A( x) = �B (x) , x
U
- Ot r o s a u t o re s co in c i d e n c o n N o va k en N EG y C ON ,
p e r o : D I L(�(x )) = v �( x) Y de e st a for ma se
ve ri f i ca que CON( DI L( �(x) ) ) = DI L( C ON( �( x) ) ) =
�(x )
Igual dad y de si gual dad: � A = B si �A(x ) =�B (x) , x U
-Re glas de modi f i cac i �n para i nt er pre t ac i �n de s en t enc i as
si mp le sc on l os adv er bio s m �s com une s:
� n o �: I (� A (x )) = N EG ( �A( x)) = 1 - �A( x)
� A B si x U , �A(x ) �B(x)
�C o m p l em en t o � d e u n co n j u n t o b o r ro so A, re sp e c to
a l u n iv e rso U, es e l c o n j u n t o b o rr o so ob t e n i d o
� mu y �: I (m uy A( x) ) = C ON( �A(x )) = �2(x )
asi gnand o a c ada e le me nt o de l uni v er so e l com ple me nt o r es pec t
o a la uni dad de su grado de
p er t en e n c i a �: � = { x | �� (x ) = 1 -�A(x ) , x U }
� h i p e r�: I (hip er A( x) ) = �A( x) C ON( �A(x )) = �3(x )
� m�s o me nos� y �a lgo� I (m �s o men os A(x )) = I( algo A( x))
= DI L( �(x) ) = 2 �( x) - �2( x)
�Un i� n de dos c onj unt os borr osos , A B, c omo e l c onju nt o
bor ros o obte ni do as ig nando a cad a
� Ap r o x i m.� y � ca s i � I (a pr oxi m ad a me n te A (x )) = I( ca
s i A( x) ) = D IL( D I L( �( x) ) ) =
el em ent o de l u ni ve rs o e l m�x i mo val or de su gr ado de per t ene
nc i a a cu alqui e ra de l os d os conj unt os �:
4( x)
2 (x) + 4 �A
3( x) - �A
= 4�A (x) - 6 �A
A B = { x | �A B(x) = max ( �A (x ) , �B(x )) , x U }
� Bas t ant e � I (b as tante A(x )) = INT( C ON( �A(x )) )
�I n t er se cc i � n d e d o s co n ju n to s b o r ro s o s, A B , c omo
el conj unt o borr oso obt e ni do asi gna ndo a
cada e le me nt o del uni ve rs o el m �n i mo va lor d e su g rado de
pe rt e nenc i a a c ualqu i er a de l os dos
conj unt os �: A n B = { x | �An B( x) = m in( �A( x) , �B( x) ) ,
x U }
no cas i
S i n e mb a r g o , n i c o n t ra d i c ci � n n i t e rc i o e xc lu so ,
ya q u e A n � � y A � U , por lo que
a l go
los c onj unt os borro sos no for man un � lge bra de Bo ole .
�P ro d u ct o c a rt e si a no , Ax B , de dos c onju nt os bor ros os A y
B, de f in id os s obre uni v er sos U y V
di fe re nt e s, c omo el c onj unt o bor ros o obt e ni do asi gnand o a cad
a par ej a f orm ada p or u n e le me nt o de U
y ot ro de V, e l me nor de su s g rados de pe r te ne nc i a al c onj
unt o A y a l B re spe ct i v ame nt e �:
A xB = { (x, y) | �Ax B(x, y) = min( �A (x) , �B(y) ) , x U ,
y V }
V. 2 .3 R e l a c io n es b or ro sa s. - Bi nari a R (U,V ) c uando e n l
a re la ci �n s �lo int e rv i ene n e le me nt os de do s
uni ve rs os: R( U, V) = { ( x, y) | �R(x, y) , x U , y V }
- Do m i ni o de una re lac i �n borr osa bi na ri a R ( U, V) e s el c
onjunt o borros o dom R(U, V) que asi gna a c ada
el em ent o de l co njunt o ori ge n U el m�x i mo grado de re lac i� n c on
c ualqui e ra de los el em ent os de l c onj unt o
im age n V .
- Ran go de una r el aci �n bor ros a bi nar i a R (U ,V) e s el c onj unt
o borr oso r a n R ( U, V) que a si gna a cad a
el eme nt o de l conj unt o im agen V el m�x i mo gr ado de r el aci �n c on
c ual quie r a de los e le men tos de l conj unt o
ori ge n U .
- Re la c i � n b i n a ri a c o mp u e st a : R ( U, W) =P( U, V) o
Q( V,W ) ( C o mp o s i ci � n d e re l ac i o n e s,� pr oduc to ma tri c ial
max -mi n)
(-R e lac i �n u nari a com pue st a)
mu y
hi p er
V.5 Reglas b�sicas de inferencia.
V.3 Diferencias entre la l�gica borrosa y la l�gica tradicional.
Ra zo n am i en t o ca t eg� r i co: l a s pr emi s as no con t ie nen
cua nt i f i ca d or es b or r os os (p .e. : la
reg la d el Mo du s Po n ens Gene ra liza do ) .
1) En bi v ale nt e, s�l o [0 ,1] . En po li v ale nt e de luk asi e
wi cz , grado s de v er dad en e l i nt e rv alo [0, 1], en
borr osa adem �s de v ari os v alor es de v e rdad, v ari o s gr ados de
pe rt e ne nc ia .
Ra zo n am i en t o d is p os i ci on a l : un a o m� s p re mis a s p ued en
co nten er imp licita �
expl i ci t a men t e el cu an t i f i cad o r bo r ro so �n o rma lmen te� .
2) En l�g ic a c l �si ca, pr e dic ados c o n cr et o s ( mo r t a l, p
a r, m a yo r .. .) En b o rro sa , p u e d en se r co n c re t o s o
borr osos (bar at o, jov e n, alt o, c ansa do, i nt el i gen te , pr� xi
mo ... )
Ra zo n am i en t o s i l og � st i co : l as p r emi sa s co n t i enen
cua l qu i er c ua nt i f i ca do r b or r os o.
3) la poli v ale nt e (bi val ent e c omo part i c ular ) adm it e s �lo
e l c uant i fic ador u n i v er sa l y e l e xi s t en c i a l. E n
Ra zo n am ie nt o cu al i t a ti vo : el p ro blema s e mo dela co n un con
ju nto d e relacio nes bor r os as
del tipo � Si con d icion es E NT ON CES acc io n es� , emplea d o en a
plica cio nes de co ntr o l.
borr osa, se admi t e n ade m�s bo rros os (muc hos, po cos , algun os, la
may or �a. .. )
4) A dif e renc i a de la de pre dic ados de 1 er. or de n, la l
�g.borr osa admi t e gran var ie dad d e m odi fic adore s
de pre di c ados (no, muy , m as o me nos , c asi . .. ). C o n � st o s se
p u e d e h a c e r q u e u n c o mp u t ado r r eal i ce
c�l c ulos c on v ar ia bl e s l i ng�� st i c as.
6 R egla s b �s ica s d e infer en cia en r a zo n amien to c ateg �r ico , qu e
p ermiten o bten er
con clu sio nes a pa rtir d e u n co nju nto d e p re mis a s (a u nq ue es
tas con clu sio ne s no so n
pr ecis as sin o a p ro xima da s) , y q u e con s ti t u yen po r t an t o
la b as e d el Ra z on a mi en t o
Ap ro x ima do :
5 ) Ap r op i ad a p a ra la re p re se n t a ci � n d e l co n o c i mi
en t o h u m an o . (P a ra m o d el ar e xp r esi o n e s de l le n g u a
je
nat ura l, donde l a v ague dad es m �s des ea bl e que l a pr ec i si �n )
6) Mec ani s mo d e i nfe re nc i a, ex pr es ando las pre mi s as y las
c onc lus i ones e n f or ma can� ni ca.
7) Un pr oble ma t odav � a no re sue lt o c on una te or �a gene ra l
e n l og.bor ros a (pe ro e n e l qu e e x i st e n
1 ) Pr in ci pi o de h er en ci a: �s i e l c onj unt o bor roso A, que e
st � asoc i ado a un pre di c ado, e s un
subc onj unt o de l c onj unt o borr oso B , c ualq ui er el em ent o de l
u ni ve rs o que te nga l a pro pi edad
pre se nt ada por e l c onj unt o A t ambi � n he re da la propi e dad pre
se nt ada por el c onj unt o B�
propu es t as co ncr et as ) e s l a ap roxi m aci �n l i ng�� s ti c a (c �mo
e nc ont rar un a e x pre si �n l i ng�� st i c a
cuy o si gni f i ca do s ea el de l c onj unt o bor ros o obt e ni do d e un r
azona mi en to pr ev i o.
A ( x)
A B
B (x ) x U, A U, B U
8) Inc luy e com o ca so par t ic ul ar l a l�gi c a bi val en t e,
la pol i val en te , l a t e or� a de p robabi li dad es y l a
l�gi c a probabi l� st i c a. (Se pued e hablar de l grad o de v e rdad
de una se nt en ci a o l a pr ob.de s er V .)
V.4 Sentencias borrosas. Mi smo as pec t o si nt �c t i co que la l� gi ca
de p re di cad os. No se pue de
cons t rui r un si st e ma axi om �t i co, po rque no se pue de de f i ni r
� se nt en ci a v� li da� (t aut ol og� a).
Si mbolog �a:
2 ) R e g la d e l a i nt e rse c ci � n : �s i un el em en to de l
uni ve rs o t i e ne l as propi e dade s re pre se nt adas por
los c onj unt os bor ros os A y B (def i ni dos s obre el mi sm o uni
v er so), t am bi �n t i e ne l a pro pi edad
re pre se nt ada por la i nt e rse c ci � n d e a m bo s c o n j u n t o s �
- Pa ra las c onec t i v as b� si ca s, los m i smos . (Conj unci �n , d i sy
unci �n , c ondi c i onal ).
- Pa ra los modi f i c adore s (hast a ahor a s �lo ��� ), se us ar� el
adv . cor re spond i ent e (p. e: muy ).
- Se us ar� �� pa ra i n di car e l grado de v er dad de una se nt en ci
a, c on v al ore s ent r e 0 y 1 .
A ( x)
B (x )
( AnB) (x ) x U, A U, B U
V. 4 .1 In terp reta ci �n d e s en te nci a s s i mp l es .
- Si gni f i cado de un pre di cado m on�di co: co njunt o borr oso f or
mado por t odas las re lac i one s sem �nt i ca s
(f unc i �n de pe rt e nenc i a) d el pr edi c ado co rre spo ndi en te con
los e le me nt os de l uni ve rs o.
3 ) Re gla de l prod uc to car te si an o: �s i dos e le me nt os de di
st i nt os uni v er sos t i e ne n las pr opi ed ades
- In te rp re tac i �n ve rda der a de u na se nt en ci a si m ple ( g ra d o
d e p e rt en e n ci a d e l ele me nt o x al co nj u n t o
bo rros o A ): I( A(x) ) = �A (x) = �
re pre se nt adas por los c onj unt os bor ros os A y B, l a p are ja f
orm ada por e ll os t i ene e l gr ado de
re lac i �n que le c or re spond e en el pr oduc t o c ar te si a no de a
mbos con junt o s�
- S ig ni fi c ado de un pre di c ado n-ar io: re lac i �n borr osa for
mada por to das l as r e lac i one s se m� nt i cas
(f unc i �n de per t ene nc i a) de l pre di cado c orr es pondi en te con
las t upl as f or madas por los e le me nt os de lo s
di st i nt os uni v er sos .
A ( x)
B (y )
( AxB )(x ,y ) x U, A U, y V, B V
- In te rp re tac i �n de se nt e nc ias s im pl es c on pre di ca dos di�
dic os : I (R (x ,y) ) = �R( x, y) = �
[ si e ndo �Ax B(x ,y) = min( �A (x ) , �B(y) ) ]
V. 4 .2 In terp reta ci �n d e s en te nci a s co mp u es ta s.
4 ) Re gla de l a pr oye cc i �n: �de una pare ja de e le me nt os que
cum pla una r el ac i �n borr osa se pue de
- R egl a de d i sy unci �n : I (A(x ) B( y)) = ma x( �A( x) , �B
(y) ) ; x U , y V
co ncl ui r que e l p ri me r el em ent o t i ene l a p ropi e dad r epr e se
nt ada p or e l domi ni o de la re l aci �n�
-C onju nci �n dos c asos s eg�n e l pape l s i nt �c ti c o de los pr edi
c ados :
a) Am bos pr edi c ados i ndepe ndi e nt es , o dep endi e nt es y la i
nfu enc i a de uno sobre ot r o e s po si t iv a (p. e .:
R (x ,y )
d om R ( x) x U, y V, R Ux V
jo ve n y s alu dable ): I (A(x ) B( y)) = mi n( �A( x) , �B(y) ) ;
x U , y V
b) Am bos p re di cad os en con t radi c ci �n (p.e . : j ove n y vi e
jo ), c oi nc i de c on l a di s yun ci �n.
- R egl as del c ondi c i onal (se g�n aut ore s ):
5 ) Re gla de l a co mpo si ci �n: � de un e le me nt o que c umpl a
una p ropi e dad, re pre se nt ada por un
co njun t o borr oso A, y qu e es t � rel ac i onado con ot ro el em ent o
de un uni ve rs o d if e re nt e se pue de
co ncl ui r que � st e se gundo e le me nt o ti e ne l a propi e dad re pr
es ent ad a p or la c ompos i ci �n de la
re lac i �n unari a A y de l a r el aci �n bi nari a R �
- I (A(x ) B (y) ) = max ( mi n ( �A( x) , �B( y)), 1 -�A(x )); x
U , y V (Z a deh )
- I(A ( x) B ( y)) = m in ( �A( x) , �B( y) ) ; x U , y V
( Man d an i)
- I (A(x ) B (y) ) = �A( x) � �B (y) ; x U , y V (L a
rs en )
- Int e rp re ta ci �n de la se nt e nc ia c ondi c io nal ampl i ada (s i ..
.. e n t o n ce s. .. . , si n o ... .) :
A ( x)
R (x ,y )
( A o R )( y) x U, y V, A U, R Ux V
I( ( A(x) B( y)) (� A ( x) C (z) ) ) = max ( I( A(x ) B (y) ), I (� A
(x ) C (z) ) ) =
= m ax ( mi n( �A (x ), �B( y)) , min( 1-�A( x), �C(z) ) ); x U
, y V , z V
6 ) Modu s Pon en do P one ns G en er ali za do (MP G):
- S( A B) = A B ; A U, B U - S(A B ) = A n B ; A
U, B U
- S( A B) = A x B ; A U, B V - S(A B) = A x B ; A
U, B V
- S( ( A B) (� C ) ) = ( A x B ) (� x C) ; A U, B V,
C V
A ( x)
B (x ) C( y)
( A o ( B x C ))( y) x U, y V, A U, B U, C V
Todas es t as re gl as, f or mul adas s obre pre di ca dos mo n�di co s, s
on e xt e nsi ble s a pre di c ados d i �di cos y
com bin aci one s de am bo s. p. e : I (A(x ) R (y, z )) = mi n( �A
(x ), �R( y,z )) ; x U, y V, z W
- Una c ara ct e r� st i c a i mpor t ant e de l MP G que no pos
ee el MP de l a l�gi c a bi v ale nt e , e s q ue e l
a n t e ce d e n t e B( x ) n o t i en e p o r q u � c o i n ci d ir c o n
la p re mi sa A (x ) .
V. 4 .3 Mo dif icad ores ling � �st icos . V .Nov ak pr opuso:
Nega ci �n NEG( �( x)) = 1 - �(x)
- Se pue de c onsi de ra r c omo un cas o p art i c ular de l a r
egl a d e c ompos i ci �n, s i en do R = B x C la
re lac i �n borro sa gene ra da por e l co ndi ci on al en el un iv e rs o
Ux V .
Conc ent r aci �n C ON ( �( x) ) = �2( x) (R educ e e l grado de pe rt e ne
nci a: �mu y� )
Di la t a c i � n DIL ( �( x) ) = 2 �( x) - �2( x) ( a l re v �s ( lo a mp
li a ) : � m� s o men o s�)