Fundamentos de Lgica Matemtica Principia Matemtica Conjuncin (): Condicional (): Bicondicional (): Disyuntiva exclusa (): pq (pq)

(pq) pq pq pq ((pq)(qp)) [(pq)(qp)] pq (pq) Axiomas y reglas de PM 1. 2. 3. 4. (pp)p q(pq) (pq)(qp) (pq)[(rp)(rq)] Sistema inferencial del calculo de proposiciones: SR R__ S Se representa: D((SR)R, S). C es una conclusin lgica de P1, P2...: (P1P2...Pn)C. (D[((SR)R) S]). O bien: (P1P2...PnC) ((SR)RS), es una contradiccin. Sea R la implicacin directa o primitiva: ST. Se llama contraria de R: ST. Recproca de R: TS. Contrarecproca de R: TS. a) La implicacin directa y su contrarrecproca son equivalentes entre s. b) La implicacin contraria y su directa no son equivalentes en general. La negacin de la contraria tampoco es equivalente a la contraria. La negacin de la contraria es equivalente a la directa. c) La implicacin recproca y su directa no son equivalentes. Tampoco la negacin de la directa es equivalente a la recproca. La negacin de la recproca es equivalente a la directa. d) La implicacin contraria de la directa y la recproca de la directa son equivalentes entre s, son mutuamente contrarrecprocas una de otra. TS : S es necesaria para T; T es suficiente para S. TS : T es necesaria y suficiente para S; S es necesaria y suficiente para T. Reglas de inferencia 1. Regla de separacin (Sep.) o del modus ponens. Regla de eliminacin del condicional (RE): SR S___ R 2. Regla de unin (Un.) o de introduccin de la conjuncin (RI ): S R___ SR

Lgica de proposiciones

1/15

Fundamentos de Lgica Matemtica

3. Regla de insercin (Ins.): SR RT ST 4. Regla de intercambio (Int.): SR RT ST Principio de resolucin para la lgica de proposiciones: 1. Eliminar los condicionales y bicondicionales aplicando las definiciones de los mismos. 2. Introducir las negaciones aplicando las leyes de Morgan. 3. Pasar a forma clausulada aplicando la ley distributiva para la disyuncin. 4. Simplificar (Escribir solo una vez clusulas idnticas, eliminar tautologas, escribir solo una vez si aparece el mismo literal varias veces en una clusula). Tabla de verdad para conectivas p V V F F q V F V F p F F V V pq V F F F pq V V V F pq F V V F pq V F V V pq V F F V

Dos nuevas conectivas: (De inters en informtica) NOR () y NAND (|). (pq)(pq); (p|q)(pq). p V V F F q V F V F | | | | | pq V F F V p|q . V V V V Leyes de la lgica de proposiciones 1. Ley de identidad: pp pp 2. Ley de la doble negacin: pp 3. Ley del tercio excluso: pp

Lgica de proposiciones

2/15

Fundamentos de Lgica Matemtica 4. Ley de contradiccin: (pp) 5. Leyes de Morgan: (pq)(pq) (pq)(pq) 6. Leyes de reduccin al absurdo: (p(qq))p 7. Leyes de conmutacin: (pq)(qp) (pq)(qp) (pq)(qp) 8. Leyes de asociacin: ((pq)r)(p(qr)) ((pq)r)(p(qr)) ((pq)r)(p(qr)) 9. Leyes de transposicin: (pq)(qp) (pq)(qp) 10. Leyes distributivas: (p(qr))((pq)(pr)) (p(qr))((pq)(pr)) (p(qr))((pq)(pr)) (p(qr))((pq)(pr)) 11. Leyes de permutacin: (p(qr))(q(pr)) 12. Leyes del silogismo: (pq)((qr)(pr)) 13. Silogismo hipottico o transitividad ((pq)(qr))(pr) ((pq)(qr))(pr) 14. Leyes de inferencia de la alternativa o de los silogismos disyuntivos: [p(pq)]q [p(pq)]q 15. Ley del dilema constructivo: [(pq)(pr)(qr)]r 16. Segunda ley del dilema constructivo: [(pq)(rs)(pr)](qs) 17. Ley del dilema destructivo: [(pq)(rp)(sp)](rs) 18. Ley de exportacin: [(pq)r][(p(qr)] 19. Ley de resolucin: [(pq)(pr)](qr) 20. Ley del bicondicional: (pq)[(pq)(qp)] 21. Condicional-disyuncion: (pq)(pq)

Lgica de proposiciones

3/15

Fundamentos de Lgica Matemtica 22. Condicional-conjuncin: (pq)(pq) 23. Leyes de simplificacin: (pq)p p(pq) 24. Leyes de expansin: (pq)[p(pq)] (pq)[q(pq)] 25. Modus ponendo ponens: [(pq)p]q 26. Modus tollendo tollens: [(pq)q]p Reglas de Gentzen 1. Introduccin de la negacin (RI): S RR S 2. Eliminacin de la negacin (RE): S S 3. Introduccin de la disyuncin (RI): S___ SR 4. Eliminacin de la disyuncin (RE): ST RT____ (SR)T 5. Introduccin de la conjuncin (RI): S R___ SR 6. Eliminacin de la conjuncin (RE): SR SR S R 7. Introduccin del condicional (RI): S R___ SR 8. Modus Ponens o eliminacin del condicional (RE): SR S___ R

Lgica de proposiciones

4/15

Fundamentos de Lgica Matemtica

Eliminacin de la Tautologa: I. (pp)T II. (pp)A III. (pp)T IV. (pp)A V. (pA)A VI. (pT)T VII. (pT)p VIII. (pA)p

IX. X. XI. XII. XIII. XIV. XV. XVI.

(TA)A (AT)A (AA)A (TT)T (TA)T (AT)T (AA)A (TT)T

Lgica de predicados de primer orden: A. B. C. D. E. xPx x(Px) xPx x(Px) Enunciado universal afirmativo: xPx (Todos los x son P). Enunciado universal negativo: x(Px) (Ningn x es P). Enunciado particular afirmativo: xPx (Algn x es P). Enunciado particular negativo: x(Px) (Algn x no es P). Enunciado universal afirmativo: xPx (Todos los x son P). es una extensin de y es una extensin de , para dominios no finitos: xPx PaPbPc...; xPx PaPbPc...; Sistema axiomtico en Lgica de Predicados: 1. 2. 3. 4. 5. 6. PPP Q( PQ) ( PQ)(QP) (PQ)[(RP)(RQ)] Ley de especificacin: xPxPa Ley de introduccin del generalizador: x(pPx)(pxPx) Leyes en lgica de predicados mondicos: 1. Leyes de interdeterminacin de los cuantificadores: xPxx(Px) xPxx(Px) x(Px)xPx x(Px)xPx

Lgica de proposiciones

5/15

Fundamentos de Lgica Matemtica 2. Leyes aristotlicas de oposicin: x(PxQx)x(PxQx) x(PxQx)x(PxQx) x(PxQx)x(PxQx) x(PxQx)x(PxQx) 3. Ley de identidad: x(PxPx) 4. Ley de contradiccin: x((PxPx) 5. Ley del tercio excluso: x(PxPx) 6. Ley de distribucin del cuantificador universal por la conjuncin: x(PxQx)(xPxxQx) 7. Ley de distribucin del cuantificador universal por el condicional: x(PxQx)(xPxxQx) 8. Ley de distribucin del cuantificador universal por el bicondicional: x(PxQx)(xPxxQx) 9. Ley de contraccin del cuantificador universal por la disyuncin: (xPxxQx)x(PxQx) 10. Ley de distribucin del cuantificador particular por la conjuncin: x(PxQx)(xPxxQx) 11. Ley de distribucin del cuantificador particular por la disyuncin: x(PxQx)(xPxxQx) 12. Ley de contraccin del cuantificador particular por el condicional: (xPxxQx)x(PxQx) 13. Ley de transitividad del condicional o ley del modo clsico del silogismo Barbara: (x(QxRx)x(PxQx))x(PxRx) 14. Ley del modo clsico del silogismo Celarent: (x(QxRx)x(PxQx))x(PxRx) 15. Ley del modo clsico del silogismo Darii: (x(QxRx)x(PxQx))x(PxRx) 16. Ley del modo clsico del silogismo Ferio: (x(QxRx)x(PxQx))x(PxRx) 17. Ley Modus Ponendo Ponens: (x(PxQx)Pa)Qa 18. Ley Modus Tollendo Tollens: (x(PxQx)Qa)Pa 19. Ley de inferencia de la alternativa: (x(PxQx)Pa)Qa 20. Ley de especificacin: xPxPa 21. Ley de particularizacin: PaxPx 22. Ley de reduccin al absurdo: x(Px(QxQx))xPx Para predicados polidicos: xy... es xy...; xy... es xy... La contraria de x(PxQx) es: x(PxQx) x(PxQx) Ejemplo: xPxxQx

Lgica de predicados de primer orden

6/15

Fundamentos de Lgica Matemtica Contraria: Reciproca: Negacin: xPxxQx xPxxQx xQxxPx (Equivalente a la contraria) (xPxxQx) introducir : xPxxQx xPxxQx x(PxQx) Pa________ Qa

Sistema inferencial. Ej. Ley 17: Reglas de inferencia:

1) Regla de eliminacin del cuantificador universal (RE): xPx o x1..xnPx1..xn Px Px1..xn 2) Regla de introduccin del cuantificador universal (RI): Px o Px1..xn . xPx x1..xnPx1..xn 3) Regla de eliminacin del cuantificador particular (RE): xPx o x1..xnPx1..xn Pa Pa1..an (a: constante de Skolem.) 4) Regla de introduccin del cuantificador particular (RI): Pa o Pa1..an . xPx x1..xnPx1..xn Forma clausulada de la lgica de predicados 1. Aplicacin de la equivalencia de las implicaciones con la disyuncin y la conjuncin: (SR) (SR) (SR) (SR)(SR) 2. Introduccin de negaciones en las frmulas: (SR) (SR) (SR) (SR) x(Sx) x(Sx) x(Sx) x(Sx) 3. Independencia de las variables cuantificadas: x(PxxQx) x(PxyQy) 4. Eliminacin de los cuantificadores existenciales: El cuantificador existencial no est dentro del alcance de ningn cuantificador universal: x(PxRmx) se sustituye por: PaRma (a a se le llama constante de Skolem) El cuantificador existencial est dentro del alcance de algn cuantificador universal: x(PxyRyx) se sustituye por: x(PxRf(x)x) (f(x) es una funcin de Skolem) 5. Eliminacin de los cuantificadores universales. 6. Agrupamiento de conjunciones y disyunciones: Para llegar a una conjuncin de clausulados se aplica la propiedad distributiva de conjunciones y disyunciones. 7. Cambio de nombre de las variables para que cada clusula tenga las suyas propias. Lgica de predicados de primer orden 7/15

Fundamentos de Lgica Matemtica Los pasos 4 y 5 pueden realizarse gracias a las siguientes reglas de inferencia, que son tautologas: a) b) c) d) e) f) g) h) (rxPx) x(rPx) (rxPx) x(rPx) xPxr) x(Pxr) xPxr) x(Pxr) x(PxQx) (xPxxQx) x(PxQx) (xPxxQx) x(PxQx) (xPxxQx) xPx x(Px) i) j) k) l) m) n) o) xPx x(Px) (rxPx) x(rPx) (rxPx x(rPx) (rxPx x(rPx) (rxPx x(rPx) xPx yPy xPx yPy

Sustitucin y unificacin Con las sentencias en forma clausurada, la forma de operar con la resolucin es la misma que en lgica de proposiciones. El procedimiento de aplicacin de la regla de resolucin ms sencillo es la bsqueda exhaustiva, aplicando la regla de resolucin a todas las parejas posibles y se aaden las resolventes obtenidas a las clusulas restantes y se vuelve a aplicar la regla de resolucin hasta que no se obtengan nuevas resolventes. El proceso de sustitucin y unificacin de manera ms general y precisa ser: Dadas unas variables x1,x2,...,xn y unos trminos t1,t2,..,tn en los que no figuran las variables, llamaremos sustitucin s a un conjunto de pares ordenados s={t1/x1, t2/x2,..,tn/xn} (t/x se lee sustituir x por t) La operacin de sustitucin consiste en, dado un literal L que contiene las variables x1, x2, .., xn, y unas sustitucin s (cuyos trminos no pueden contener smbolos de constantes ni de funcin que ya estn en L), reemplazar en todos los lugares de L donde aparezca x1 por t1, y con el resto de los pares ti/xi de s. El resultado Ls es un caso de sustitucin de L. Ejemplo: L= Paxf(x) s1={b/x, c/y} s2={b/x, g(z)/y} s3={z/x, w/y} Ls1=Pabf( c ) Ls2=Pabf(g(z)) Ls3=Pazf(w) Un caso terminal de L ser aquella que no contiene variables, ya que todas han sido sustituidas por constantes. Existe la sustitucin vaca {}, sobre cualquier expresin la deja invariable. Dadas dos sustituciones, s1 y s2, su composicin, s1s2, es una sustitucin tal que Ls1s2=(Ls1)s2. La composicin de sustituciones es asociativa (s1s2)s3=s1(s2s3) pero no conmutativa s1s2s2s1 No se puede calcular la composicin resultante uniendo simplemente los conjuntos s1 y s2, hemos de aplicar primero s2 a los trminos de s1 y despus aadir los pares de s2 cuyas variables no estn entre los de s1. Una sustitucin s es ms general que otra s si esta se puede obtener de la s por composicin con otra sustitucin.

Lgica de predicados de primer orden

8/15

Fundamentos de Lgica Matemtica Dos expresiones son unificables si se pueden hacer idnticas por la aplicacin de alguna sustitucin s, a la que se denomina unificador. Ls=Ls Un conjunto de literales L={L1,L2,..,Ln}={Li} (i= 1, 2,.., n) es unificable si existe una sustitucin s tal que L1s = L2s = ... = Lns En tal caso se dice que s es un unificador de L = {Li} y que los literales L se unifican en Lis. Ejemplo: {Li}={Paxf(y), Paxf(b)} un unificador sera s={c/x, b/y}, ambos literales se unifican en Pacf(b) Otro unificador diferente, ms general sera = {b/y}, Unificndose en Paxf(b). En este caso se dice que es un unificador mnimo o de mxima generalidad (contiene un nmero mnimo de pares y liga un nmero mnimo de literales). Un unificador mnimo tiene dos propiedades: 1) Si s es otro unificador de {Li} existe una sustitucin s tal que s=s. Lis es un caso de Li. 2) Li es nico salvo por variantes alfabticas de los literales. Expresin general de la regla de resolucin. Se parte de un conjunto de clusulas, en las que las variables libres de cada clusula tienen nombre distinto. La regla de resolucin se aplica a dos premisas en forma de clusulas, que se denominan generatrices. Una contiene una variable (literal) negada que en la otra premisa est sin negar. La resolucin consiste en construir otra clusula (resolvente) formada por las disyunciones de todas las variables de las generatrices menos la comn. La aplicacin se har de la forma siguiente: 1) Se selecciona una pareja de literales en clusulas distintas. 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 a 1. El proceso termina cuando no es posible encontrar clusulas a unificar o cuando se obtiene la clusula vaca como resolvente. Refutacin: Su fundamento es la ley de reduccin al absurdo. Consiste en comprobar que el conjunto de clusulas formado por las correspondientes premisas ms la conclusin negada es una contradiccin. Este hecho demuestra que la conclusin se infiere de las premisas. P1P2...PnC Lgicas modales: Es posible que p: p. Es imposible que p: p Es necesario que p: p (es imposible que no p). Es contingente: (no es necesario, es posible que no, no es imposible que no). (pq) : pq (Implicacin lgica o estricta) (pq) : pq (Equivalencia lgica o estricta)

Otras lgicas

9/15

Fundamentos de Lgica Matemtica Lgica de predicados con identidad: = (se lee: es, es idntico a, es igual a. (se lee: es distinto de, es diferente de. Varios significados diferentes de =. 1) x=yP(PxPy) 2) x=yz(xzyz) (primera forma conjuntista) 3) x=yz(zxzy) (segunda forma conjuntista) 4) y=f(x); (x,y)f, fAxB; AxB: xAyB 5) y=f(x); y=f(x)Pxy 6) x=yRxy R es de equivalencia, R es reflexiva, simtrica y transitiva. xy(RxyRyx) simtrica. xyz((RxyRyz)Rxz) transitividad. xy((RxyRyx)(RxxRyy) reflexividad. 7) x=x; U:xUx xPxP=U xUx=x Conjunto vaco: xxx ((x=x)) 8) Para definir un signo, a la izquierda de = se escribe el nombre, a la derecha el significado. 9) Axioma de la igualdad: i. x(x=x); ii. xy(x=yy=x); iii. xyz((x=yy=z)x=z) Varios sentidos de ser: 1) Ser de identidad, simbolizado por =2) Ser de pertenencia, simbolizado por 3) Ser de inclusin, simbolizado por 4) Ser de los predicados, implcito en el esquema Px El descriptor i se usa x=iyPy (x es el y tal que Py). Lgica de las clases: Algebra booleana de las clases. Algebra Booleana I. II. III. IV. Pertenencia: xA No pertenencia: (xA) xA Definicin de una clase: A {x|A(x)} (Clase de todos los x que verifiquen A(x)). Operaciones sobre Clases: Inclusin: AB x(xAxB) Identidad: A=B x(xAxB) Unin: AB {x | (xAxB)} Interseccin: AB {x | (xAxB)} Complemento: A {x | xA}

Propiedades: 1. Si A y B son clases, entonces A, AB y AB son clases. Algebra Booleana 10/15

Fundamentos de Lgica Matemtica 2. Clase vaca () y referencial (U) son elementos neutros: A = A AU = A 3. AA = U (ley del tercio excluso en lgica de proposiciones) AA = (ley de contradiccin en lgica de proposiciones) 4. Conmutativas: AB = BA AB = BA 5. Asociativas: A(BC) = (AB)C A(BC) = (AB)C 6. Distributivas: A(BC) = (AB)(AC) A(BC) = (AB)(AC) 7. Ley de idempotencia: AA = A 8. Leyes de absorcin: AU = U A = A(AB) = A A(AB) = A Leyes del lgebra booleana paralelos a las de la lgica de proposiciones: 1. Ley de identidad: A=A 2. Ley de la doble negacin: A =A 3. Ley del tercio excluso: AA = U 4. Ley de contradiccin: AA = 5. Leyes de Morgan: AB= AB AB= AB 6. Ley de reduccin al absurdo: (ABB)=A 7. Leyes de conmutacin: (AB)=(BA) (AB)=(BA) (A=B)=(B=A) 8. Leyes de asociacin: ((AB)C)=(A(BC)) ((AB)C)=(A(BC)) ((A=B)=C)=(A=(B=C))

Algebra Booleana

11/15

Fundamentos de Lgica Matemtica 9. Leyes de transposicin: (AB)=(BA) (A=B)=(B=A) 10. Leyes distributivas: A(BC)=(AB)(AC) A(BC)=(AB)(AB) A(BC)=(AB)(AC) A(BC)=(AB)(AC) 11. Leyes de permutacin: (A(BC))=(B(AC)) 12. Ley del silogismo: (AB)((BC)(AC)) 13. Silogismo hipottico o transitividad: [(AB)(BC)](AC) [(A=B)(B=C)](A=C) 14. Ley de inferencia de la alternativa o de los silogismos disyuntivos: (A(AB))B (A(AB))B 15. Ley del dilema constructivo: [(AB)(AC)(BC)]C 16. Segunda ley del dilema constructivo: [((AB)(CD))(AC)](BD) 17. Ley del dilema destructivo: [(AB)(CA)(DB)](CD) 18. Ley de exportacin: [(AB)C]=[A(BC)] 19. Ley de resolucin: [(AB)(AB)](BC) 20. Ley del bicondicional: (A=B)=[(AB)(BA)] 21. Condsicional-disyuncin: (AB)=(AB) 22. Condicional-conjuncin: (AB)= A B 23. Leyes de simplificacin: (AB)A A(AB) 24. Leyes de expansin: (AB)=[A=(AB)] (AB)=[B=(AB)] 25. Modus ponendo ponens: [(AB)A]B 26. Modus tollendo tollens: [(AB)B]A

Algebra Booleana

12/15

Fundamentos de Lgica Matemtica

Diagramas de Euler: pq qr pr

U R
Q P

Lgica de relaciones: Equivalente a la lgica de predicados polidicos, el modelo matemtico es el lgebra de relaciones. La definicin de relaciones va unida a la de par ordenado (conjunto formado por dos elementos en el que se puede distinguir el primero del segundo) y a la de producto cartesiano. xy((x,y)={{x},{x,y}}) xyz(z(x,y)(t(tzt=x)t(tz(t=xt=y)))) xy((x,y)AxB(xAyB)) Relacin binaria: xRy {(x,y) | R(x,y)} Algebra de las relaciones: * Inclusin: RS xy(xRyxSy) * Identidad: R=S xy(xRyxSy) * Unin: RS {(x,y) | (xRyxSy)} * Interseccin: RS {(x,y) | (xRyxSy)} * Complemento:R {(x,y) | (xRy)} * - Relacin recproca o inversa: R {(x,y) | (xRy)} * - Composicin: RoS {(x,y) | z(xRzzSy)} * - Dominio: domR {x | y(xRy)} * - Rango: ranR {y | x(xRy)} As si H1 y H2 son el dominio y el rango de R, respectivamente, (RH1xH2) RoA = {x | xH1y(xRyyH2yA)} AoR = {y | yH2x(xAxH1xRy)} A raz de las cuatro ltimas operaciones (-) propias de las relaciones binarias se aaden otras leyes al lgebra de relaciones: 1. xRyyRx 4. (RS)oA=(RoA)(SoA) 2. (R=S)(R=S) 5. (RS)(domRdomS) 3. (RS)((RoQ)(SoQ)) 6. (AB)((RoA)(RoB))

Lgica de relaciones

13/15

Fundamentos de Lgica Matemtica

Una relacin es de orden, por antonomasia, si cumple las propiedades reflexiva, antisimtrica y transitiva dadas por la sentencia: xyz(Rxx((RxyRyx)x=y)((RxyRyz)Rxz)) (*)Lgica de predicados de orden superior o de segundo orden Propiedades de los predicados de una lgica de segundo orden: 1. R es reflexiva REF(R )xy((RxyRyx)(RxxRyy)) 2. R es simtrica SIM( R)xy(RxyRyx) 3. R es transitiva TRA( R)xyz((RxyRyz)Rxz) 4. P es incompatible o intolerante con Q INT(P,Q)x(PxQx) 5. P incluido en Q INC(P,Q)PQx(PxQx) 6. F es funcin de A en B FUN(F,A,B)x(Ax(y(ByFxy)zt((BzBtFxzFxt)z=t))) 7. G es la inversa de F INV(G,F)xy(GxyFyx) 8. F es funcin biyectiva de A en B BIY(F,A,B)[FUN(F,A,B)G(INV(G,F)FUN(G,B,A))] 9. P es equinumrico con Q EQN(P,Q)F(BIY(F,F,Q)) 10. P es infinito QF(QPINC(Q,P)BIY(F,Q,P)) Otros predicados de segundo orden: a) Implicacin material: IMP(p,q)(pq) b) Se deduce de: D(P,Q) c) P pertenece a o es elemento de Q: (PQ) d) P es verdadero: V(P); P es falso: F(P); (TAUT(P)Q(P(QQ))); P es absurdo (ABS(P)Q(P(QQ))). Decidibilidad, consistencia y completitud: 1. La teora T es indecidible x(xTDxD(x)) 2. La teora T es inconsistente x(xTDxD(x)) (DBDB)D(BB) (DBDB)D(BB) 3. La teora T es incompleta x(xTDx)

P o

es

tautolgico: contradictorio:

Lgicas de predicados de orden superior

14/15

Fundamentos de Lgica Matemtica Lgicas polivalentes Lgica trivalente, 3 valores: 1, 0, . p: 1-p; 1=0; 0=1 y ( ) = 1- = . Las lgicas trivalentes no satisfacen la ley del tercio excluso: pp, ni la ley de contradiccin: (pp), ni otras tautologas de lgica bivalente. p 0 0 0 1 1 1 Definiciones de conectivas ,, y segn Likasiewicz: q | pq | pq | pq | 0 | 0 | 0 | 1 | | 0 | | 1 | 1 | 0 | 1 | 1 | 0 | 0 | | | | | | 1 | 1 | | 1 | 1 | 0 | 0 | 1 | 0 | | | 1 | | 1 | 1 | 1 | 1 | La generalizacin de lgica trivalente: 1. Consideramos n valores lgicos racionales espaciados dentro del intervalo [01] 2 n 2 n 1 0 1 , , ,..., , = 1 0 = n 1 n 1 n 1 n 1 n 1 2. Definimos las conectivas bsicas de la siguiente forma: p = 1-p pq = min(p,q) pq = max(p,q) pq = min(1, 1+q-p) pq = 1-|p-q| pq (pq)q pq (pq) ((pq)q) pq (pq)(qq) (((pq)(pp))(pp)) pq 1 0 1 0 1

Lgicas polivalentes

15/15