Demostrar que para todos los elementos a, b, c de un lgebra de Boole se verifican los siguientes teoremas: Idempotencia: Elemento unidad:

Absorcin : Asociatividad: Complemento nico: Involucin: En cualquier lgebra booleana: Leyes de Morgan Relacin de orden: Sobre conjuntos: a+a=a a+1=1 a + (a . b) = a a + (b + c) = (a + b) + c ; ; ; ; a.a=a a.0=0 a . (a + b) = a a . (b . c) = (a . b) . c

El elemento a' asociado al a es nico (a')' = a 0' = 1 (a + b)' = a' . b' si a b a' + b = 1 ; ; ; 1' = 0 (a . b)' = a' + b' si a b a' . b = 0

Cada lgebra booleana que pueda formarse es isomorfa al lgebra de conjuntos.

De las siguientes sentencias o frases, cuales representan proposiciones? a) 3 es un nmero primo b) cuando se aade 5 a 7, la suma es 14 c) Existen seres vivos en Venus d) Esta sentencia que Vd est leyendo es falsa e) Es primo el nmero ll?

SOLUCIN:

Las frases a), b) y c) SI son proposiciones porque son sentencias declarativas libres de ambigedad. Estn expresadas en modo gramatical indicativo. Las frases d) y e) NO son proposiciones. La primera de ellas porque es una paradoja y est sujeta a ambigedad ; la segunda porque no est expresada en modo gramatical indicativo.

Sea p cierta, q falsa y r una proposicin que puede ser cierta o falsa, que se puede decir de las siguientes proposiciones? p.p' ; p+r ; (p.q + r)(p + r)

SOLUCIN:

Para la primera proposicin tenemos que es siempre falsa, puesto que la conjuncin de dos proposiciones es cierta slo cuando sean ciertas ambas, y no puede ocurrir que p y p' sean ciertas al mismo tiempo. La segunda proposicin es cierta en todo caso, puesto que para ser cierta la disyuncin de dos proposiciones slo es necesario que sea cierta una de ellas y en esta ocasin p lo es. La tercera proposicin la resolvemos calculando su tabla de verdad : p q r 1 0 0 1 0 1 p.q 0 0 p+r 1 1 p.q + r 0 1 (p.q+r)(p+r) 0 1