Lgica Matemtica Capitulo I: Introduccin.

albert@catworld.net

(pg.1)

I.1 Marco de referencia. Lenguajes naturales y artificiales. Uso y mencin. Metalenguaje.... I.2 Antecedentes histricos de la lgica matemtica. (Aristho,Leibniz,Boole,Russel,...) I.3 Breve resumen del contenido del texto.

Capitulo II: Lgica de proposiciones.

II.1 Introduccin. Frmula sentencial (sentencia) bien formada. II.2 El lenguaje para la lgica de proposiciones.
II.2.1 Sintaxis. Smbolos: -de veracidad: (V, F). -de representacin de var .(p,q,r...). -conjunciones o conectivas (, , , , , ). -de puntuacin ( y ).

1.Reglas de formacin. 1-Una variable proposicional es una sentencia bin formada. 2-Una sentencia bien formada precedida de la negacin es una sentencia bien formada. 3-Dos sentencias bien formadas unidas por una conectiva binaria, constituye una sentencia bien formada. 2.Conectivas. Singulares (, No) y Binarias: -Conjuncin (, y) -Disyuncin inclusiva (,o) -Disyuncin exclusiva (, o... o... pero no ambas) -Condicional (, si ... entonces ...); <antecedente, consecuente, recproca>. -Bicondicional (, ... si y slo si ...). [-Condicional ampliado (conectiva de 3 sentencias) ( si ... entonces ... si no ...)] II.2.2 Semntica. Interpretacin (asignacin de valor a variables proposic.) 1.Tablas de verdad. p q p p q p q p q p q p q V V F V V F V V V F F F V V F F F V V F V V V F F F V F F F V V 2.Equivalencia. () (tablas de verdad iguales). Reflexiva, simtrica y transitiva. Clases de equivalencia 3.Tautologas y contradicciones. Si todos los valores de la tabla de verdad son: 1)VerdaderosTautologa. 2)FalsosContradiccin. 3)AmbosSentencias de tipo indeterminado.

II.3 Validacin de sentencias proposicionales. II.3.1 Validacin mediante tablas de verdad. (Bueno para pocas variables).
II.3.2 Validacin mediante rboles semnticos. II.3.3 Validacin mediante refutacin. (Suposicin de que la sentencia es falsa)

II.4 Leyes de la lgica de proposiciones. Tautologas especialmente tiles:

1)Ley de identidad: (pp, pp). 2)Ley de la doble negacin: (p p). 3)Ley del tercio excluso: (p p siempre ser V). 4)Ley de contradiccin: (p p siempre ser F). 5)Leyes de Morgan: (p q) (p q) ; (p q) (p q). 6)Ley de reduccin al absurdo: [p (q q)] p. 7)Leyes de conmutacin: (p q) (q p) ; (p q) (q p) ; (p q ) (q p) 8)Leyes de asociacin: [(pq)r][p(qr)] ; [(pq)r][p(qr)] ; [(pq )r][p(qr)] 9)Leyes de transposicin: (p q) (q p) ; (p q) (q p) 10)Leyes distributivas: [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)Ley de permutacin: [ p ( q r ) ] [ q ( p r ) ] 12)Ley del silogismo: ( p q ) [ ( q r ) ( p r ) ] ??? 13)Silogismo hipottico o transitividad: [(p q)(q r)] (p r) ; [(pq)(qr)] (pr) 14)Leyes de inferencia de la alternativa o de los silogismos disyuntivos: [ p ( p q ) ] q ; [ p ( p q ) ] q 15)Ley del dilema constructivo: [ ( p q ) ( p r ) ( q r ) ] q 16)Segunda ley del dilema constructivo: [ ( ( p q ) ( r s ) ) ( p r ) ] ( q s ) 17)Ley del dilema destructivo: [ ( p q ) ( r p ) ( s q ) ] ( r s ) 18)Ley de exportacin: [ ( p q ) r ] [ p ( q r ) ] 19)Ley de resolucin: [ ( p q ) ( p r ) ] ( q r ) 20)Ley del bicondicional: ( p q ) [ ( p q ) ( q p ) ]

Lgica Matemtica

albert@catworld.net

(pg.2)

21)Condicional-disyuncin: ( p q ) ( p q ) 22)Condicional-conjuncin: ( p q ) ( p q ) 23)Leyes de simplificacin: ( p q ) p ; p ( p q ) 24)Leyes de expansin: ( p q ) [ p ( p q ) ] ; ( p q ) [ q ( p q ) ] 24)Modus ponendo ponens: [ ( p q ) p ] q 26)Modus tollendo tollens: [ ( p q ) q ] p

II.5 Sistema axiomtico del clculo de proposiciones.

II.5.1 Alfabeto y reglas de formacin del clculo axiomtico PM. (Principia Mathematica) Slo dos conectivas ( y v), resto definidas a partir de estas: -Condicional: p q p q -Conjuncin: p q ( p q) -Bicondicional: p q ((p q) (q p)) -Disyuncin exclusiva: p q (pq). En resumen, alfabeto del sist.PM: -Smbolos primitivos ( letras sentenciales [p,q,r,s,p1,q1] conectivas [, ] parntesis ). -Smbolos definidos ( conectivas [, , ,] ) II.5.2 Axiomas y reglas de transformacin. Para el sistema PM se eligen cuatro axiomas: 1) ( p p ) p 2) q ( p q ) 3) ( p q ) ( q p ) 4) ( p q ) [ ( r p ) ( r q ) ] A partir de estos 4 axiomas ms las 2 reglas de transformacin siguientes se puede demostrar cualquier teorema. - Regla de sustitucin (Sust.): el resultado de reemplazar cualquier variable en un teorema por una sentencia bin formada, es un teorema. - Regla de separacin (Sep.) o del modus ponens:si S y (S R) son teoremas, entonces R es un teorema. Relativo a un criterio de validacin, un sistema aximatico debe cumplir las siguientes propiedades: - Debe ser lgico o razonable (todo teorema es una tautologa). - Completo (Toda sentencia bien formada vlida es teorema y debe poder demostrarse con los axiomas) (Toda tautologa es un teorema) - Consistente (No se pueden demostrar como teoremas sentencias bien formadas que no sean tautologas, as, si una sentencia bien formada es un teorema, su negacin no lo es) (todo teorema es una tautologa) - Axiomas y reglas de transformacin deben ser independientes (ninguno de ellos debe ser deribable a partir de los otros) II.5.3 Ejemplos de demostraciones.

II.6 Sistema inferencial del clculo de proposiciones.

Inferencia: Procesos mediante los cuales obtenemos una conclusin a partir de unas premisas de forma que el razonamiento sea vlido. Regla de inferencia: declaracin de las condiciones bajo las cuales se puede hacer una inferencia, as como el resultado de la misma. Inferencia correcta: la que sigue las reglas de S R y de R deducimos que S. Falacia de negar el antecedente: (Inferencia) negar el antecedente de una premisa condicional para concluir con la negacin del consecuente. (De S R y de S deducimos que R) Falacia de afirmar el consecuente: (Inferencia) afirmar el consecuente de una premisa condicional para deducir la afirmacin del antecedente. (De S R y de R deducimos S). Conclusin = Consecuencia lgica de las premisas. II.6.1 Reglas de inferencia. 1) Regla de separacin (Sep.) o del modus ponens o regla de eliminacin del condicional (RE ): si un condicional y su antecedente se toman como premisas, se puede inferir el consecuente como conclusin [Si S y (S R) son verdaderos, implica que R tambin lo es]. 2) Regla de unin (Un.) o de la introduccin de la conjuncin (RI ): si dos sentencias se toman como premisas, se puede inferir su conjuncin como conclusin (Si S y R son verdaderos, implica que S R tambin lo es). 3) Regla de insercin (Ins.): Cualquier ejemplo de tautologa como los enumerados en II.4 puede servir de premisa en cualquier inferencia proposicional. 4) Regla de intercambio (Int.): Si se da un bicondicional como premisa, se puede inferir como conclusin el resultado de intercalar sus componentes en cualquier otra premisa Normas del proceso de inferencia: 1) Simbolizar enunciados y conectivas procurando uniformar el lenguaje. 2) Indicar en lneas separadas, las premisas precedidas de la letra P (P1, P2, ...) 3) Derivar la conclusin a partir de las premisas. Cada frmula se escribe en una lnea aparte, indicando a la derecha de la misma la inferencia y/o tautologa que permite deducirla. 4) Indicar la conclusin precedida de la letra C. un sistema inferencial es completo si para cualquier conjunto de premisas, el sistema infiere toda conclusin que pueda deducirse de las premisas. un sistema inferencial es consistente si para cualquier conjunto de premisas, toda conclusin que infiera el sistema tambin se deduce de las premisas.

Lgica Matemtica

albert@catworld.net

(pg.3)

II.6.2 El principio de resolucin para la lgica de proposiciones. Clusula: disyuncin de literales (variables prop. solas o negadas). Sentencia en forma clausulada: conjuncin de clusulas. Procedimiento para poner en forma clausulada cualquier sentencia bien formada: 1) Eliminar condicionales y bicondicionales. 2) Aplicar leyes de Morgan (para que las negaciones slo afecten a variables proposicionales). 3) Pasar a formas clausuladas aplicando sucesivamente la ley distributiva para la disyuncin. * Simplificacin: -) Si hay dos o ms clusulas idnticas slo tendremos que escribir una de ellas. -) Si aparece una clusula de la forma p p (es una tautologa), se puede eliminar. -) Si en una clusula aparece el mismo literal varias veces solo hay que escribirlo una. La clusula vaca () corresponde a una clusula que no tiene literales y es siempre falsa. La clusula unitaria es una clusula con un nico literal. 1.Regla de resolucin. Se aplica a dos premisas en forma de clusulas (generatrices), que contienen una variable proposicional sin negar en una y negada en la otra. La resolucin consiste en construir otra clusula (resolvente) formada por la disyuncin de todas las variables proposicionales de las generatrices menos la comn (que aparece negada en una y sin negar en otra). Propiedad importante: Cualquier resolvente de dos clusulas P1 y P2 es una consecuencia lgica de P1 y P2. 2.Refutacin. Consiste en deducir a partir de S (conjunto de premisas ms la negacin de la conclusin -que queremos demostrar-), es decir comprobar que las premisas junto a la negacin de la conclusin es una contradiccin.

II.7 Ejemplos de aplicaciones de la lgica de proposiciones.

Ejercicios.

10: 8 Reglas de Gentzen (reglas de inferencia basadas en teoremas del sistema axiomtico PM) 17: negacin conjugada (NOR,)eq. (p q); negacin alternativa (NAND,|) eq. (pq)

Capitulo III: Lgica de predicados de primer orden.

III.1 Introduccin. III.2 El lenguaje de la lgica de predicados.
III.2.1 Predicados, frmulas atmicas y sentencias. Predicado: formalizacin de una propiedad o de una relacin. Predicados mondicos (para expresar propiedades, con un slo argumento). Frmula atmica: Predicado seguido por sus argumentos, tambin ser una sentencia. Sentencia cerrada: Cuando todas las variables que intervienen en las frmulas atmicas que la componen estn cuantificadas. III.2.2 Cuantificadores. -Universal [, para todo...]. -Existencial [, existe un... tal que...] Conversiones (equivalencias): (x)P(x) (x)(P(x)) ; (x)P(x) (x) (P(x)). Descripcin de los cuatro modelos bsicos de enunciados de la lgica clsica: 1) Enunciado Universalmente Afirmativo (A): (x) P(x) [Todos los x son P] 2) Enunciado Universalmente Negativo (E): (x) P(x) [Ningn x es P] 3) Enunciado Particularmente Afirmativo (I): (x) P(x) [Algn x es P] 4) Enunciado Particularmente Negativo (O): (x) P(x) [Algn x no es P] III.2.3 Funciones. Unitaria, binaria, ternaria, n-aria (segn nmero de argumentos) III.2.4 Smbolos. Idem que de proposiciones, ms: -funciones(f,g,h...) -predicados(P,Q,R...) - y III.2.5 Semntica. Universo del discurso: Conjunto en el que toman valores las variables. Diferencias entre la semntica de la lgica de predicados y la de proposiciones: 1) La interpretacin en lgica de proposiciones se aplicaba al conjunto de variables proposicionales. En lg.de predicados se debe extender a todos los elementos del universo del discurso. 2) Extensin del dominio de una funcin al conjunto de sentencias teniendo en cuenta los cuantificadores [F((x)(A(x))=F(A(a)) F(A(b)) ...] ; [F((x)(A(x))=F(A(a)) F(A(b)) ...] donde {a,b,...} es el universo del discurso. 3) la relacin de equivalencia en el conjunto de sentencias se define de manera anloga que en lgica de proposiciones, pero el nmero de clases de equivalencia, si el universo del discurso es infinito es tambin infinito. III.3 Sistema axiomtico en la lgica de predicados. Mismos axiomas que en el sistema PM (II.5.2), ms otros dos propios de la lgica de predicados: 5) Ley de especificacin: (x)(P(x)) P(a) 6) Ley de introduccin del generalizador: (x)(p P(x)) (p (x)(P(x))) Reglas de transformacin: mismas que en sistema PM, de sustitucin y de separacin (modus ponens)

III.4 Leyes en lgica de predicados.

1)Ley de interdefinicin de los cuantificadores. 2)Leyes aristotlicas de oposicin. 3)Ley de identidad. 4)Ley de contradiccin. 5)Ley del tercio excluso. 6)Ley de distribucin del cuantificador universal por la conjuncin. 7)Ley de distribucin del cuantificador universal por el condicional.

Lgica Matemtica

albert@catworld.net

(pg.4)

8)Ley de distribucin del cuantificador universal por el bicondicional. 9)Ley de contraccin del cuantificador universal por la disyuncin. 10)Ley de distribucin del cuantificador particular por la conjuncin. 11)Ley de distribucin del cuantificador particular por la disyuncin. 12)Ley de contraccin del cuantificador particular por el condicional. 13)Ley de transitividad del condicional o ley del modo clsico del silogismo Brbara. 14)Ley del modo clsico del silogismo Celarent. 15)Ley del modo clsico del silogismo Darii. 16)Ley del modo clsico del silogismo Ferio. 17)Ley del Modus Ponendo Ponens. 18)Ley del Modus Tollendo Tollens. 19)Ley de inferencia de la alternativa. [(x) (P(x) Q(x)) P(a)] Q(a) 20)Ley de especificacin. 21)Ley de particularizacin. 22)Ley de reduccin al absurdo. III.5 Sistema inferencial del clculo de predicados. No existe un procedimiento general que permita determinar la validez de cualquier sentencia en lgica de predicados. (El clculo de predicados es indecidible).Existe un procedimiento que permite determinar si una sentencia es vlida ya que termina. Si no es vlida, no alcanza el fin. Por ello el clculo de predicados es semidecidible. III.5.1 Reglas de inferencia. Sistema inferencial es una extensin del de la lgica proposicional. 1)Regla de la Eliminacin del Cuantificador Universal (RE ) (x)f(x) --> f(a) 2)Regla de Introduccin del Cuantificador Universal (RI ) f(a) --> (x)f(x) 3)Regla de Eliminacin del Cuantificador Particular (RE ) (x)f(x) --> f(a) 4)Regla de Introduccin del Cuantificador Particular (RI ) f(a) --> (x)f(x)

III.6 Sistema de resolucin.

III.6.1 Forma clausulada de la lgica de predicados. (Forma normal de Skolen) cuando: 1) Todas las variables estn universalmente cuantificadas (entonces se usa el convenio de escribir los cuantificadores universales al principio, y no volver a escribir los ) (sentencias cerradas). 2) La sentencia est compuesta de una disyuncin de literales (negados o no), llamados clusulas. [L1 v L2 v...v Ln] estructuradas como conjunciones, quedando as: (L11 v L12 v...)(L21 v L22...)... en la que cada clusula (Li1 v Li2 v...) tiene sus propias variables. Procedimiento para pasar cualquier sentencia de lgica de predicados a forma clausulada (para poder aplicar la regla de resolucin): 1) Eliminar conectivas diferentes a y (principalmente y ). (Como en lgica proposicional) 2) Introduccin de negaciones (leyes de Morgan) adems de las ya vistas (con y ): (x)(S) (x)(S) ; (x)(S) (x)(S) 3) Independizacin de las variables cuantificadas (aplicando la regla de sustitucin) para que cada cuantificador tenga se refiera a su propia variable. 4) Eliminacin de cuantificadores existenciales. 1) El cuantificador no est dentro del alcance de ningun cuantificador universal: se introduce una constante (valor arbitrario) en lugar de la variable cuantificada (constantes de Skolem). 2) Dentro del alcance de un cuantificador universal, se sustituye por una funcin (funcin de Skolem), que debe ser un smbolo que no coincida con ninguno que figure ya en la sentencia. Ejemplo: (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)) 5) Eliminacin de cuantificadores universales. (Ahora slo existen c.univ. y cada uno afecta a una var. diferente, por lo que se aplica lo del convenio de no escribirlos). 6) Agrupamiento de conjunciones y disyunciones. (Mediante propiedad distributiva) 7) Cambio de nombre de las variables. (Para que cada clusula tenga las suyas propias). Con las sentencias en forma clausulada se opera igual que en la lgica de proposiciones. (Generatrices) III.6.2 Sustitucin y unificacin. Sustitucin: conjunto de pares ordenados. ej.{b/x,g(z)/y...} -Operacin de sustitucin: dado un literal L [ej.: P(a,x,f(y))] y una sustitucin s (cuyos trminos no pueden contener smbolos de constantes ni funciones que ya estn en L), reemplazar todos los lugares de L donde aparezca x1 por s1, y a continuacin el resto de pares ti/xi de s (resultando Ls). -La composicin de sustituciones es asociativa, pero en general no es conmutativa. -s es una sustitucin ms general que s si s se puede obtener de s compuesta con otra sustit. -Dos expresiones son Unificables cuando se pueden hacer idnticas por la aplicacin de alguna sustitucin s (a la que se denomina unificador). - es el unificador mnimo o de mxima generalidad (umg) del conjunto (unificable) de literales {Li}. Propiedades de : 1)Si s es otro unificador de {Li}, existe una sustitucin s tal que s= s 2)Li es nico salvo por variantes alfabticas de los literales. -Forma mnima de un literal: cuando no se le puede aplicar ms sustitucin que la vaca.

Lgica Matemtica

albert@catworld.net

(pg.5)

III.6.3 Expresin general de la regla de resolucin. 1)Se selecciona una pareja de literales en clusulas distintas (una negada y la otra sin negar). 2)Se aplica el algoritmo de unificacin a la pareja de literales seleccionada. 3)Si resultan unificadas, se resuelve y se incluye la resolvente en el conjunto. 4)Se vuelve al paso 1 (hasta que no es posible encontrar clusulas a unificar, o cuando se obtiene la clusula vaca como resolvente) III.6.4 Refutacin. (Aplicacin anloga a lgica proposicional) Debido a la bsqueda exhaustiva, para muchas premisas, clusulas y elementos por clusula, el nmero de comprobaciones puede ser tan elevado que puede ser inaceptable el tiempo necesario para comprobarlo (explosin combinatoria). III.7 Ejemplos de aplicaciones de la lgica de predicados.

Capitulo IV: Otras lgicas.

IV.1 Introduccin. IV.2 Lgicas modales.
Es posible que p (p). Es imposible que p (p). Es necesario que p (p) (p es lgicamente vlida). Implicacin lgica (p q) p=>q Equivalencia lgica (p q) p<=>q

IV.3 Lgica de predicados con identidad.

[ = ] es, es idntico a, es igual a, es lo mismo que, etc. [ ] no es, es distinto de, es diferente de hay por lo menos dos entidades que tienen la propiedad P: (x)(y) ((P(x) P(y)) (xy) hay exactamente una entidad que tiene la propiedad P: (x) P(x) ((P(x) P(y)) (x = y)) Descripciones: expresiones que se inician con el o la. * (x) ((Q(y) (y = x)) P(x)) (El bla es tal y cual) para que sea cierta una expresin de este tipo: - Debe haber por lo menos un bla. -Debe haber a lo sumo un bla.- El bla debe ser tal y cual.

IV.4 Lgica de las clases.

IV.4.1 lgebra booleana de las clases. (Pertenencia, no pertenencia <de un miembro a una clase>) - Inclusin: A B x (x A x B) - Identidad: A= B x (x A x B) - Unin: A B {x | (x A x B)} - Interseccin:A B {x | (x A x B) - Complemento: {x | x A) - Clase vaca: - Clase Universal: U Para que la lgica de clases tenga estructura de lgebra de Boole, debe cumplir las siguientes propiedades: 1)Conjunto cerrado. 2)elemento neutro (para unin , e interseccin U). 3)A=U ; A= 4)conmutativas 5)Asociativas 6)Distributivas. IV.4.2 Verificacin mediante diagramas de Euler.

IV.5 Lgica de las relaciones.

x R y x (relacionante) tiene la relacin R con y (relacionado) -Inclusin: -Identidad: -Unin: -Interseccin: -Complemento: -Relacin recproca o inversa: R {(x,y) | (y R x)} -Composicin: R o S { (x,y) | z (x R z z S y) } R o A { x | y ((x R y) (y A)) } -Dominio: dom R { x | y (x R y) } -Rango: ran R { y | x (x R y) } IV.6 Lgica de predicados de orden superior. Es amplia pero inconsistente. (Hay paradojas). IV.6.1 Teora intensional de los tipos. En vez de considerar a los individuos y a las propiedades formando parte de un slo universo del discurdo, los distribuye en infinitos. El tipo inferior (tipo0) es el de todos los individuos. El tipo 1 es el de las propiedades de los individuos. El tipo 2 el de las propiedades de las propiedades de los individuos... IV.6.2 Teora extensional de los tipos. Similar a la anterior, pero con clases en vez de con propiedades. As quedan Individuos, Clases de individuos, Clases de clases de individuos, etc.

Lgica Matemtica
p 0 0 0 1/2 1/2 1/2 1 1 1 q 0 1/2 1 0 1/2 1 0 1/2 1 p 1 1 1 1/2 1/2 1/2 0 0 0

albert@catworld.net
pq 0 0 0 0 1/2 1/2 0 1/2 1 pq 0 1/2 1 1/2 1/2 1 1 1 1 pq 0 1/2 1 1/2 0 1/2 1 1/2 0 pq 1 1 1 1/2 1 1 0 1/2 1 pq 1 1/2 0 1/2 1 1/2 0 1/2 1

(pg.6)

IV.7 Lgicas polivalentes. Lgica trivalente de Lukasiewicz:

Caractersticas importantes: - No satisfacen la ley del tercio excluso, ni la de contradiccin, ni algunas otras tautologas de la lgica bivalente. Cuasi-tautologa: cuando una frmula nunca toma el valor falso para cualquiera de los valores asignados a sus variables. Cuasi-contradiccin: Idem. cuando nunca toma el valor verdadero. Generalizacin: 1) Considerar n valores lgicos racionales igualmente espaciados dentro del intervalo [0 1], que se pueden interpretar como grados de verdad, (con cierta relacin con el lenguaje de probabilidades):

0=

2) Definir las conectivas bsicas de la siguiente forma: p q = min(p,q) p q = max(p,q) p q = min(1,1+q-p) p = 1-p Segn esto, Lukasiewicz usa la negacin y el condicional como primitivas. Para definir el resto: p q (p q) q p q (p q) ((p q) q) p q (p q) (q p) (( (p q) (q p)) (q p))

0 1 2 n - 2 n -1 , , ,....., , =1 n -1 n -1 n -1 n -1 n -1

p q = 1 - |p-q|

Capitulo V: Lgica borrosa.

V.1 Introduccin. (Tambin llamada Lgica Difusa, de Fuzzy logic).
Origen: Conjuntos borrosos (Fuzzy Sets), de Lofti Zadeh (1965).

V.2 Conjuntos borrosos. Grado de pertenencia. Medida borrosa (grado de evidencia o certidumbre sobre la pertenencia de
un elemento a un conjunto). es la funcin de pertenencia. V.2.1 Conceptos bsicos. Ejemplo: - Universo de las edades: U =edades ={5,10,20,30,40,50,60,70,80} - Conjuntos borrosos: beb= {} joven={ 5|1, 10|1, 20|0.8, 30|0.5, 40|0.2, 50|0.1} adulto= { 20|0.8, 30|1, 40|1, 50|1, 60|1, 70|1, 80|1} viejo={20|0.1, 30|0.2, 40|0.4, 50|0.6, 60|0.8, 70|1, 80|1} Conjunto borroso vaco. Altura del conjunto borroso: mximo valor de pertenencia obtenido. Conjunto borroso Normalizado cuando la altura es 1. Cardinal de un conjunto borroso definido sobre un universo finito: suma de todos los grados de pertenencia:

card(A) = A (x)xU

p.ej.: card(viejo)=0.1+0.2+0.4+0.6+0.8+1+1=4.1 V.2.2 Operaciones tpicas. Un conjunto borroso A es subconjunto de otro conjunto borroso B, definido sobre un mismo universo U si el grado de pertenencia de cada elemento del conjunto A es menor o igual a su grado de pertenencia al conjunto B: AB si A(x) B(x) , x U Igualdad y desigualdad: A=B si A(x) =B(x) , x U si x U , A(x) B(x) AB Complemento de un conjunto borroso A, respecto al universo U, es el conjunto borroso obtenido asignando a cada elemento del universo el complemento respecto a la unidad de su grado de pertenencia: ={ x | (x) = 1-A(x) , x U } Unin de dos conjuntos borrosos, A B, como el conjunto borroso obtenido asignando a cada elemento del universo el mximo valor de su grado de pertenencia a cualquiera de los dos conjuntos: A B = { x | AB(x) = max( A(x) , B(x)) , x U } Interseccin de dos conjuntos borrosos, A B, como el conjunto borroso obtenido asignando a cada elemento del universo el mnimo valor de su grado de pertenencia a cualquiera de los dos conjuntos: A B = { x | AB(x)=min( A(x), B(x)), xU } Sin embargo, ni contradiccin ni tercio excluso, ya que A y A U , por lo que los conjuntos borrosos no forman un lgebra de Boole.

Lgica Matemtica

albert@catworld.net

(pg.7)

Producto cartesiano, AxB, de dos conjuntos borrosos A y B, definidos sobre universos U y V diferentes, como el conjunto borroso obtenido asignando a cada pareja formada por un elemento de U y otro de V, el menor de sus grados de pertenencia al conjunto A y al B respectivamente: AxB = { (x,y) | AxB(x,y) = min( A(x) , B(y)) , x U , y V } V.2.3 Relaciones borrosas. - Binaria R(U,V) cuando en la relacin slo intervienen elementos de dos universos: R(U,V) = { x U , y V } (x,y) | R(x,y) , - Dominio de una relacin borrosa binaria R(U,V) es el conjunto borroso dom R(U,V) que asigna a cada elemento del conjunto origen U el mximo grado de relacin con cualquiera de los elementos del conjunto imagen V. - Rango de una relacin borrosa binaria R(U,V) es el conjunto borroso ran R(U,V) que asigna a cada elemento del conjunto imagen V el mximo grado de relacin con cualquiera de los elementos del conjunto origen U. - Relacin binaria compuesta: R(U,W)=P(U,V) o Q(V,W) (Composicin de relaciones, producto matricial max-min) (-Relacin unaria compuesta)

V.3 Diferencias entre la lgica borrosa y la lgica tradicional.

1) En bivalente, slo [0,1]. En polivalente de lukasiewicz, grados de verdad en el intervalo [0,1], en borrosa adems de varios valores de verdad, varios grados de pertenencia. 2) En lgica clsica, predicados concretos (mortal, par, mayor...) En borrosa, pueden ser concretos o borrosos (barato, joven, alto, cansado, inteligente, prximo...) 3) la polivalente (bivalente como particular) admite slo el cuantificador universal y el existencial. En borrosa, se admiten adems borrosos (muchos, pocos, algunos, la mayora...) 4) A diferencia de la de predicados de 1er. orden, la lg. borrosa admite gran variedad de modificadores de predicados (no, muy, mas o menos, casi...). Con stos se puede hacer que un computador realice clculos con variables lingsticas. 5) Apropiada para la representacin del conocimiento humano. (Para modelar expresiones del lenguaje natural, donde la vaguedad es ms deseable que la precisin) 6) Mecanismo de inferencia, expresando las premisas y las conclusiones en forma cannica. 7) Un problema todava no resuelto con una teora general en log.borrosa (pero en el que existen propuestas concretas) es la aproximacin lingstica (cmo encontrar una expresin lingstica cuyo significado sea el del conjunto borroso obtenido de un razonamiento previo. 8) Incluye como caso particular la lgica bivalente, la polivalente, la teora de probabilidades y la lgica probabilstica. (Se puede hablar del grado de verdad de una sentencia o la probabilidad de ser V.) V.4 Sentencias borrosas. Mismo aspecto sintctico que la lgica de predicados. No se puede construir un sistema axiomtico, porque no se puede definir sentencia vlida (tautologa). Simbologa: - Para las conectivas bsicas, los mismos. (Conjuncin, disyuncin, condicional). - Para los modificadores (hasta ahora slo ), se usar el adv. correspondiente (p.ej: muy). - Se usar para indicar el grado de verdad de una sentencia, con valores entre 0 y 1. V.4.1 Interpretacin de sentencias simples. - Significado de un predicado mondico: conjunto borroso formado por todas las relaciones semnticas (funcin de pertenencia) del predicado correspondiente con los elementos del universo. - Interpretacin verdadera de una sentencia simple (grado de pertenencia del elemento x al conjunto borroso A): I(A(x))=A(x)= - Significado de un predicado n-ario: relacin borrosa formada por todas las relaciones semnticas (funcin de pertenencia) del predicado correspondiente con las tuplas formadas por los elementos de los distintos universos. - Interpretacin de sentencias simples con predicados didicos: I(R(x,y)) = R(x,y) = V.4.2 Interpretacin de sentencias compuestas. - Regla de disyuncin: I(A(x) B(y)) = max( A(x) , B(y)) ; x U , y V - Conjuncin dos casos segn el papel sintctico de los predicados: a) Ambos predicados independientes, o dependientes y la influencia de uno sobre otro es positiva (p.e.: joven y saludable): I(A(x) B(y)) = min( A(x) , B(y)) ; xU, yV b) Ambos predicados en contradiccin (p.e.: joven y viejo), coincide con la disyuncin. - Reglas del condicional (segn autores): - I(A(x)B(y)) = max( min( A(x) , B(y)), 1-A(x)) ; x U , y V (Zadeh) ; x U , y V (Mandani) - I(A(x)B(y)) = min( A(x) , B(y)) ; x U , y V (Larsen) - I(A(x)B(y)) = A(x) B(y) - Interpretacin de la sentencia condicional ampliada (si.... entonces.... , si no....): I( (A(x)B(y)) (A(x)C(z)) ) = max( I( A(x)B(y)), I(A(x)C(z)) ) = = max( min( A(x), B(y)), min( 1-A(x), C(z)) ); x U , y V, z V - S(AB) = A B ; AU, BU - S(AB) = A B ; AU, BU - S(AB) = A x B ; AU, BV - S(AB) = A x B ; AU, BV - S( (AB) (C) ) = (A x B) ( x C) ; AU, BV, CV Todas estas reglas, formuladas sobre predicados mondicos, son extensibles a predicados didicos y combinaciones de ambos,. p.e: I(A(x)R(y,z)) = min( A(x), R(y,z)) ; xU, yV, zW

Lgica Matemtica

albert@catworld.net

(pg.8)

V.4.3 Modificadores lingsticos. V.Novak propuso: Negacin NEG( (x)) = 1 - (x) 2 (Reduce el grado de pertenencia: muy) Concentracin CON( (x)) = (x) 2 Dilatacin DIL( (x)) = 2(x) - (x) (al revs (lo amplia): ms o menos) 2 2 Intensificacin INT( (x)) = 2 (x) si 0 (x) 0.5 ; 1- 2(1-(x)) si (x) > 0.5 (se combina con alguna otra operacin, p.e.con Concentracin sera bastante). - Otros autores coinciden con Novak en NEG y CON, pero: DIL((x)) = (x) Y de esta forma se verifica que CON( DIL( (x)) ) = DIL( CON( (x)) ) = (x) -Reglas de modific. para interpretacin de sentencias simples con los adverbios ms comunes: no: I(A(x)) = NEG( A(x)) = 1 - A(x) 2 muy: I(muy A(x)) = CON( A(x)) = (x) 3 hiper: I(hiper A(x)) = A(x) CON( A(x)) = (x) 2 ms o menos y algo : I(ms o menos A(x)) = I(algo A(x)) = DIL( (x)) = 2(x) - (x) Aproxim. y casi: I(aproximadamente A(x)) = I(casi A(x)) = DIL( DIL( (x)) ) = 4A(x) - 6 A2(x) + 4 A3(x) - A4(x) Bastante: I(bastante A(x)) = INT( CON( A(x)) )

no

casi algo

muy hiper

V.5 Reglas bsicas de inferencia.

Razonamiento categrico: las premisas no contienen cuantificadores borrosos (p.e.: la regla del Modus Ponens Generalizado). Razonamiento disposicional: una o ms premisas pueden contener implicita explicitamente el cuantificador borroso normalmente. Razonamiento silogstico: las premisas contienen cualquier cuantificador borroso. Razonamiento cualitativo: el problema se modela con un conjunto de relaciones borrosas del tipo Si condiciones ENTONCES acciones, empleado en aplicaciones de control. 6 Reglas bsicas de inferencia en razonamiento categrico, que permiten obtener conclusiones a partir de un conjunto de premisas (aunque estas conclusiones no son precisas sino aproximadas), y que constituyen por tanto la base del Razonamiento Aproximado: 1) Principio de herencia: si el conjunto borroso A, que est asociado a un predicado, es un subconjunto del conjunto borroso B, cualquier elemento del universo que tenga la propiedad presentada por el conjunto A tambin hereda la propiedad presentada por el conjunto B A(x) AB B(x) x U, AU, BU 2) Regla de la interseccin: si un elemento del universo tiene las propiedades representadas por los conjuntos borrosos A y B (definidos sobre el mismo universo), tambin tiene la propiedad representada por la interseccin de ambos conjuntos A(x) B(x) (AB)(x) x U, AU, BU 3) Regla del producto cartesiano: si dos elementos de distintos universos tienen las propiedades representadas por los conjuntos borrosos A y B, la pareja formada por ellos tiene el grado de relacin que le corresponde en el producto cartesiano de ambos conjuntos A(x) B(y) (AxB)(x,y) x U, AU, y V, BV [ siendo AxB(x,y) = min( A(x) , B(y)) ]

Lgica Matemtica

albert@catworld.net

(pg.9)

4) Regla de la proyeccin: de una pareja de elementos que cumpla una relacin borrosa se puede concluir que el primer elemento tiene la propiedad representada por el dominio de la relacin R(x,y) dom R (x) x U, y V, RUxV 5) Regla de la composicin: de un elemento que cumpla una propiedad, representada por un conjunto borroso A, y que est relacionado con otro elemento de un universo diferente se puede concluir que ste segundo elemento tiene la propiedad representada por la composicin de la relacin unaria A y de la relacin binaria R A(x) R(x,y) (A o R)(y) x U, y V, AU, RUxV 6) Modus Ponendo Ponens Generalizado (MPG): A(x) B(x) C(y) (A o (B x C))(y) x U, y V, AU, BU, CV - Una caracterstica importante del MPG que no posee el MP de la lgica bivalente, es que el antecedente B(x) no tiene por qu coincidir con la premisa A(x). - Se puede considerar como un caso particular de la regla de composicin, siendo R = B x C la relacin borrosa generada por el condicional en el universo UxV.