Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Teor de Conjuntos. Lgica bsica. a o a Algebras de Boole.

personal.us.es/elisacamol

Elisa Caete Molero n

Curso 2011/12

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Nocin intuitiva de conjunto. o

Un conjunto es la reunin en un todo de objetos bien o denidos y diferenciables entre s que se llaman elementos del , mismo. Un conjunto lo podemos denir por extensin, encerrando o todos sus elementos entre llaves, por ejemplo, A = {2, 4, 6, 8}, o por comprensin, es decir, caracterizando o los elementos que forman dicho conjunto, por ejemplo, A = {nmeros pares y positivos menores que 9}. u

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Propiedades y Deniciones.
Si a es un elemento del conjunto A se denota con la relacin de o pertenencia a A. En caso contrario, si a no es un elemento de A se denota a A. / Ejemplos: , el conjunto vac que carece de elementos. o, N, el conjunto de los nmeros naturales. u Z, el conjunto de los nmeros enteros. u Q, el conjunto de los nmeros racionales. u R, el conjunto de los nmeros reales. u C, el conjunto de los nmeros complejos. u

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Propiedades y Deniciones.

Al nmero de elementos de un conjunto se le denomina u cardinal del conjunto A y se denota por | A | . El cardinal del conjunto es el cero. Se dice que dos conjuntos A y B son iguales (o idnticos) si e constan exactamente de los mismos elementos, en cuyo caso escribiremos A = B. Ejemplos:
A = {2, 4, 6, 8}, B = {2, 8, 4, 6} y C = {2, 2, 4, 4, 6, 8}. A = B = C.

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Propiedades y Deniciones.

Se dice que un conjunto A es un subconjunto de B y se escribe A B si todo elemento de A es de B. Esta relacin entre o conjuntos se llama relacin de inclusin. Si A B no excluye la o o posibilidad de que B A. A B y B A si y slo si A = B. o

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Operaciones entre conjuntos.

Unin. o Dados dos conjuntos A y B, se dene la unin de A y B, y o se denota por A B, al conjunto de todos los elementos que pertenecen a A o a B. Interseccin. o Dados dos conjuntos A y B, se dene la interseccin de A y o B, y se denota por A B, al conjunto de todos los elementos que pertenecen a A y a B.

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Operaciones entre conjuntos.

Propiedades de la unin. o

Propiedad asociativa: (A B) C = A (B C) Propiedad conmutativa: AB =BA Propiedad idempotente: AA=A Elemento nmo y elemento universal: Para cualquier conjunto A se verica que A = A. Si todos los conjuntos considerados son partes de un conjunto U, se tiene que A U = U.
Elisa Caete Molero n Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Operaciones entre conjuntos.

Propiedades de la interseccin. o

Propiedad asociativa: (A B) C = A (B C) Propiedad conmutativa: AB =BA Propiedad idempotente: AA=A Elemento nmo y elemento universal: Para cualquier conjunto A se verica que A = A. Si todos los conjuntos considerados son partes de un conjunto U, se tiene que A U = A.
Elisa Caete Molero n Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Operaciones entre conjuntos.

Notas.

Si A B = se dice que A y B son conjuntos disjuntos. Sea A1 , A2 , . . . , An una coleccin nita de conjuntos, se o dene la unin de todos los conjuntos y se representa por o
n

Ai = A1 An , como el conjunto de todos los

i=1

elementos que pertenecen por lo menos a uno de los conjuntos Ai . Sea A1 , A2 , . . . , An una coleccin nita de conjuntos, se o dene la interseccin de todos los conjuntos y se representa o
n

por
i=1

Ai = A1 An , como el conjunto de todos los

elementos que pertenecen a cada uno de los conjuntos Ai .

Elisa Caete Molero n Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Operaciones entre conjuntos.

Notas.

Ambas operaciones entre conjuntos verican las siguientes propiedades:

Ley de simplicacin: o (A B) A = A (A B) A = A Propiedad distributiva: A (B C) = (A B) (A C) A (B C) = (A B) (A C)

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Propiedades. Operaciones entre conjuntos.

Operaciones entre conjuntos.

Conjunto Complementario.

Si A X, se llama complementario de A con respecto a X, al conjunto de todos los elementos de X que no pertenecen a A, y se denota por A. Propiedades: El complementario verica las siguientes propiedades:
= X y X = . A = A. A B = A B. A B = A B. Si A B, entonces B A. A A = X y A A = .

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Lgica proposicional. o Tablas de Verdad

Lgica bsica. o a
Lenguaje formal.

Una proposicin simple es una armacin simple a la que se le o o pueda asignar un valor de verdad (V) o falsedad (F). Ejemplos: x + 3 es un entero positivoNO ES UNA PROPOSICION. 15 es un nmero enteroS ES UNA PROPOSICION y tiene u I el valor V. 15 es un nmero parS ES UNA PROPOSICION y tiene el u I valor F. Las proposiciones las representamos con las letras p, q, r, etc... Asignamos p a la siguiente proposicin hoy es lunes, por q la o proposicin el cielo est despejado por r hoy hay luna llena. o a
Elisa Caete Molero n Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Lgica proposicional. o Tablas de Verdad

Conectores lgicos. o
Las proposiciones simples pueden combinarse mediante las llamadas conectores lgicos para formar proposiciones o compuestas. Los conectores lgicos son: o La negacin. Por ejemplo, p signica que hoy no es o lunes. La disyuncin. Tambin se le denomina o inclusivo. Por o e ejemplo, p q signica que pueden ser ciertas las dos proposiciones hoy puede serl lunes y/o el cielo puede estar despejado. En el lenguaje cotidiano el o es exclusivo. La conjuncin. Corresponde al yde nuestro lenguaje o cotidiano. Por ejemplo, p q signica que hoy es lunes y el cielo est despejado. a

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Lgica proposicional. o Tablas de Verdad

Conectores lgicos. o

La implicacin. Tambin llamada condicional. Por o e ejemplo, p q signica que si hoy es lunes entonces el cielo est despejado. a La equivalencia. Por ejemplo, p q signica que hoy es lunes si y slo si el cielo est despejado. o a Otros elementos que suelen aparecer son los parntesis. Por e ejemplo, no es lo mismo esta proposicin compuesta o p (q r)que esta otra (p q) r

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Lgica proposicional. o Tablas de Verdad

Tablas de Verdad.

p tomar el valor verdad (V) si p toma el valor falso (F) y a tomar el valor falso (F) si p toma el valor verdad (V). a p q tomar el valor verdad (V) si al menos uno de entre p y a q toma el valor verdad (V) y tomar el valor falso (F) si tanto a p como q toma el valor falso (F). p q tomar el valor verdad (V) si p y q toman el valor a verdad (V) y tomar el valor falso (F) si uno de entre p y q a toma el valor falso (F).

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Lgica proposicional. o Tablas de Verdad

Tablas de Verdad.

p q tomar el valor verdad (V) si p y q toman el valor a verdad (V) y tomar el valor falso (F) si uno de entre p y q a toma el valor falso (F). p q tomar el valor verdad (V) si p y q toman el valor a verdad (V) o si p toma el valor falso (F) independientemente del valor que toma q y tomar el valor falso (F) en los dems a a casos. p q tomar el valor verdad (V) si p y q toman el mismo a valor y tomar el valor falso (F) en los dems casos. a a

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Lgica proposicional. o Tablas de Verdad

Tablas de Verdad.

Una proposicin se dice que es una tautolog si toma el o a valor verdad independientemente de los valores de las proposiciones que la componen. Una proposicin se dice que es una contradiccin si toma el o o valor falso independientemente de los valores de las proposiciones que lo componen. Una proposicin se dice que es una contingencia si no es ni o una tautolog ni una contradiccin. a o

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Axiomas y Propiedades.

Algebras de Boole.
El lgebra de Boole es un conjunto de elementos, B, dos a operaciones binarias: +, denominada suma o adicin y , llamada o producto o multiplicacin, que satisfacen los siguientes axiomas: o Axioma 1: Las operaciones + y son conmutativas:
a+b=b+a ab=ba

Axioma 2: Las operaciones + y son asociativas:

(a + b) + c = a + (b + c) (a b) c = a (b c)

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Axiomas y Propiedades.

Axiomas.
Axioma 3: Las operaciones + y son distributivas:
a + (b c) = (a + b) (a + c) a (b + c) = (a b) + (a c)

Axioma 4: Las operaciones + y tienen elemento identidad 0 y 1, respectivamente:

a+0=a a1=a

Axioma 5: Cada elemento a B tiene un complementario que se denota por a : (Operacin unitaria) o
a + a = 0 a a = 1
Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Elisa Caete Molero n

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Axiomas y Propiedades.

Ejemplos.

Ejemplo 1: El lgebra de conjuntos es un lgebra de Boole. El conjunto de a a elementos, las dos operaciones binarias, la unin y la o interseccin, siendo sus elementos identidad el conjunto universal o (el total X) y el conjunto vac (). La operacin unitaria el o o complementario: A = A, A X = A. A A = X = 1, A = = 0.

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Axiomas y Propiedades.

Ejemplos.

Ejemplo 2: Algebra Proposicional. El conjunto B est formado por dos elementos V y F; las dos a operaciones (disyuncin) y (conjuncin) cuyos elementos o o identidad son F y V respectivamente. La operacin unitaria es la o negacin, . o V F = V, F F = F, (suma) V V = V, F V = F, (producto) V V = V = 1, V V = F = 0, (complementario)

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a

Teor de conjuntos. a Lgica bsica. o a Algebras de Boole.

Axiomas y Propiedades.

Ejemplos.

Ejemplo 3: Algebra de conmutacin. o Este lgebra es importante en el anlisis de circuitos. a a El conjunto de elementos, B = {0, 1} las dos operaciones (+) y y la operacin unitaria vienen dadas por: o + 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 x 0 1 x 1 0

Aplicacin inportante: Circuitos elctricos o e

Elisa Caete Molero n

Teor de Conjuntos. Lgica bsica. Algebras de Boole. a o a