Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Boole
Boole
Apndice 1
ALGEBRA DE BOOLE
A1.1 Introduccin
En 1847, George Boole desarrolla el lgebra, que lleva su nombre, como un anlisis matemtico. Su objetivo era describir las operaciones mentales mediante las cuales se realizan razonamientos. En 1938, Shannon emplea el lgebra de Boole en circuitos de conmutacin. Su objetivo era describir la conducta de circuitos digitales mediante un lgebra binaria. El lgebra de Boole es una estructura algebraica consistente de un conjunto B, de dos elementos, y dos operaciones binarias; tales que se cumplen los axiomas de clausura, conmutatividad, asociatividad, distributividad, identidad y complementariedad.
A1.2. Postulados
P.1 Definicin: El lgebra de Boole es un sistema algebraico cerrado que contiene un conjunto B de dos elementos, {0, 1}; y dos operadores { , + }. Los operadores tambin suelen representarse segn: {AND, OR}. La clausura implica que si a y b pertenecen a B, entonces: ab y a+b tambin pertenecen a B. P.2 Igualdad. Dos expresiones son iguales si una puede ser substituida por la otra. P.3 Elementos nicos. Existen elementos nicos (0 y 1) en B tal que para cada a en B se tienen:
a 0 a a 1 a
(P3)
03-04-2010
Sistemas Digitales
a b b a a b b a
P.5 Asociatividad. Si a, b y c pertenecen a B:
(P4)
a (b c) (a b) c a (b c) (a b) c
P.6 Distributividad. Si a, b y c pertenecen a B:
(P5)
a (b c) (a b) (a c) a (b c) (a b) (a c)
(P6)
Ntese que en la distribucin para la suma en el producto, la expresin a la derecha es diferente de la empleada habitualmente para nmeros reales y enteros. P.7 Complementariedad. Si a pertenece a B, existe complemento nico de a que se representa por a y tambin por
a.
a a' 1 a a' 0
(P7)
Al complemento nico de a lo representaremos, para facilitar su escritura segn convenga, como: a', y tambin como: not a. El complemento podra haberse definido como un operador unario de la estructura algebraica. En el lenguaje C se emplea ~a para denotar el complemento; !a para la negacin, el operador and se anota & y el operador or emplea el smbolo |. Observar que, con la formulacin de postulados, se pueden demostrar como teoremas las siguientes proposiciones:
03-04-2010
1 a
0 a
0 1
Por (ii) y (i) se tienen: 1+0=1 1 0=0 El postulado P7 para el complemento de uno es: 1 + 1 = 1 1 1 = 0 Empleando P2 puede sustituirse 0 por 1. Lo cual demuestra que: 1 = 0 En forma similar puede demostrarse que el complemento de cero es uno: 0 = 1. Ejemplo A1.2. Teorema de involucin. (A1.1)
03-04-2010
Sistemas Digitales
(A1.2)
a a' 1 a a' 0
Aplicando P4, en (A1.3), se tienen:
(A1.3)
a' a 1 a' a 0
a. Ejemplo A1.3. Existen algunas diferencias con el lgebra para nmeros enteros y reales.
(A1.4)
Comparando (A1.2) y (A1.4), y empleando P2, se demuestra que puede substituirse (a) por
AB A B AC
AB A B BC
b) Notar que el operador and no suele escribirse entre las letras de las variables. c) Como no est definida la divisin AB = AC no puede reducirse a B = C. d) Expresiones aparentemente diferentes pueden ser idnticas, por ejemplo:
AB
AB
AC
AB
AB
BC
(AB)'
A1.4. Dualidad
Dada una ecuacin lgica, la ecuacin dual se obtiene: reemplazando los operadores: + por y por +; reemplazando las constantes: 1 por 0 y 0 por 1; y dejando las variables sin cambios.
03-04-2010
Principio de dualidad: Si una ecuacin booleana es vlida, tambin lo ser la ecuacin dual. Observaciones: Los postulados 3 al 7 se muestran en parejas de ecuaciones duales. Los teoremas tambin se plantean en parejas de ecuaciones duales. Ntese que una variable no se complementa para formar la expresin dual. Este es un teorema acerca de teoremas. Plantea que cualquier teorema que pueda ser demostrado, tambin podr ser demostrado para la proposicin dual. Esto puede observarse en la demostracin de una proposicin, cambiando cada lnea por su expresin dual, lo que lleva a la demostracin del dual de la proposicin original. Antes de obtener el dual de una expresin, conviene asociar los operandos con los operadores que les corresponden, mediante el uso de parntesis: A B + C debe interpretarse, segn convenios algebraicos tradicionales, como: (A B) + C; en este caso, la expresin dual es: (A + B) C. Si se determina directamente la expresin dual, mediante el procedimiento de cambiar el or por and y viceversa, se obtendra errneamente: A + B C. En el lgebra de Boole los operadores ( , + ) tienen igual jerarqua. Y es necesario emplear parntesis para asociar correctamente los operandos con el operador. En el lenguaje C, el operador !, la negacin lgica, es un operador unario que tiene la ms alta precedencia; luego viene el &, el and; despus el ^, el or exclusivo; despus el |, el or. La precedencia indica que un operador de mayor precedencia toma sus operandos antes que uno de menor precedencia; de esta forma pueden escribirse, generalmente, operaciones lgicas sin emplear parntesis.
A1.5. Teoremas
T.8 Idempotencia.
a a a a a a
Demostracin de la primera proposicin. a = a ;P2 = a+0 ;P3 = a + ( a a ) ;P7 = ( a + a )( a + a ) ;P6 = (a+a)1 ;P7 = a+a ;P3
(T8)
03-04-2010
Sistemas Digitales
a 1 1 a 0 0
Demostracin de la primera proposicin: a +1 = a + 1 ;P2 = a + a + a ;P7 = a + a ;T8 y P5 = 1 ;P7 T.10 Absorcin.
(T9)
a ab a a ( a b) a
Demostracin de la primera proposicin: a + ab = a + ab ; P.2 = a1 + ab ; P.3 = a(1 + b) ; P.6 = a(b + 1) ; P.4 = a1 ; T.9 = a ; P.3 Se absorbe b. T.11 Absorcin del complemento.
(T10)
a ab a b a (a b ) ab
(T11)
a b ab a
ab b
(T12)
Demostracin de la segunda proposicin: Por P7 se tiene que si (ab) es el complemento nico de ab, entonces:
03-04-2010
Apndice 1. Algebra de Boole (ab) + (ab) = 1 (ab) (ab) = 0 Por otro lado tenemos: (ab)(a +b) = ( ab )( a+b ) = aba + abb = 0b + a0 = 0+0 = 0 T12.a
T12.b
Tambin tenemos que: (ab) + (a +b) = (ab) + (a + b) ;P2 = (a' + b') + (ab) ;P4 = ((a +b) + a)((a +b) + b) ;P6 = ((a +a') + b')( a' + (b + b')) ;P4 y P5 = ( 1 +b)(a +1) ;P7 = (1)(1) ;T9 = 1 ;P3
T12.c
Entonces de T12.a, T12.b y T12.c, y empleando P2, se logra: (ab) = (a + b) Generalizacin de De Morgan: f (x1, x2, ..., xn, 0, 1, +, ) = f(x1, x2, ..., xn, 1, 0, , +) Puede emplearse la induccin perfecta para demostrar en forma ms simple las leyes de De Morgan. Basta desarrollar las tablas de verdad. Induccin completa o perfecta. Aristteles, y otros despus de l, emplearon este nombre para designar un razonamiento cuyas premisas enumeran todos los miembros de la clase a la que se refiere su conclusin. La conclusin deriva necesariamente de las premisas, ya que slo expresa lo que en stas se hallaba contenido. Se trata, pues, de una deduccin. Se basa en la enumeracin completa, en la que se deben contar todos los casos de una clase determinada y enunciar sus resultados en una conclusin general. La conclusin acerca de todos los elementos de una clase se deduce a partir de premisas que se refieren a los casos observados. La induccin perfecta permite obtener informacin fidedigna. Sin embargo, en la solucin de la mayora de los problemas no puede emplearse este tipo de enumeracin ya que no es posible examinar todos los casos a que se refiere una conclusin; esto se hace evidente al aumentar el nmero de variables, ya que el nmero de renglones crece en forma exponencial con el nmero de variables. El empleo de tablas de verdad es un ejemplo de aplicacin de induccin perfecta. Demostracin de la segunda proposicin de T12, mediante tabla de verdad.
Profesor Leopoldo Silva Bijit 03-04-2010
Sistemas Digitales
(T13)
c)
ab ab
a a
(T14)
(a b)(a b )
Demostracin de la primera proposicin: ab + ab = ab + ab ;P2 = a (b + b) ;P6 = a (1) ;P7 = a ;P3 T.15 Factorizacin
ab ac ( a c)(a b) (a b)(a c) ac a b
Demostracin de la primera proposicin: (a + c)(a + b) = (a + c)(a + b) ;P2 = a(a + b) + c(a+b) ;P6 = aa + ab + ca+cb ;P6 = 0 + ab + ca+cb ;P7
Profesor Leopoldo Silva Bijit
(T15)
03-04-2010
A A+B
A AB
Unin (A+B) (A B) Figura A1.1. Unin e Interseccin La Figura A1.2. muestra el conjunto universal y el conjunto vaco.
Interseccin
a a
a1
a+0
03-04-2010
10 Ejemplo A1.4. Visualizacin de teoremas mediante diagramas de Venn. Visualizacin del teorema del consenso. T.13: ab a c bc
Sistemas Digitales
ab a c
La Figura A1.3. ilustra los dos trminos del lado derecho del teorema.
ab
ac
Figura A1.3. Consenso entre partes. La parte izquierda de la Figura A1.4 muestra el trmino de consenso bc. La parte derecha de la Figura A1.4 muestra la suma lgica de ab+ac, en la cual se puede advertir que el trmino bc queda incluido. Una parte de bc est en ab; la otra parte de bc est en ac.
bc
ab + ac
Figura A1.4. Trmino de consenso Se puede decir que bc est incluido en ab+ac; y tambin que bc es un trmino denominado consenso entre ab y ac.
03-04-2010
11
Figura A1.5. Definicin de Implicacin La implicacin es falsa si el consecuente es falso cuando el antecedente es verdadero. Debe notarse que cuando el antecedente es falso el condicional es verdadero; si el antecedente y consecuente son verdaderos, entonces el condicional es verdadero. Se destaca que la implicacin condicional es una expresin que puede ser falsa. Si se considera que 1 es mayor que 0, tambin puede tratarse como p q. La Figura A1.6 desarrolla que: p tienen iguales tablas de verdad. p 1 0 0 1 q equivale lgicamente con (p'+q). Esto debido a que p p+q p q 0 1 1 1 1 1 1 1 1 0 0 0
q 1 0 1 0
Figura A1.6. Implicacin Material Tambin p q es equivalente con la expresin q' p', que se denomina implicacin conjugada. La equivalencia lgica se demuestra en la Figura A1.7, ya que las dos ltimas columnas muestran que tienen iguales tablas de verdad. p 1 0 0 1 q 1 0 1 0 q 0 1 0 1 p q+p q p 0 1 1 1 1 1 1 1 1 0 0 0
Figura A1.7. Implicacin conjugada Ejemplo A1.4a. a) Cuando p representa la proposicin: El interruptor est cerrado, y q representa la aseveracin: la ampolleta est encendida, p q, puede describirse segn: Si el interruptor est cerrado entonces la ampolleta est encendida. Si p entonces q.
03-04-2010
12
Sistemas Digitales
La Figura A1.7a, muestra un sistema fsico, en l cual por consideraciones basadas en redes elctricas se cumple la equivalencia lgica: q=p Se ha colocado q a la izquierda de la igualdad, para mostrar que q depende de p. Con esto se tiene que: p q = p + q ; Implicacin material = p + p ; De acuerdo al sistema, q es equivalente con p. = 1 Es decir la implicacin es verdadera; en este caso se dice que p es un implicante de q. Empleando diagramas de Venn, p ser un implicante de q, si p est contenido en q, o es igual a q. Si se marca la zona p+q, se tendr que sta siempre es verdadera.
q
Figura A1.7aa. Implicante. Por lo anterior se tendr que si p es verdadero y q es falso, tendremos una contradiccin. Sin embargo esto se debe a una modelacin incompleta del diagrama; el cual no contempla que la ampolleta est buena ( r ) y que la batera que alimenta al sistema tenga la suficiente carga ( s ). Considerando estas condiciones adicionales, puede expresarse: q = r s p
p
Figura A1.7a. Implicacin. En la situacin que muestra la Figura A1.7a, no se presenta la combinacin en la que q sea verdadero cuando p es falso. Se dice que sta es una combinacin o condicin superflua. La implicacin conjugada o contrapositiva, se plantea segn: Si no q, entonces no p. Que puede traducirse por: Si la ampolleta no est encendida, entonces: el interruptor no est cerrado b) En el siguiente diagrama puede escribirse: Si r est cerrado y s est cerrado entonces: la ampolleta est encendida. Si (r y s) entonces q
03-04-2010
13
s q
Figura A1.7b. Implicacin. Contrapositiva: Si no q entonces: no r o no s. Si la ampolleta no est encendida, entonces: r no est cerrado o s no est cerrado. A1.7.1. Formas de enunciar implicaciones. La implicacin material puede plantearse de variadas formas: p demuestra o determina o prueba q p produce o establece o justifica q p causa o crea o soporta q p es la evidencia para q Debido a p, concluimos q q es cierta por la razn de p Cuando p, se tiene q q es probado por el hecho de p A1.7.2. Teoremas relativos a implicaciones. 1) p q = p + q 2) p q = (pq ) Si la premisa es verdadera y la conclusin es falsa, la premisa p q es falsa. 3) p q = q p Transposicin. 4) pq = ( p q ) El profesor es justo y el profesor es generoso, es equivalente a: No es cierto que si el profesor es justo esto pruebe que el profesor no es generoso. Si dos hechos son ciertos, uno no puede desaprobar al otro. 5) pq = ( q p ) 6) (pq) (p q) = 1 Si p y q son vlidos se puede usar uno de ellos para probar el otro. 7) (p q) (p q) =1 Si p no desaprueba q entonces p puede usarse para probar q. Si no existe hecho que pueda probar que algo no es, entonces cualquier hecho puede solamente probar que l es. 8) p (qr) = (p q) (p r) Distribucin de implica en el producto. An si un hecho asumido como cierto, prueba que un segundo es verdadero, esto no significa que podemos concluir que el segundo hecho prueba que el primero es verdadero; el segundo puede ser verdadero, aunque no el primero. O el segundo puede ser probado, quiz por un tercero.
03-04-2010
14
Sistemas Digitales
Pero si el primer hecho prueba que el segundo es cierto, entonces esto significa que podemos concluir que si el segundo es falso, entonces el primero tambin ser falso. A1.7.3. Condiciones suficientes y necesarias. Cuando p q es verdadero, para que q sea verdad es condicin suficiente que p sea verdad. Pero no es condicin necesaria, ya que q puede ser verdad, an siendo p falso. Cuando p q es verdadero, para que p sea verdad es necesario que q sea verdad. A1.7.4. Razonamiento Deductivo. La expresin p q tambin puede leerse: q se deduce lgicamente de p. O tambin: La conclusin q se infiere de la hiptesis p. Para que el razonamiento sea vlido la expresin p q, debe ser una tautologa.
Se denomina tautologa a una expresin que es verdadera bajo cualquier interpretacin. Y se denomina contradiccin a una expresin que es falsa bajo cualquiera interpretacin.
03-04-2010
Apndice 1. Algebra de Boole Ejemplo: Hago mucho deporte. Si hago mucho deporte, entonces estoy cansado. Por lo tanto: estoy cansado. Modus tollens.
15
Modus tollendo tollens, del latn: Modo que negando niega. Se llama tambin prueba indirecta. En esta forma de razonar debe demostrarse que (q' (p q) ) p' es una tautologa. Si p implica q, y q es falso, entonces p tambin debe ser falso. Ejemplo: No estoy cansado. Si hago mucho deporte, entonces estoy cansado. Por lo tanto: No hago mucho deporte. Transitividad. Silogismo hipottico. En esta forma de razonar debe demostrarse que (p tautologa. Tambin se denomina silogismo hipottico. Ejemplo: Si estudio mucho entonces aprobar el curso. Si apruebo el curso entonces me sentir feliz. Si estudio mucho entonces me sentir feliz. Inferencia de la alternativa. Silogismo disyuntivo. Debe demostrarse que: (p+q) p q es una tautologa. Si p o q es verdadera, y adems sabemos que p es falsa, entonces se infiere que q es verdadera. Suele denominarse a esta tautologa silogismo disyuntivo. "Una vez eliminado lo imposible, lo que queda, por improbable que parezca, debe ser la verdad" Arthur Conan Doyle. Simplificacin. Si se tiene la premisa pq se infiere p. Conjuncin. Si se tienen las premisas: p, q se infiere pq. Adicin. Si se tiene p puede inferirse p+q. Donde q puede ser cualquier premisa. Dilema constructivo. Dadas las premisas: (p=>q)(r=>s) y p+r, entonces: q+s q) (q r) (p r) es una
03-04-2010
Sistemas Digitales
En el mtodo de deduccin natural pueden emplearse reglas de reemplazo o tautologas bicondicionales. Conmutatividad Asociatividad Distributividad Doble negacin: p=(p) Leyes de De Morgan Idempotencia o Tautologa: p=p+p o p=pp Trasposicin o contrapositiva: p=>q = q=>p Implicacin material: p=>q = p+q Equivalencia material: p q = (p=>q)(q=>p) o alternativamente: p Exportacin: (pq)=> r = p=>(q=>r)
q = (pq)+(pq)
Las reglas de reemplazo pueden emplearse en ambas direcciones y pueden reemplazar parte de una sentencia. Las de inferencia se emplean slo en una direccin, es decir importa el orden de las premisas; y se aplican a sentencias completas. Ntese que la equivalencia lgica puede describirse por el smbolo ; antes al definir los postulados y teoremas empleamos simplemente el signo = para denotar la equivalencia lgica. Ejemplo A1.5 Se tiene el siguiente argumento: a=>Z, a=>b, c+b, c Z. Deducir Z. Solucin. Para efectuar la deduccin, enumeramos las premisas, que se asumen verdaderas: 1. a=>Z P 2. a=>b P 3. c+b P 4. c P/ Z Luego de las premisas se coloca una barra diagonal y luego de sta la conclusin. Para efectuar la deduccin, se aplican las reglas de inferencia, agregando como comentarios las reglas de inferencia o equivalencia que se aplican. 5. 6. 7. b a Z 3 y 4: Silogismo disyuntivo 5 y 2 : Modus Tollens 6 y 1 : Modus Ponens
03-04-2010
17
Como ilustran los siguientes ejemplos, algunas reglas pueden ser deducidas a partir de otras, y podra tenerse un conjunto menor de reglas. Especficamente bastara para efectuar deducciones el disponer solamente de los postulados; sin embargo el conjunto de reglas ha resultado ser til para disminuir el nmero de pasos en las deducciones. Ejemplo A1.6. Probar validez de Modus Tollens A => B B A Prueba: 1. A => B 2. B 3. A+B 4. A
Probar validez del silogismo disyuntivo: 1. (p+q) P 2. p P / q. 3. p => q 1 Implicacin material 4. q 2, 3 Modus ponens Ejemplo A1.7. Deducir la regla Dilema Constructivo. 1. (p=>q)(r=>s) P 2. p+r P / q+s 3. r=>s 1 Simplificacin 4. p=>r 2 Implicacin matrial 5. p=>s 4 y 3 Transitividad. 6. s=>p 5 Transposicin 7. s=>p 6 Doble negacin 8. p=>q 1 Simplificacin
03-04-2010
Sistemas Digitales
03-04-2010
Apndice 1. Algebra de Boole Conclusiones: Tenemos entonces: B=>M: Todos los bebs no pueden manejar un cocodrilo. Tambin: M=> B: Si un persona puede manejar un cocodrilo, entonces no es un beb.
19
Especficamente el tipo de problema anterior es clasificado como sorite. Que puede definirse como una forma de argumentacin en la cual se ordenan una serie de silogismos incompletos de tal modo que el predicado de cada premisa sea el sujeto de la prxima. Finalmente el antecedente de la primera se une al predicado de la ltima formando la conclusin. Los silogismos son incompletos, ya que solamente estn presentes las premisas.
A1.10 Silogismo.
Forma de razonamiento utilizado en lgica por la que del contraste de dos proposiciones o premisas se extrae una conclusin. No se requiere ningn otro trmino o premisa para hacer la consecuencia necesaria. Alternativamente: Razonamiento que consta de tres proposiciones, la ltima de las cuales se deduce necesariamente de las otras dos. Las dos primeras proposiciones se llaman premisas; la tercera se denomina conclusin. Los dos trminos que entran en las premisas y en la conclusin se llaman extremos (mayor y menor), y el que slo entra en las premisas recibe el nombre de medio o eliminando. Trminos mayor y menor. Un silogismo est formado por dos premisas y una conclusin. El sujeto S de la conclusin es el trmino menor del silogismo. El predicado P de la conclusin es el trmino mayor del silogismo. Se llama premisa mayor, a la que contiene el trmino mayor; y se llama premisa menor, a la que contiene el trmino menor. El trmino que est presente en ambas premisas se denomina trmino del medio y se simboliza por M; y no est presente en la conclusin. Se denomina orden estndar: el enunciar primero la premisa mayor, luego la menor y finalmente la conclusin. Formas categricas. Un condicional es una proposicin con la forma: Si p, entonces q. La forma categrica del condicional anterior se plantea: Todos los p son q. El condicional p=>q puede escribirse, en forma categrica: Ningn p es q. Se tienen 4 formas de proposiciones categricas. Se denomina tipo A, a la forma: Todos los S son P. Se denomina tipo E, a la forma: Ningn S es P. Se denomina tipo I, a la forma: Algn S es P. Se denomina tipo O, a la forma: Algn S es no P.
Profesor Leopoldo Silva Bijit 03-04-2010
Sistemas Digitales
E
P S
Figura A1.8. Formas universales. Ejemplo A1.9 Premisa 1 tipo A: Todos los x son y Premisa 2 tipo E: Ningn z es y Conclusin tipo E: Ningn z es x. Se dice que y es eliminando, y que se retienen z y x.
y x z
Figura A1.9. Ningn z es x. Deduccin: 1. x=>y 2. z=>y 3. y=>z 4. x=>z 5. z=>x P P / z=>x 2 Transposicin 1 y 3 Silogismo Hipottico 4 Transposicin.
El silogismo es vlido. Ejemplo A1.10 Premisa 1 tipo A: Todos los x son y Premisa 2 tipo I: Algn z es x Conclusin tipo I: Algn z es y.
03-04-2010
21
y x z
Figura A1.10. Algn z es y. El silogismo es vlido. Disposicin o tipos de silogismos. Se denomina disposicin del silogismo a la secuencia de tres de las letras anteriores (A, E, I, O), y que representan la premisa mayor, menor y conclusin del silogismo. Por ejemplo el siguiente es silogismo AAA. Todos los P son M. Todos los S son M. Todos los S son P. La Figura A1.11 muestra tres diagramas que cumplen las premisas.
M P S
M P S S
M P
Figura A1.11. Silogismo AAA. La posicin del trmino del medio puede estar de cuatro formas diferentes. Se denominan con cifras desde 1 a 4. Premisa Mayor Menor Conclusin Cifra 1 M-P S-M S-P Cif ra 2 PM SM S-P Cif ra 3 MP MS S-P Cif ra 4 PM MS S-P
03-04-2010
22
Sistemas Digitales
Entonces el ejemplo anterior es silogismo AAA-2. Como muestran los diagramas central y derecho de la Figura A1.11, este silogismo es invlido, ya que todos los S no son P. La premisa: Todos los S son P, se muestra en el diagrama a la izquierda de la Figura A1.11. Silogismo AAA-1 Todos los M son P. Todos los S son M. Todos los S son P.
P M S
Figura A1.13. Silogismo AAA-1 Silogismo EAE-1 Ningn M es P. Todos los S son M Ningn S es P.
M S P
Figura A1.14. Silogismo EAE-1 Silogismo AII-3 Todos los M son P. Algn M es S. Algn S es P.
P M S
Figura A1.15. Silogismo AII-3 Silogismo AII-2 Todos los P son M. Algn S es M. Algn S es P.
S M P
M P S
Figura A1.16. Silogismo AII-2 La premisa menor, puede dibujarse de dos formas. La Figura A1.16 izquierda ilustra que el silogismo AII-2 es invlido. Para la determinacin de la validez de los silogismos se emplean diagramas de Venn para mostrar la distribucin de los miembros en las categoras. Son levemente diferentes de los usados en teora de conjuntos, que se han empleado en las ilustraciones anteriores. Si no hay miembros se subraya el rea, si al menos hay un miembro se coloca una x en el rea. La Figura A1.17 muestra los diagramas para las cuatro proposiciones categricas.
03-04-2010
23
I
P S
E
P
O
S
Algn S es P
Ningn S es P
Algn S no es P
Figura A1.17. Diagramas de Venn de distribucin de premisas categricas. Para probar los silogismos se dibujan tres crculos que se intersectan; se representan primero las premisas universales (A, E), luego las particulares (I, O); stas ltimas en zonas que no estn previamente achuradas. EIO-3 Ningn M es P. Algn M es S. Algn S no es P
S x M
Figura A1.18. Ferison Se diagrama primero: Ningn M es P. Luego se coloca la x, correspondiente a la premisa particular I; ntese que la x se coloca en la zona no achurada; ya que sta fue invalidada por la premisa mayor. Si del diagrama resultante puede leerse la conclusin, el silogismo es vlido. Si la conclusin no se encuentra en el diagrama, el silogismo es invlido. EIO-3 es vlido. EOO-2 Ningn P es M. Algn S no es M. Algn S no es P.
S x P
Figura A1.19. EOO-2 Se diagrama primero Ningn P es M. Se ha colocado la x fuera de M y en S, y en la lnea sobre P para indicar que puede estar o no en P. De esta forma si algn S, que no es M, est en P el silogismo (EOO-2) es invlido. Lo cual concluye que EOO-2 es invlido. Como el tipo de premisa puede repetirse: la premisa mayor puede escogerse de cuatro formas, la menor tambin de cuatro formas y la conclusin de cuatro formas, resultan 64 tipos de silogismos. Pero como adems el trmino medio puede ocurrir de cuatro formas, se tienen en total 256 silogismos.
Profesor Leopoldo Silva Bijit 03-04-2010
24
Sistemas Digitales
Pero slo se tienen quince formas vlidas. Existen palabras latinas, en las cuales el orden de aparicin de las vocales indica el tipo de premisa categrica de las premisas mayor, menor y conclusin. Los siguientes son silogismos incondicionalmente vlidos.
BARBARA, AAA-1 Todos los M son P. Todos los S son M. Por lo tanto: Todos los S son P. CELARENT, EAE-1 Ningn M es P. Todos los S son M. Ningn S es P. DARII, AII-1 Todos los M son P. Algn S es M. Algn S es P. FERIO, EIO-1 Ningn M es P. Algn S es M. Algn S no es P.
La primera letra de los modos siguientes indica a cual modo con cifra 1 puede ser reducido. Si luego de una letra de modo aparece s, la reduccin es simple conversin; si es p la conversin es parcial; si es m entre las dos primeras vocales se aplica transposicin. La letra c despus de una de las dos primeras vocales indica que la premisa debe ser reemplazada por su negacin para efectuar la conversin.
CESARE, EAE-2 Ningn P es M. Todos los S son M. Ningn S es P. CAMESTRES, AEE-2 Todos los P son M. Ningn S es M. Ningn S es P. FESTINO, EIO-2 Ningn P ese M. Algn S es M. Algn S no es P. BAROCO, AOO-2 Todos los P son M. Algn S no es M. Algn S no es P.
Los silogismos AAI-1, EAO-1, AEO-2, EAO-4 son condicionalmente vlidos si S existe. Si M existe: son condicionalmente vlidos: EAO-3 y 4. Si P existe es vlido: AII-4. Silogismo EAO-4 Ningn P es M. Todos los M son S. Algn S es no P. Figura A1.20. Silogismo
S M P
Condicional EAO-4
03-04-2010
25
No debe asumirse que algo existe, salvo que tengamos la evidencia. Si existen entidades en M, stas no estarn en P. Entonces los miembros de S que estn en M, no estarn en P. Y el silogismo EAO-4 es vlido. Para algunos modelos geomtricos (el punto, la lnea), y fsicos (masa puntual, componentes de parmetros concentrados) que son ampliamente usados no se tiene evidencia de su existencia fsica.
A1.11 Falacias.
Si se asume que la lgica trata sobre el razonamiento correcto se la puede usar para probar que una argumentacin no es vlida. Una falacia es un argumento que puede parecer vlido, pero que en realidad es falso. Existen innumerables tipos de falacias, tantos como lo errores que el hombre puede cometer. Sin embargo algunas de ellas son tan comunes que se las reconoce con nombres latinos: Argumentum ad Ignorantiam, Argumentum ad Populum, etc. Ejemplo A1.11 "Una mala sesin de clases es mejor que una buena sesin de clases, ya que una mala sesin de clases es mejor que nada, y nada es mejor que una buena clase" Planteando las premisas y la conclusin: Nada es mejor que una buena clase. Una mala clase es mejor que nada. Una mala clase es mejor que una buena clase. Llevando a formas categricas: Ninguna (clase) son (cosas mejores que buenas clases). Todas (las malas clases) son (cosas mejores que no tener ningn tipo de clases). Todas (las malas clases) son (cosas mejores que buenas clases).
Se advierte que se tienen dos trminos medios. Por lo tanto no es un silogismo del tipo EAA-1. Pertenece a las falacias de cuarto trmino.
03-04-2010
26
Sistemas Digitales
Problemas resueltos
Problema A1.1 Demostrar, aplicando postulados y teoremas: ABC +AB'(A'C')' = AB' + AC Solucin: ABC +AB'(A'C')' = ABC +AB'(A'C')' =ABC+AB'(A''+C'') =ABC+AB'(A+C) =ABC+AB'A+AB'C =ABC+AAB'+AB'C =ABC+AB'+AB'C =AB'+ACB+ACB' =AB'+AC(B+B') =AB'+AC(1) =AB'+AC ;P2. Substitucin ;T12 De Morgan ;Involucin ;P6 Distributividad ;P4 Conmutatividad ;T8 Idempotencia ;P4 Conmutatividad ;P6 Distributividad ;P7 Complemento nico ;P3 Elementos nicos.
Expresar, con el mnimo nmero de literales, como suma de productos empleando teoremas. Indicando los teoremas o postulados que emplee en cada paso de su desarrollo. Solucin: Por definicin de or exclusivo: ( c d ) = cd + cd Entonces: (c d) = (cd + cd ) = (cd) (cd) De Morgan = (c+d)(c+d) De Morgan = cc +cd + dc + dd Distributividad = cd + cd por P7 y P3. Resulta entonces: f(a, b, c, d) = a + ( a b c)(b + cd + cd) Por P2. f(a, b, c, d) = a + abcb+ abccd + abccd por Distributividad Se tienen: abcb = abbc por conmutatividad = abc por idempotencia abccd = ab0d por complemento nico = 0 por T9. Luego se aplica P3. abccd = abcd por idempotencia.
03-04-2010
Apndice 1. Algebra de Boole Resulta: f(a, b, c, d) = a + abc + abcd = a + abc(1 + d) por distributividad = a + abc por T9 y P3. f(a, b, c, d) = a + a(bc) = a + bc por T11. Finalmente: f(a, b, c, d) = a + bc con tres literales. Otra solucin: f(a, b, c, d) = a + a b c b + a b c ( c f(a, b, c, d) = a + b c Problema A1.3 d) = a + a bc(1 + ( c d)) = a + a bc
27
Sea un circuito elctrico, que se muestra en la Figura PA1.1, en el cual una fuente de tensin V est conectada a travs de los interruptores C y C2 a una ampolleta L:
V C L
C2
Figura PA1.1. Ampolleta e interruptores. Sea C la proposicin: El interruptor C est cerrado. Sea L la proposicin o declaracin: La ampolleta L est encendida. Ambas proposiciones simples pueden ser verdaderas o falsas, dependiendo de cmo se encuentren en la realidad. La siguiente es una proposicin condicional: Si el interruptor C est cerrado, entonces la ampolleta L estar encendida. Se denomina proposicin condicional ya que sta afirma que un hecho es cierto bajo la condicin de que otro hecho sea verdadero. La proposicin luego del si, se denomina antecedente, la ubicada luego del entonces se llama consecuencia. La declaracin condicional afirma que la consecuencia es verdadera bajo la condicin de que el antecedente sea verdadero; o bien que si el antecedente es cierto entonces la consecuencia tambin debe ser verdadera. La declaracin condicional no afirma que la consecuencia sea necesariamente cierta.
03-04-2010
28
Sistemas Digitales
A esta relacin se la denomina implicacin material, y se la simboliza, con p el antecedente y q la consecuencia, segn: p q, y se lee como p implica q. La flecha indica que la verdad de p es transferida a q. La premisa C L puede ser verdadera o falsa, dependiendo de los valores que tomen C y L. C L C L Si el interruptor C est cerrado debe ser cierto que la ampolleta L est 1 1 1 0 0 1 0 1 0 1 1 0
encendida. Si la ampolleta L est apagada debe ser cierto que el interruptor C est abierto. Si el interruptor C est abierto, y la ampolleta L est encendida debe ser por causa de otro interruptor (C2 cerrado en el diagrama anterior). Cuando el interruptor C est cerrado, y la ampolleta L est apagada la premisa es falsa.
No se puede establecer una implicacin verdadera con un antecedente verdadero y una conclusin falsa. Como se puede plantear una implicacin material entre dos proposiciones simples cualesquiera, la implicacin por s misma puede no reflejar la realidad. Si los leones son carnvoros, entonces las uvas contienen azcar. Problema A1.4 Todos mis hijos son delgados. No hay nio mo sano que no haga ningn ejercicio. Todos los glotones, que son hijos mos, son gordos. Ninguna hija ma hace algn ejercicio. Solucin. El universo es el conjunto de todos mis hijos. Elegir variables y traducir la premisa en trminos de las variables: Variables: Gordo: Este nio mo es gordo. Hombre: Este nio mo es un muchacho. Glotn: Este nio mo es un glotn. Sano: Este nio mo es sano. No_ejercicio: Este nio mo no hace ningn ejercicio. En esta algebra, las variables slo toman dos valores. Se tiene entonces que: (Hombre) significa: Este nio mo es una nia. Hombre=1 es muchacho, Hombre=0 es nia. (No_ejercicio) significa: Este nio mo hace algn ejercicio.
Profesor Leopoldo Silva Bijit 03-04-2010
Apndice 1. Algebra de Boole Las sentencias de la premisa, pueden plantearse: Mis hijos hombres son no gordos. Mis hijos que no hacen ningn ejercicio son no sanos. Mis hijos glotones son gordos. Los que hacen algn ejercicio no son nias. Empleando las variables anteriores: hombre => (gordo) no_ejercicio => (sano) glotn => gordo (no_ejercicio) => hombre Una cadena que emplea todas las proposiciones es: glotn => gordo=>(hombre)=>no_ejercicio=>(sano) Que permite concluir: Todos (mis hijos) glotones no son saludables. Problema A1.5 Deducir la validez del argumento: (a+b) => (cd), b, a => d a 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. (a+b) => (cd) b a => d b+a a+b cd dc d (d) a P P P / a 2 Adicin 4 Conmutacin 1, 5 Modus Ponens 6 Conmutacin 7 Simplificacin 8 Doble negacin 3, 9 Modus Tollens
29
Problema A1.6 Validar: a => (b=>c), d => (ba) 1. 2. 3. 4. 5. 6. a => (b=>c) d => (ba) (ab) => c (ba) => c d => c d+c dc
03-04-2010
Sistemas Digitales
Ejercicios propuestos.
Ejercicio A1.1 a) Minimizar las siguientes funciones, aplicando postulados y teoremas:
f1
f2
A B A C AB A C
A C AC
A D B E AC BC
A A B B (C D E )
f3
f4
f5
A B (C D ( E F G ))
A A B C B D C D
c) Demostrar identidad
( A B) ( A C ) ( B C
D)
( A B) ( A C )
A B A B C C D A B C D A B B C A C ( A B) ( B C ) ( A C )
d) Demostrar 1. Si A=B entonces A B A B 0 2. A B A C B C A B A C 3. A B ( A B) ( A B) e) Minimizar usando teoremas: 1. a'b'c'd' +ab'c'd' + a'b'cd' + ab'cd' 2. a'bc + abc+ bc'd +bc Ejercicio A1.2 Demostrar los siguientes teoremas. 1) p 1 = 1 cualquier cosa prueba que la verdad es verdad. 2) 1 p = p 3) p 0 = p
Profesor Leopoldo Silva Bijit 03-04-2010
31
4) 0 p = 1 5) p p = 1 6) p p = p 7) p ( p p) = 1 8) ( p p) p = 1 9) ( p p) p = 1 10) ( p p) = p 11) p (p p) = 1 12) p q = q p 13) p q no es igual a q p 14) p q = ( p q) ( q p) Dos proposiciones son equivalentes si una prueba la otra, y si la otra prueba a la primera. 15) p (q r) = q (p r) Ejercicio A1.3 Un pudn de ciruelas, que no es realmente slido, es simplemente porridge. Cada pudn de ciruelas, servido en mi mesa, se ha hervido en un pao. Un pudn de ciruelas que es simplemente porridge es indistinguible de la sopa. No hay pudines de ciruelas realmente slidos, excepto los qu se sirven en mi mesa. Verificar si es o no verdadera la sentencia: Ningn pudn de ciruela, que no ha sido hervido en un pao, puede ser distinguido de la sopa. Ejercicio A1.4 Validar los argumentos: a) B=>(C=>D), A=>B, A, C D. b) N => ((B => D) => (N +E)), (B => E) => N, B => D, D => E / c) (L + T) => (B G), L (K R) / L B d) (J + K), B => K, S => B / S J e) (T K) + (C E), K =>E, E=>C / T K Ejercicio A1.5 a) Deducir que los silogismos: AEE-4, IAI-4 y EIO-4 son vlidos. b) Demostrar que los silogismos: AEE-1 y AEE-3 son invlidos.
Referencias.
http://www.lewiscarroll.org/carroll.html. http://philosophy.lander.edu/logic/index.html
03-04-2010
32
Sistemas Digitales
ndice general
APNDICE 1 .................................................................................................................................. 1 ALGEBRA DE BOOLE ................................................................................................................. 1 A1.1 INTRODUCCIN ..................................................................................................................... 1 A1.2. POSTULADOS ....................................................................................................................... 1 P.1 Definicin: ......................................................................................................................... 1 P.2 Igualdad............................................................................................................................. 1 P.3 Elementos nicos. ............................................................................................................... 1 P.4 Conmutatividad. ................................................................................................................. 2 P.5 Asociatividad. .................................................................................................................... 2 P.6 Distributividad. .................................................................................................................. 2 P.7 Complementariedad. .......................................................................................................... 2 A1.3 SOBRE LAS DEMOSTRACIONES DE TEOREMAS. ........................................................................ 3 Ejemplo A1.1. ........................................................................................................................... 3 Ejemplo A1.2. ........................................................................................................................... 3 Ejemplo A1.3. ........................................................................................................................... 4 A1.4. DUALIDAD ........................................................................................................................... 4 A1.5. TEOREMAS........................................................................................................................... 5 T.8 Idempotencia. ..................................................................................................................... 5 T.9 Unin con el Universo e Interseccin con el vaco. .............................................................. 6 T.10 Absorcin. ........................................................................................................................ 6 T.11 Absorcin del complemento. ............................................................................................. 6 T.12 De Morgan ....................................................................................................................... 6
Induccin completa o perfecta. ............................................................................................................ 7
T.13 Consenso. ......................................................................................................................... 8 T.14 Fusin. ............................................................................................................................. 8 T.15 Factorizacin ................................................................................................................... 8 A1.6. DIAGRAMAS DE VENN .......................................................................................................... 9 Ejemplo A1.4. Visualizacin de teoremas mediante diagramas de Venn. .................................. 10 A1.7. IMPLICACIN MATERIAL O CONDICIONAL. ........................................................................... 10 Ejemplo A1.4a. ....................................................................................................................... 11 A1.7.1. Formas de enunciar implicaciones. ............................................................................. 13 A1.7.2. Teoremas relativos a implicaciones. ............................................................................ 13 A1.7.3. Condiciones suficientes y necesarias. .......................................................................... 14 A1.7.4. Razonamiento Deductivo. ........................................................................................... 14 A1.8. DEDUCCIN NATURAL. FORMAS DE RAZONAMIENTO........................................................... 14 1.8.1. Reglas de inferencia. ..................................................................................................... 14
Modus ponens. ................................................................................................................................. 14 Modus tollens. .................................................................................................................................. 15 Transitividad. Silogismo hipottico. .................................................................................................. 15 Inferencia de la alternativa. Silogismo disyuntivo. ............................................................................. 15 Simplificacin. ................................................................................................................................. 15 Conjuncin. ...................................................................................................................................... 15 Adicin. ........................................................................................................................................... 15 Dilema constructivo. ......................................................................................................................... 15
03-04-2010
33
A1.10 SILOGISMO. ...................................................................................................................... 19 Trminos mayor y menor. ....................................................................................................... 19 Formas categricas................................................................................................................ 19 Ejemplo A1.9 ......................................................................................................................... 20 Ejemplo A1.10 ....................................................................................................................... 20 Disposicin o tipos de silogismos. .......................................................................................... 21
Silogismo AAA-1 ............................................................................................................................. 22 Silogismo EAE-1 .............................................................................................................................. 22 Silogismo AII-3 ................................................................................................................................ 22 Silogismo AII-2 ................................................................................................................................ 22 Silogismo EAO-4 ............................................................................................................................. 24
A1.11 FALACIAS. ........................................................................................................................ 25 Ejemplo A1.11 ....................................................................................................................... 25 PROBLEMAS RESUELTOS .............................................................................................................. 26 Problema A1.1 ....................................................................................................................... 26 Problema A1.2 ....................................................................................................................... 26 Problema A1.3 ....................................................................................................................... 27 Problema A1.4 ....................................................................................................................... 28 Problema A1.5 ....................................................................................................................... 29 Problema A1.6 ....................................................................................................................... 29 Problema A1.7 ....................................................................................................................... 30 EJERCICIOS PROPUESTOS. ............................................................................................................ 30 Ejercicio A1.1 ........................................................................................................................ 30 Ejercicio A1.2 ........................................................................................................................ 30 Ejercicio A1.3 ........................................................................................................................ 31 Ejercicio A1.4 ........................................................................................................................ 31 Ejercicio A1.5 ........................................................................................................................ 31 REFERENCIAS. ............................................................................................................................ 31 NDICE GENERAL ......................................................................................................................... 32 NDICE DE FIGURAS ..................................................................................................................... 34
03-04-2010
34
Sistemas Digitales
ndice de Figuras
Figura A1.1. Unin e Interseccin ............................................................................................. 9 Figura A1.2. Conjunto Universal y Vaco.................................................................................. 9 Figura A1.3. Consenso entre partes. ........................................................................................ 10 Figura A1.4. Trmino de consenso .......................................................................................... 10 Figura A1.5. Definicin de Implicacin ................................................................................. 11 Figura A1.6. Implicacin Material ......................................................................................... 11 Figura A1.7. Implicacin conjugada ....................................................................................... 11 Figura A1.7aa. Implicante. ..................................................................................................... 12 Figura A1.7a. Implicacin. ..................................................................................................... 12 Figura A1.7b. Implicacin. .................................................................................................... 13 Figura A1.8. Formas universales. ........................................................................................... 20 Figura A1.9. Ningn z es x. ................................................................................................... 20 Figura A1.10. Algn z es y. ................................................................................................... 21 Figura A1.11. Silogismo AAA. .............................................................................................. 21 Figura A1.12. Posicin del trmino medio.............................................................................. 21 Figura A1.13. Silogismo AAA-1 ............................................................................................ 22 Figura A1.14. Silogismo EAE-1 ............................................................................................. 22 Figura A1.15. Silogismo AII-3 ............................................................................................... 22 Figura A1.16. Silogismo AII-2 ............................................................................................... 22 Figura A1.17. Diagramas de Venn de distribucin de premisas categricas. ........................... 23 Figura A1.18. Ferison ............................................................................................................ 23 Figura A1.19. EOO-2............................................................................................................. 23 Figura A1.20. Silogismo Condicional EAO-4......................................................................... 24 Figura PA1.1. Ampolleta e interruptores. ............................................................................... 27
03-04-2010