Está en la página 1de 14

Lgica Matemtica y Teora de Conjuntos.

LGICA MATEMTICA Y TEORA DE CONJUNTOS. Llamamos conjunto a una coleccin de objetos (con determinadas caractersticas en comn) y a los objetos que lo forman se les llama elementos del conjunto. Llamaremos universo (U) al conjunto que en un momento dado es usado como marco de referencia para formar conjuntos. Un conjunto queda determinado por una coleccin de atributos que los elementos del universo pueden o no poseer. As, los elementos del universo que s posean los atributos requeridos forman el conjunto. Observacin: Conjunto y universo son trminos no definidos. Def.: Diremos que un conjunto est descrito por enumeracin si se han dado explcitamente todos sus elementos y est descrito por comprensin si sus elementos estn dados en forma implcita mediante una frase que los describa. Pertenencia / NO pertenencia: x A (x pertenece al conjunto A): indica que x tiene los atributos que determinan al conjunto A. x A (x NO pertenece al conjunto A). La lgica matemtica es una variedad de la lgica filosfica. Los objetivos principales de la lgica son esencialmente: 1. Eliminar las ambigedades propias del lenguaje ordinario. 2. Dar rigor a aquello que se est estudiando. En lgica existen dos procesos fundamentales: 1. Conceptualizacin: consiste en definir los objetos matemticos que se van a definir. 2. Demostracin: consiste en demostrar rigurosamente aquellas propiedades, proposiciones o teoremas que se estn estudiando. Def.: Se llama proposicin a cualquier afirmacin que es verdadera (V) o es falsa (F), pero no ambas cosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s, ... Def.: Una proposicin abierta (o funcin proposicional) es una expresin que contiene una variable y que al ser sustituida dicha variable por un valor determinado, hace que la expresin se convierta en una proposicin. ((V) (F)). p(x); p(x,y,z, ..). Def.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una proposicin abierta, lo llamaremos el Dominio de la variable. Def.: El conjunto formado por aquellos elementos del dominio de la variable que hacen verdadera la proposicin abierta p(x), lo llamaremos el conjunto solucin de la proposicin abierta p(x). Ejemplo: Encontrar el conjunto solucin de la propiedad abierta p ( x) : 7 x 1 = 0; x x = 1 7 ; 1 7 ; 1 7 Q . P= Observacin: Usando proposiciones abiertas podemos escribir un conjunto por comprensin: P = { x / p( x)} = x /" x es primo; x + " = { 2,3,5,7,11,13,17,19,...} prop.1 abierta p(x) Dominio variable p(x). Conjunto solucin p(x).

Describe los atributos que definirn al conjunto.

Pag. 1 / 14

Lgica Matemtica y Teora de Conjuntos.

Conectivos lgicos: Permiten relacionar proposiciones para formar nuevas proposiciones. Igualmente permiten definir operaciones en los conjuntos para obtener nuevos conjuntos. Tabla conectivos lgicos. Conjuncin. y. Disyuncin. o. Condicional. si p entonces q. Negacin. no. Bicondicional. p si y slo si q. ( doble implicacin).

Def.: Dadas dos proposiciones p y q, se llama proposicin conjuntiva de p y q, y se escribe p q , a la proposicin que dice "p y q". p q es verdadera cuando p y q son verdaderas simultneamente. (Ver: Tablas de Verdad). Def.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A interseccin B, que denotaremos por A B como sigue: A B = { x / x A x B} Observacin: Si P es el conjunto solucin de la proposicin p(x) y Q el de la proposicin q(x), entonces el conjunto solucin de p(x) q(x) es P Q . Def.: El conjunto vaco que denotaremos por es el conjunto que no tiene elementos. Podemos decir que: = { x / x A x A} Def.: Dadas dos proposiciones p y q, se llama proposicin disyuntiva de p y q, y se escribe p q , a la proposicin que dice "p q". p q es verdadera cuando al menos una de ellas lo es. (Ver: Tablas de Verdad). Observacin: De la tabla de verdad de la disyuncin (Ver: Tablas de Verdad) se deduce que en lgica, la disyuncin significa y/o (NO exclusivo). Ver: "O Exclusivo". Def.: Sean A y B dos conjuntos, entonces definimos el conjunto A unin B que denotaremos por A B como sigue: A B = { x / x A x B} Observacin: Si P es el conjunto solucin de la proposicin p(x) y Q el de la proposicin q(x), entonces P Q es el conjunto solucin de la proposicin p(x) q(x). Ejemplo: Formar la proposicin conjuntiva y la disyuntiva; hallar el conjunto solucin de las componentes, el conjunto solucin de la conjuncin y la disyuncin. Dominio: M = { 3,2,1,0,1,2,3} . " x 1 = 0" ; " x 2 1 = 0" Proposicin conjuntiva: " p( x) q ( x)": " x 1 = 0 x 2 1 = 0" Proposicin disyuntiva: " p( x) q ( x)": " x 1 = 0 x 2 1 = 0" P = {1} Conjunto solucin p(x): x = 1 Conjunto solucin q(x): x = 1 = 1 Q = { 1,1} Conjunto solucin " p ( x) q( x)" : C = P Q = {1} Conjunto solucin " p ( x) q( x)" : D = P Q = { 1,1}

Pag. 2 / 14

Lgica Matemtica y Teora de Conjuntos.

Def.: Dadas dos proposiciones p y q, se llama proposicin condicional de p y q, y se escribe p q , a la proposicin que dice "(no p) q". p q es verdadera cuando q es verdadera, o bien p y q son falsas a la vez. (Ver: Tablas de Verdad). Def.: Una palabra o frase que indique cuntos objetos o cosas cumplen con determinada propiedad, se llama un cuantificador. Generalmente, para convertir una proposicin abierta (funcin proposicional) en una proposicin, se utilizan los llamados cuantificadores: a) Existencial: x D; P ( x) Y se lee "existe, al menos, un x tal que se verifica P(x)". Nota: Para decir "existe un nico x tal que P(x)" escribimos: ! x D; P( x) . b) Universal: x D; P ( x) . Y se lee "para todo x se verifica P(x)". Observacin: Las expresiones cuantificadas universal o existencialmente es una nueva proposicin que tiene un valor de verdad que se establece en los siguientes axiomas 2 de verdad: i) ii) La proposicin x D; P ( x) es falsa si al menos un elemento del dominio D, hace falsa la proposicin P(x). La proposicin x D; P( x) es verdadera cuando hay al menos un valor x en el dominio D que haga verdadera3 la proposicin P(x) y ser falsa si no existe un solo elemento del dominio que haga verdadera a P(x).

Def.: Sean A y B dos conjuntos, diremos que A es un subconjunto de B que escribiremos A B , si para toda x que pertenece a A se tiene que x tambin pertenece a B. Es decir, todos los elementos de A lo son tambin de B. A B x, x A x B Si A no es subconjunto de B, lo denotaremos por A B . Observacin: Para todo conjunto A: A . Def.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un subconjunto propio de B si y slo si: a) b) A B y A B

Def.: La proposicin x D, p ( x) q( x) es verdadera si y slo si P Q donde P es el conjunto solucin de p(x) y Q es el conjunto solucin de q(x). Def.: Dada una proposicin p, se llama proposicin negativa (o negacin) de p, y se escribe p , a la afirmacin que dice "no p". p es verdadera cuando p es falsa. (Ver: Tablas de Verdad).

2 3

Axiomas: afirmaciones que son aceptadas como verdaderas. (aunque existan otros valores del dominio que la hagan falsa).

Pag. 3 / 14

Lgica Matemtica y Teora de Conjuntos.

Observacin: Algunas negaciones ms comunes de proposiciones cuantificadas: Proposicin Todos Algunos Algunos .... no Ningn Negacin Algunos .... no Ningn Todos Algunos

La negacin de los cuantificadores es de la siguiente forma: a) (x D; P ( x)) x D; P( x) b) (x D; P ( x)) x D; P ( x) Def.: Si consideramos a U como el conjunto universo y A U , definimos el complemento de A, que denotaremos por A' Ac como: Ac = A' = { x U / x A} Observaciones: i) ii) iii) iv) Si A = U ; A' = A A' = A A' = U S x A' sigfica que x U y x A

Observacin: El conjunto solucin de p ( x) es P ' , donde P es el conjunto solucin de p(x). Ejemplo: p ( x) : " x( x + 2)( x 3) = 0; x Z " Conjunto solucin p(x): P = { 0,2,3} p ( x) : " x( x + 2)( x 3) 0" ( e ai n r psc) ngc pooi i n.

Pag. 4 / 14

Lgica Matemtica y Teora de Conjuntos.

P'

P
0. .2 .3

Conjunto solucin p( x) : S = { x Z / x P} = P ' Def.: Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia A B como sigue: A B = { x / x A y x B} Observacin: A se puede considerar como la diferencia entre U y A. Osea: A' = U A = { x / x U y x A}

Pag. 5 / 14

Lgica Matemtica y Teora de Conjuntos.

AB = A

AB

B A

A B

AB Observaciones:

AB =

1. Si p q es una implicacin, entonces q tiene que ser verdadera. 2. Dada p q , se dice que p es la hiptesis o premisa de la implicacin, y que q es la conclusin o tesis de la implicacin. 3. Dada p q , se dice que p es condicin suficiente de q, y q es condicin necesaria de p. 4. Dada p q , se dice p es condicin necesaria y suficiente de q, y que q es condicin necesaria y suficiente de p. 5. Dada p q , se dice que: i) p q es el teorema directo. Implicacin. p q es el teorema contrario. ii) Contraria implicacin. iii) q p es el teorema recproco. Recproca implicacin. iv) q p es el teorema contrarecproco. Contrarrecproca implicacin. 6. i) ii) Una condicional y su recproca no son equivalentes. Observacin: si una condicional es cierta, su recproca puede que sea o no verdadera. Una condicional y su contraria no son equivalentes. Observacin: si una condicional es cierta, su contraria puede que sea o no verdadera.

iii) Una condicional y su contrarrecproca si son equivalentes. Observacin: si una condicional es cierta, tambin su contrarrecproca lo ser. ( p q ) (q p )

Pag. 6 / 14

Lgica Matemtica y Teora de Conjuntos.

Mtodos de demostracin de una implicacin: Cuando hay que probar que p q , tres de los mtodos de demostracin ms utilizados son: 1.Mtodo directo: Consiste en llegar a obtener lo que nos dice la tesis, utilizando nicamente para ello los datos de la hiptesis. 2.Mtodo del contrarecproco: consiste en probar el teorema contrarecproco de la implicacin, es decir, q p . Ejemplo: Encontrar el valor de verdad de la siguiente proposicin. Dominio=R. x D; si x 2 25 x 5 ( p q) (q p ) (q p ) : x = 5 x 2 = 25 Proposicin: V.

3.Mtodo de reduccin al absurdo (o de contradiccin): Consiste en probar p q demostrando que se cumple lo siguiente: ( p q ) p ( p q ) q . Def.: Dadas dos proposiciones p y q, se llama proposicin bicondicional de p y q, y se escribe p q , a la proposicin que dice "(p condicional q) y (q condicional p)". p q es verdadera cuando p y q son verdaderas o falsas simultneamente. (Ver: Tablas de Verdad). Observacin: La proposicin x D, p ( x) q ( x) es verdadera si y slo si P Q y Q P ( P = Q ) .

Pag. 7 / 14

Lgica Matemtica y Teora de Conjuntos.

Tablas de Verdad: Tcnica que permite averiguar el valor de verdad de una proposicin conociendo los valores de verdad de sus componentes. 2 n , donde n es el nmero de proposiciones que intervienen. p V V F F q V F V F p F F V V pq V F F F p q (1) V V V F p q (2) V F V V p q (3) V F F V

(1) NO exclusivo. (2) p: antecedente o hiptesis. q: consecuente o conclusin. (3) p q ( p q ) ( q p ) . Observaciones: 1. Def.: Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de verdad (en todas sus interpretaciones). Tambin decimos que dos proposiciones son equivalentes cuando la bicondicional que se forma entre ellas es una tautologa y viceversa. 2. Segn la tabla de verdad que tiene una proposicin, esta se clasifica en tautologa, contradiccin e indeterminacin. Def.: Una proposicin se llamar tautologa si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es verdadero. Def.: Una proposicin ser llamada una contradiccin si para cualquier valor de sus componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es falso. Def.: Se dice que una proposicin es una indeterminacin cuando su tabla de verdad tiene valores de verdadero y de falso. Def.: Una implicacin es una condicional de la forma p q , tal que es verdadera suponiendo que p es verdadera, y tiene que existir una relacin causa-efecto entre p y q. Adems, una implicacin entre p y q se escribe p q , y se lee "p implica a q" "si p entonces q". Def.: Una equivalencia es una bicondicional de la forma p q , en donde p q es una implicacin y q p es tambin una implicacin. Se escribe p q , y se lee "p es equivalente a q" o "p si y slo si q". Def.: Sean A, B dos conjuntos cualesquiera, diremos que A = B si y slo si A B y B A .

lgebra Proposiciones / lgebra Conjuntos.

Pag. 8 / 14

Lgica Matemtica y Teora de Conjuntos.

lgebra de Proposiciones. Leyes de idempotencia. p p p p p p Leyes asociativas. ( p q) r p ( q r )

( p q) r

Leyes conmutativas. Leyes distributivas. Ley de complemento. Leyes de Morgan.

pq q p pq q p

p (q r)

( p ) p

p ( q r ) ( p q) ( p r ) p ( q r ) ( p q) ( p r )

( p q ) p q ( p q ) p q

lgebra de Conjuntos. Leyes de idempotencia. A A = A A A = A Leyes asociativas. ( A B) C = A ( B C ) ( A B) C = A ( B C ) A B = B A Leyes conmutativas. A B = B A Leyes distributivas. A ( B C) = ( A B) ( A C) A ( B C ) = ( A B) ( A C ) A = A A U = A Leyes de identidad. A U = U A = Leyes de complemento. A A' = U A A' = Leyes de Morgan.

( A B ) ' = A' B' ( A B ) ' = A' B'

(A ) = A
' '

U' =

' = U

Def.: Diremos que hay una correspondencia biunvoca (o uno a uno) entre los conjuntos A y B si y slo si cada elemento del conjunto A est relacionado con uno y slo un elemento del conjunto B. Observacin: La correspondencia uno a uno entre A y B no es nica. A = { a, e, i, o, u} a e i o u 2 5 1 3 4 B = {1,2,3,4,5} a e i o u 3 4 2 1 5

etc.

Def.: Llamaremos una seccin del conjunto de los nmeros naturales, que denotaremos por S n al conjunto de los primeros n nmeros naturales, esto es: Sn = {1,2,3,4,...., n} Def.: Si existe una correspondencia uno a uno entre un conjunto A y una seccin S n de los naturales, diremos que n es la cardinalidad del conjunto y lo denotaremos por # ( A) = n . Observacin: De la definicin anterior se deduce que la cardinalidad de un conjunto es el nmero de elementos de ste. Def.: Diremos que la cardinalidad del conjunto vaco es cero, osea: # ( ) = 0 #{

}=0

Def.: Diremos que un conjunto A es finito si existe una correspondencia biunvoca entre el conjunto A y una seccin de los naturales S n . Si un conjunto no es finito, lo llamaremos conjunto infinito.

Observacin: Cuando dos conjuntos no son iguales se pueden presentar dos situaciones que son:

Pag. 9 / 14

Lgica Matemtica y Teora de Conjuntos.

1) A y B son diferentes, pero tienen elementos en comn. U U

A B (NO ajenos).

A B (B A) (NO ajenos).

2) A y B son diferentes y adems A y B no tienen elementos en comn, cuando esto sucede diremos que A y B son conjuntos disjuntos. Def.: Dos conjuntos A y B sern conjuntos disjuntos o ajenos si y slo si A B = .

U A B

A B (DISJUNTOS ). Nota.: Mediante el concepto de cardinalidad, diagramas de Venn-Euler y las propiedades de las operaciones de conjuntos (lgebra de Conjuntos) podremos determinar el nmero de elementos de un conjunto (problemas de conteo). Otro tipo de conjuntos de inters son aquellos conjuntos cuyos elementos son tambin conjuntos. Si hablamos, por ejemplo, del conjunto de estudiantes de una Universidad, podemos pensar en el conjunto formado por todos los estudiantes de dicha Universidad. Tambin podemos referirnos al conjunto formado por todas las carreras que se imparten en dicha Universidad. En esta segunda forma de expresar el conjunto, los elementos son a la vez el conjunto formado por el conjunto de estudiantes de cada una de las carreras. A, por ejemplo, si denotamos por C = { A / A es una carrera de la Universid ad} . Y si tomamos A = carrera de Psicologa, encontramos que: A = { x / x es un estudiante de Psicologa } que a la vez es un conjunto. Entonces diremos que C es un conjunto de conjuntos. Def.: Si A es un conjunto cualquiera, definimos el conjunto potencia de A como el conjunto formado por todos los subconjuntos de A y lo denotaremos por P( A ) . Observacin: Si A tiene n elementos, el conjunto potencia de A tendr 2 n elementos y por esta razn es costumbre denotar al conjunto potencia por 2 A . Osea: 2 A = P ( A) = { x / x es un subconjunt o de A} Ejemplo: C = { a, { b, c}} P( C ) = {{ a} , {{ b, c}} , { a, { b, c}} , }

Pag. 10 / 14

Lgica Matemtica y Teora de Conjuntos.

"O" EXCLUSIVO.

Definimos Tabla de Verdad para p q ("O" EXCLUSIVO). p V V F F q V F V F pq F V V F

y queremos demostrar (la equivalencia) mediante Tablas de Verdad que:


p q p q ) p ) ( ( q

p V V F F

q V F V F

p F F V V

q F V F V

( p q )

( p q )

( p q ) (p q )

F V F F

F F V F

F V V F

Decimos que las dos proposiciones son equivalentes dado que tienen la misma tabla de verdad. "O" NO EXCLUSIVO: IF P OR Q THEN message(OR_VERDADERO) ELSE message(OR_FALSO) END "O" EXCLUSIVO: IF (P AND NOT Q) OR (NOT P AND Q) THEN message(OR_VERDADERO) ELSE message(OR_FALSO) END

Pag. 11 / 14

Lgica Matemtica y Teora de Conjuntos.

Problema: Se hizo una entrevista a 885 amas de casa y se encontr la siguiente informacin acerca de ciertos programas de televisin: 600 vean noticieros. 400 vean series policiacas. 620 vean programas deportivos. 195 vean noticieros y series policiacas. 190 vean series policiacas y deportivos. 400 vean noticieros y deportivos.

Y todos ven al menos uno de estos tres programas. Determinar cuntas de las entrevistadas ven los tres tipos de programas mencionados. Solucin: Sea U = { personas entrevistadas} # (U ) = 885 N = { personas ven noticieros } # ( N ) = 600 P = { personas ven policiacos} # ( P ) = 400 D = { personas ven deportivos } # ( D) = 620
# ( N P ) = 195

# ( P D ) = 190 # ( N D ) = 400 # ( P D N )' = 0 Sea x =# ( N D P )

Pag. 12 / 14

Lgica Matemtica y Teora de Conjuntos.

Adems tenemos que: # P ( N D) = 400 195 x + x + 190 x = 400 195 190 + x = 15 + x OJO Conjunto Diferencia # D ( P N ) = 620 400 x + x + 190 x = 620 590 x = 620 590 + x = 30 + x # N ( P D) = 600 195 x + x + 400 x = 600 195 + 400 x = 600 595 x = 5+ x

As:

885 = 600 + (15 + x) + (190 x) + (30 + x) = 835 x 885 835 = x


5 =x 0

Pag. 13 / 14

Lgica Matemtica y Teora de Conjuntos.

Entonces el nmero de personas que ven los tres programas son 50.

Jaime Martnez Rubio. e-mail: jaimemtnezrubio@yahoo.com jaume.martinez@grupobbva.com

11 de abril de 2012

Pag. 14 / 14

También podría gustarte