Algebra Do Bool

1
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 a1 a
(P3)
Profesor Leopoldo Silva Bijit
19-01-2010
2 P.4 Conmutatividad. Si a y b pertenecen a B:
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:
19-01-2010
Apndice 1. Algebra de Boole
1 0 a
0 1 a
Es decir, las igualdades anteriores no son postulados.
A1.3 Sobre las demostraciones de Teoremas.

Cada paso en las demostraciones consiste en la aplicacin de P.2, regla de sustitucin, en conjuncin con otros postulados o teoremas ya demostrados. Se agrega a cada lnea, como comentario, el postulado usado. Ejemplo A1.1. Teorema. Complemento de 1. Se desea demostrar que: 1 = 0 Se tienen: a 1=a 0 1=0 (i) 1 0 = 0 Y tambin: a+0=a (ii) 1 + 0 = 1
; P3 Elemento nico 1. ; P2 Sustitucin de a por 0. ; P4 Conmutacin del producto.
; P3 Elemento nico 0. ; P2 Sustitucin de a por 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)
19-01-2010
4 Demostracin: Si el complemento nico de a es (a). Por P7, debe cumplirse:
Sistemas Digitales
a ' (a ') ' 1 a ' (a ') ' 0

Por P.7 se tiene para el complemento de a:
(A1.2)
a a' 1 a a' 0
Aplicando P4, en (A1.3), se tienen:
(A1.3)
a' a 1 a' a
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
a) Como no est definida la substraccin, en la siguiente proposicin, no pueden cancelarse AB y AB.
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)'
e) El complemento del producto no es igual al complemento de los operandos A'B'
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.
19-01-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
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
a a
(T8)
19-01-2010
6 T.9 Unin con el Universo e Interseccin con el vaco.
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)
Demostracin de la primera proposicin: a + ab = a + ab ;P2 = ( a + a ) ( a + b ) ;P6 = 1 ( a +b ) ;P7 = ( a +b ) ;P3 T.12 De Morgan
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:
19-01-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
;P2 ;P6 ;P4, P7 y P5 ;T9 ;P3
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 19-01-2010
8 a 0 0 1 1 T.13 Consenso. b a b (ab) a+b 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0
Sistemas Digitales
ab a c bc ab a c (a b)( a c)(b c) (a b)( a

bc es el trmino de consenso entre ab y a'c. Demostracin de la primera proposicin: ab + ac = ab + ac = (ab + abc) + ( ac + acb) = ab + ac + abc + acb = ab + ac + abc + abc = ab + ac + (a + a)(bc) = ab + ac + (1)(bc) = ab + ac + bc T.14 Fusin.
(T13)
c)
;P2 ;T10 ;P4 ;P4 ;P6 ;P7 ;P3
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 (a
ac b)( a
(a c)
c)( a ac
b) ab
(T15)
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
Apndice 1. Algebra de Boole = ab + ca+cb = ab + ac + bc = ab + ac ;P3 ;P4 ;T13
Los teoremas ms frecuentemente empleados son: T.8, T.9, T.10, y T.12.
A1.6. Diagramas de Venn

Si consideramos que el lgebra de conjuntos es un lgebra de Boole, en la que los conjuntos corresponden a los elementos, la interseccin al AND, y la unin al OR; entonces las proposiciones del lgebra de Boole se pueden representar por diagramas de conjuntos. En los diagramas de Venn los conjuntos se muestran como reas. El '1' es el conjunto universal, y el '0' es el conjunto vaco. Los diagramas de Venn, permiten visualizar los postulados y teoremas. La Figura A1.1. ilustra las operaciones de suma y producto lgico.
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
Figura A1.2. Conjunto Universal y Vaco
19-01-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.
A1.7. Implicacin material o condicional.

La expresin: p q, se lee: Si p entonces q. (If p then q).
Con p el antecedente y q el consecuente, se tiene:
19-01-2010
Apndice 1. Algebra de Boole p 1 0 0 1 q 1 0 1 0 p 1 1 1 0 q
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.
19-01-2010
12
p
Sistemas Digitales
Figura A1.7a. Implicacin. 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
r 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 falsa.
q es
19-01-2010
13
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. 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.
A1.8. Deduccin natural. Formas de razonamiento.

Una regla de inferencia transforma una sentencia vlida en otra sentencia vlida. Si puede derivarse la conclusin de un argumento a partir de sus premisas, empleando una secuencia de reglas de inferencia vlidas, entonces el argumento es vlido. Se denomina mtodo de deduccin natural al empleo de un conjunto de reglas de inferencia vlidas para derivar la conclusin a partir de las premisas. Tambin se denomina clculo proposicional.
19-01-2010
14
Sistemas Digitales
Este mtodo es una alternativa a la validacin mediante tablas de verdad y permite profundizar en la estructura lgica de los argumentos, pero a costa de un mayor razonamiento. Las tablas de verdad tienen la ventaja de ser procedimientos mecnicos, pero su tamao crece muy rpidamente cuando aumentan las variables. Se tienen reglas de implicacin y de reemplazo. 1.8.1. Reglas de inferencia. Las siguientes reglas de inferencia o tautologas condicionales se emplean para efectuar deducciones. Modus ponens. Modus ponendo ponens, del latn: Modo que afirmando afirma. En esta forma de razonar debe demostrarse que (p (p q) ) q es una tautologa. Si p implica q, y p es verdadero, entonces q tambin debe ser verdadero. Ejemplo: Hago mucho deporte. Si hago mucho deporte, entonces estoy cansado. Por lo tanto: estoy cansado. Modus tollens. 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. q) (q r) (p r) es una
19-01-2010
15
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 1.8.2. Reglas de reemplazo. 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.
16
Sistemas Digitales 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
Lo cual deduce Z, a partir de las premisas. 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
P P / A 1 Implicacin material 2, 3 Silogismo Disjuntivo
Probar validez de Modus Ponens A => B A B Prueba: 1. A => B 2. A 3. A+B 4. B
P P / B 1 Implicacin material 2, 3 Silogismo Disjuntivo
19-01-2010
Apndice 1. Algebra de Boole 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 9. s=>q 7 y 8 Transitividad 10. s+q 9 Implicacin material 11. q+s 10 Conmutacin.
17
A1.9. Listas de implicaciones. Sorite.

Charles Lutwidge Dodgson (1832-1898), conocido por su seudnimo Lewis Carroll, dise numerosos puzzles para entrenar a las personas en el razonamiento sistemtico. Su mayor inters fue aumentar el entendimiento de las personas, tratando de que esto fuera un juego. En un determinado tipo de problemas, enumera una lista de implicaciones, deliberadamente absurdas, de tal modo que el lector no sea influenciado por sus opiniones preconcebidas. La tarea propuesta es usar todas las implicaciones para llegar a una conclusin indiscutible. Ejemplo A1.8 Todos los bebs son ilgicos. Nadie es detestado si puede manejar un cocodrilo. Las personas ilgicas son detestadas. El primer paso en la solucin es reconocer el conjunto universo. En el puzzle propuesto, el universo son todas las personas. El segundo paso es definir variables: B: esta persona es un beb. L: esta persona es lgica. M: esta persona puede manejar un cocodrilo. D: esta persona es detestada. Las premisas, pueden escribirse:
18 Si una persona es un beb, entonces es una persona no lgica. Si una persona puede manejar un cocodrilo, entonces no es detestada. Si una persona no es lgica, entonces es detestada. Las premisas pueden ser simbolizadas por: B => L M => D L => D.
Sistemas Digitales
Nuestro objetivo es emplear razonamiento transitivo todas las veces que sea necesario, usando todos los elementos de las premisas, formando una cadena de implicaciones. Ntese que si M=> D, tambin se cumple la contrapropuesta: D => M. Entonces, se logra la cadena, aplicando transitividad de la implicacin: B=> L => D => M 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. 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.
19-01-2010
19
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. La A y la E se denominan universales; la I y O se denominan particulares.
A
E
P S
S P
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.
19-01-2010
20 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.
Sistemas Digitales
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.
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
S S M P M P
Figura A1.11. Silogismo AAA.
19-01-2010
21
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
Figura A1.12. Posicin del trmino medio 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
19-01-2010
22 Silogismo AII-3 Todos los M son P. Algn M es S. Algn S es P.

P M S
Sistemas Digitales
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.
A
S P S
I
P S
E
P
O
S
Todos los S son P
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.
19-01-2010
Apndice 1. Algebra de Boole EIO-3 Ningn M es P. Algn M es S. Algn S no es P
23
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. 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
24
Sistemas Digitales
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.
DISAMIS, IAI-3 Algn M es P. Todos los M son S. Algn S es P.
DATISI, AII-3 Todos los M son P. Algn M es S. Algn S es P.
BOCARDO, OAO-3 Algn M no es P. Todos los M son S. Algn S no es P.
FERISON, EIO-3 Ningn M es P. Algn M es S. Algn S no es P.
CAMENES, AEE-4 Todos los P son M. Ningn M es S. Ningn S es P.
DIMARIS, IAI-4 Algn P es M. Todos los M son S. Algn S es P.
FRESISON, EIO-4 Ningn P es M. Algn M es S. 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.
S M P
Figura A1.20. Silogismo Condicional EAO-4 Este silogismo es vlido si se conoce la premisa adicional: M existe. 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.
19-01-2010
25
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.
19-01-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.
Problema A1.2 Con f(a, b, c, d) = a + ( a b c)(b + ( c d))
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.
19-01-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.
19-01-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.
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
P P / d+c 1 Exportacin 3 Conmutacin 2, 4 Silogismo Hipottico 5 Implicacin material
19-01-2010
30 Problema A1.7 Validar: (a b) + (c => d), (a b), d 1. 2. 3. 4. 5. (a b) + (c => d) (a b) d c => d c c
Sistemas Digitales
P P P / c 1, 2, Silogismo disjuntivo 3, 4, Modus Tollens
Ejercicios propuestos.
Ejercicio A1.1 a) Minimizar las siguientes funciones, aplicando postulados y teoremas:
f1 f2 f3
A B A C AB A C
A C AC
A D B E AC BC
A A B B (C D E )
b) Minimizar. Complementar y minimizar. Obtener la funcin dual y minimizar:
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
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
19-01-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. .................................................................................12 A1.7.2. Teoremas relativos a implicaciones. ................................................................................12 A1.7.3. Condiciones suficientes y necesarias. ..............................................................................13 A1.7.4. Razonamiento Deductivo. ................................................................................................13 A1.8. DEDUCCIN NATURAL. FORMAS DE RAZONAMIENTO. .............................................................13 1.8.1. Reglas de inferencia. ..........................................................................................................14
Modus ponens. ......................................................................................................................................... 14 Modus tollens........................................................................................................................................... 14 Transitividad. Silogismo hipottico. ........................................................................................................ 14 Inferencia de la alternativa. Silogismo disyuntivo. .................................................................................. 14 Simplificacin. ......................................................................................................................................... 15 Conjuncin............................................................................................................................................... 15 Adicin. ................................................................................................................................................... 15 Dilema constructivo. ................................................................................................................................ 15
19-01-2010
33
1.8.2. Reglas de reemplazo. ......................................................................................................... 15

Ejemplo A1.5........................................................................................................................................... 15 Ejemplo A1.6........................................................................................................................................... 16 Ejemplo A1.7........................................................................................................................................... 17
A1.9. LISTAS DE IMPLICACIONES. SORITE. ........................................................................................ 17

Ejemplo A1.8........................................................................................................................................... 17
A1.10 SILOGISMO. ............................................................................................................................ 18 Trminos mayor y menor. ............................................................................................................ 18 Formas categricas. .................................................................................................................... 19 Ejemplo A1.9 ............................................................................................................................... 19 Ejemplo A1.10 ............................................................................................................................. 20 Disposicin o tipos de silogismos. ............................................................................................... 20
Silogismo AAA-1 .................................................................................................................................... 21 Silogismo EAE-1 ..................................................................................................................................... 21 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
19-01-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.7a. Implicacin. ......................................................................................................... 12 Figura A1.7b. Implicacin. ......................................................................................................... 12 Figura A1.8. Formas universales. ............................................................................................... 19 Figura A1.9. Ningn z es x. ........................................................................................................ 19 Figura A1.10. Algn z es y. ........................................................................................................ 20 Figura A1.11. Silogismo AAA. .................................................................................................. 20 Figura A1.12. Posicin del trmino medio ................................................................................. 21 Figura A1.13. Silogismo AAA-1................................................................................................ 21 Figura A1.14. Silogismo EAE-1................................................................................................. 21 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. ............................ 22 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
19-01-2010

Algebra Do Bool

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Algebra Do Bool

Загружено:

Авторское право:

Доступные форматы

1

Profesor Leopoldo Silva Bijit

2 P.4 Conmutatividad. Si a y b pertenecen a B:

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole

Es decir, las igualdades anteriores no son postulados.

A1.3 Sobre las demostraciones de Teoremas.

; P3 Elemento nico 1. ; P2 Sustitucin de a por 0. ; P4 Conmutacin del producto.

; P3 Elemento nico 0. ; P2 Sustitucin de a por 1.

Profesor Leopoldo Silva Bijit

4 Demostracin: Si el complemento nico de a es (a). Por P7, debe cumplirse:

a ' (a ') ' 1 a ' (a ') ' 0

a) Como no est definida la substraccin, en la siguiente proposicin, no pueden cancelarse AB y AB.

e) El complemento del producto no es igual al complemento de los operandos A'B'

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole

Profesor Leopoldo Silva Bijit

6 T.9 Unin con el Universo e Interseccin con el vaco.

Demostracin de la primera proposicin: a + ab = a + ab ;P2 = ( a + a ) ( a + b ) ;P6 = 1 ( a +b ) ;P7 = ( a +b ) ;P3 T.12 De Morgan

Profesor Leopoldo Silva Bijit

;P2 ;P6 ;P4, P7 y P5 ;T9 ;P3

8 a 0 0 1 1 T.13 Consenso. b a b (ab) a+b 0 1 1 1 1 1 1 0 1 1 0 0 1 1 1 1 0 0 0 0

ab a c bc ab a c (a b)( a c)(b c) (a b)( a

;P2 ;T10 ;P4 ;P4 ;P6 ;P7 ;P3

Apndice 1. Algebra de Boole = ab + ca+cb = ab + ac + bc = ab + ac ;P3 ;P4 ;T13

Los teoremas ms frecuentemente empleados son: T.8, T.9, T.10, y T.12.

A1.6. Diagramas de Venn

Figura A1.2. Conjunto Universal y Vaco

Profesor Leopoldo Silva Bijit

A1.7. Implicacin material o condicional.

Con p el antecedente y q el consecuente, se tiene:

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole p 1 0 0 1 q 1 0 1 0 p 1 1 1 0 q

Profesor Leopoldo Silva Bijit

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole

A1.8. Deduccin natural. Formas de razonamiento.

Profesor Leopoldo Silva Bijit

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole

P P / A 1 Implicacin material 2, 3 Silogismo Disjuntivo

Probar validez de Modus Ponens A => B A B Prueba: 1. A => B 2. A 3. A+B 4. B

P P / B 1 Implicacin material 2, 3 Silogismo Disjuntivo

Profesor Leopoldo Silva Bijit

A1.9. Listas de implicaciones. Sorite.

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole

Figura A1.9. Ningn z es x.

Profesor Leopoldo Silva Bijit

Figura A1.11. Silogismo AAA.

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole

Figura A1.14. Silogismo EAE-1

Profesor Leopoldo Silva Bijit

22 Silogismo AII-3 Todos los M son P. Algn M es S. Algn S es P.

Todos los S son P

Profesor Leopoldo Silva Bijit

Apndice 1. Algebra de Boole EIO-3 Ningn M es P. Algn M es S. Algn S no es P

DISAMIS, IAI-3 Algn M es P. Todos los M son S. Algn S es P.

DATISI, AII-3 Todos los M son P. Algn M es S. Algn S es P.

BOCARDO, OAO-3 Algn M no es P. Todos los M son S. Algn S no es P.

FERISON, EIO-3 Ningn M es P. Algn M es S. Algn S no es P.

CAMENES, AEE-4 Todos los P son M. Ningn M es S. Ningn S es P.

DIMARIS, IAI-4 Algn P es M. Todos los M son S. Algn S es P.