Facultad de ciencias Administrativas

Asignatura: Matemticas

Grupo # 2
Integrantes:
Cajas Cristian Agudo Stephanie Giler Fabricio Chica Evelyn Loor John

Docente: Luis Herrera Lozano Paralelo M28 Aula: 704

Objetivos

Al finalizar esta seccin el lector podr: * Dada una expresin en lenguaje comn, reconocer si es un predicado. * Dado un predicado, identificar su variable y sugerir un conjunto Referencial para la misma. * Dado un predicado y un conjunto referencial, determinar su Conjunto de verdad. * Dado un predicado compuesto, encontrar su conjunto de verdad Empleando propiedades de los conjuntos de verdad. * Demostrar las leyes de los cuantificadores.

Predicados de una variable

Son expresiones en trminos de una variable que al ser reemplazadas por los elementos de un conjunto referencial, se convierten en proposiciones. Si x representa a cualquier elemento de Re, entonces la expresin p(x) se definir como predicado. La notacin para los predicados ser: p(x), q(x), r(x), etc. Ejemplo 1.51 Dado RE = (1, 2, 3, 4, 5,6,) y p (x): X es impar Si x = 3, p (3): 3 es impar es una proposicin verdadera. Si x = 6, p (6): 6 es impar, es una proposicin falsa. Por lo tanto p(x) es un predicado. Se puede definir varios predicados con un mismo Re y se pueden realizar operaciones lgicas entre ellos para formar predicados compuestos.

Ejemplo 1.52 Predicados compuestos

Para el Re y p(x) dados en el ejemplo anterior, considere: q(x): x 5 La expresin: p(x) q(x) tambin es un predicado. Si x = 2: [p (2) q (2)] 1 Si x = 3: [p (3) q (3)] 0

Ejemplo 1.53 Predicados compuestos

Para el Re y p(x) dados anteriormente, considere: r(x): x 2 = 0 La expresin: p(x) v(x) tambin es un predicado. Si x = 2: [p (2) v r (2)] 0 Si x = 3: [p (3) v r (3)] 1

Como el lector habr observado en los ejemplos anteriores, existen elementos del referencial para los cuales el predicado puede convertirse en una proposicin falsa o verdadera. Estas ltimas son de especial inters, y los elementos del referencial que las conforman constituyen lo que a Continuacin se definir como conjunto de verdad del predicado.

Es el conjunto formado por todos los elementos de Re para los cuales el predicado se convierte en una proposicin verdadera. La notacin a utilizar para este conjunto es A p (x) y se define as: Ap(x) = {x/(x Re) (p(x) 1)} Ejemplo 1.54 CONJUNTO DE VERDAD Con referencia a los tres ejemplos anteriores: Ap (x) = {1, 3,5} Ap (x) = {1, 2, 3, 4} Ar (x) = {2} Todos los elementos que no pertenezcan al conjunto de verdad de un predicado pero que sean parte del referencial considerado para el anlisis, estarn contenidos en el complemento del conjunto de verdad de dicho predicado, lo cual puede expresarse as: Ap(x) = Ap(x). 3

Partiendo de los mismos ejemplos ya citados anteriormente, se puede concluir que: Ap(x) = {2, 4, 6} Aq(x) = {5, 6} Ar(x) = {1, 3, 4, 5, 6}

Se cumplen las siguientes propiedades: A p(x) = A[p(x)v q(x)] = A[p(x) q(x)] = A[p(x) q(x )] = Ap (x)U A q(x) Ap(x) Ap(x)U Aq(x) Ap(x) Aq(x)

Se pueden obtener conjuntos de verdad de predicados compuestos a partir de los conjuntos de verdad de los predicados que lo constituyen. De esta forma, si se requiere hallar A[p(x)(q(x)r(x))], se pueden emplear las propiedades anteriormente citadas de la siguiente forma: A[p(x) (q(x) r(x))] = A[p(x) v (q(x) r(x))] = Ap(x) U (Aq(x) Ar(x)) A[p(x) (q(x) r(x))] = Ap(x) U (Aq(x) Ar(x)) De esta manera, conociendo los conjuntos de verdad de p(x), q(x), r(x) y el referencial de estos predicados, se puede obtener el conjunto de verdad resultante de esta operacin. En referencia a los ejemplos 1.51, 1.52, 1.53 y 1.54 se tiene que: Ap(x) = {2, 4, 6} Aq(x) = {1, 2, 3, 4} Ar(x) = {1, 3, 4, 5, 6} Realizando las operaciones indicadas en Ap(x) U (Aq(x) Ar(x)), se obtiene el conjunto {1, 2, 3, 4, 6}, el cual constituye el conjunto de verdad del predicado compuesto requerido.

Dado que ya se ha definido a los predicados y en la seccin 1.9 se describieron los dos tipos de cuantificadores que se utilizan en la lgica simblica, se pueden traducir expresiones del lenguaje natural que combinan predicados y cuantificadores. Para el efecto, si se tiene un predicado p(x) y un conjunto referencial Re, los siguientes enunciados son proposiciones con cuantificadores: xp(x) xp(x) Ya que el primero de ellos se lee para todo x elemento del Re, se cumple p(x), y el segundo de ellos se lee existe al menos un x elemento de Re que cumple con p(x), ambos pueden ser calificados como proposiciones verdaderas o falsas.

De aqu que, si un predicado es cuantificado con alguno de los dos cuantificadores definidos, se obtiene una proposicin, tal como se define a continuacin.

Objetivos

Al finalizar esta seccin el lector podr

Dada una expresin natural, identificar los dos tipos de cuantificadores que existen. Dada una preposicin en trminos de cuantificadores, reconocer su valor de verdad Realizar operaciones con cuantificadores dado un conjunto referencial. Dado un conjunto, hallar su conjunto potencia.

Los cuantificadores se clasifican en

Cualquier expresin de la forma para todo, todo, para cada, cada, constituye en lenguaje formal un cuantificador universal y se simboliza por medio de .

Cualquier expresin de la forma existe, algn, algunos, por lo menos uno, basta que uno, constituye en el lenguaje formal un cuantificador existencial y se simboliza por medio de . Ejemplo:

x, 2x + 3x = 5x x, 2x + 2= 4

Se lee Para todo numero x se cumple que 2x + 3x = 5x Se lee Existe al menos un numero x, para el cual 2x + 2 = 4

Una proposicin que contiene un cuantificador universal es verdadera si y solo el conjunto de verdad del predicado es igual al conjunto referencial de la expresin abierta: xp(x) (Ap(x)=Re Una proposicin con un cuantificador existencial es verdadera si y solo si el conjunto de verdad del predicado no es vaco. xp(x) (Ap(x)=) OBSERVEMOS Si a Re los siguientes enunciados hipotticos sern: x p(x)p(a) p(a) x p(x) Son verdaderos. Considerando a como elemento de Re, el primer enunciado quiere decir: Si todos los elementos del referencial satisfacen un predicado dado entonces necesariamente a satisface el predicado. El segundo quiere decir: Si a satisface el predicado, entonces necesariamente existir por lo menos un elemento del referencial que satisface el predicado.

Demostracin de leyes de cuantificadores

DEMOSTRACIONES En matemticas, a menudo nos ocupamos de la demostracin lgica de ciertas afirmaciones. Cualquier sistema lgico debe empezar con algunos trminos fundamentales, definiciones y axiomas o postulados. A partir de ello se pueden deducir razonamientos validos otras afirmaciones. Para llegar a demostrar algo, es necesario justificar cada paso de la demostracin de manera lgica. DEMOSTRACIONES DIRECTAS Tambin denominadas MARCHA ADELANTE si queremos demostrar que pq, examinamos los elementos que aparecen en p; y, con la atencin puesta en q, intentamos deducir q a partir de una secuencia de pasos lgicos que comience en p y termine en q. DEMOSTRACIONES POR CONTRAPOSICION O CONTRARECIPROCA Es conocida como SUPONGAMOS QUE NO DEMOSTRACIONES CONTRA EJEMPLO El contraejemplo pone en evidencia que existe al menos un caso en el cual la proposicin no es verdadera. DEMOSTRACIONES POR REDUCCION AL ABSURDO Se supone que la estructura del razonamiento pq no es tautolgica. Debido a que el operador principal de un razonamiento es la implicacin, la estructura o es tautolgica si existe al menos un caso 10 es decir partimos de p y q e intentamos llegar a una contradiccin. Como p no puede se falsa pues constituye la hiptesis se concluye que lo que es falso es q.

Un conjunto es una coleccin, reunin o agrupacin de objetos que poseen unas caractersticas o propiedad comn bien definida. Para establecer si un objeto pertenece o no a un conjunto, debe verificarse que posee caracterstica o propiedad declarada por el conjunto. Los conjuntos se denotan con letras maysculas del alfabeto espaol. EJEMPLO DE CONJUNTOS Los nmeros enteros Los habitantes de la luna Los animales en extincin Los nmeros primos Los paquetes de software Los operadores de telefona celular .

Entonces para decir que x es un elemento del conjunto A, escribiremos x Para decir que x no es un elemento del conjunto A, escribiremos x .

La descripcin de un conjunto se puede realizar de las siguientes maneras: Por COMPRENSION para referirnos a alguna caracterstica de los elementos. Por EXTENSION o TABULACION cuando se listan todos los elementos. Por medio de DIAGRAMAS DE VENN, cuando se lo representa grficamente. EJEMPLO DE DESCRIPCION DE CONJUNTOS Por Comprensin: A={ x/x es consonante de la palabra amistad} Por Extensin o Tabulacin: A= {d, m, s, t} Por Diagramas de Venn: A 9
t m d s

CONJUNTOS RELEVANTES Sea A un conjunto, se puede dar los siguientes casos: A es VACIO si no tiene elementos y se lo representa con este smbolo A es UNITARIO si tiene un nico elemento. A es FINITO si tiene una cantidad finita de elementos. A es INFINITO si no tiene una cantidad finita de elementos. A es REFERECIAL o UNIVERSO cuando contiene todos los elementos que

deseen considerarse en un problema, discurso o tema, sin pretender contener todo lo que no interesa al problema, se lo representa simblicamente as Re o U.

Definicin (Subconjunto)
El conjunto A es subconjunto de B si y slo si los elementos de A estn contenidos en B. Simblicamente, este concepto se representa por: (A B) x[(x A) (x B)] Si A es subconjunto de B (A B) pero B no es subconjunto de A (B A), se dice que A es SUBCONJUNTO PROPIO de B, lo cual se representa por: (A B) [(A B)(A = B)]

La proposicin (x ) es falsa, porque no existen elementos que pertenezcan al conjunto vaco. Adicionalmente, la proposicin 0p es siempre verdadera, sin importar el valor de verdad de la proposicin p, con lo que podemos Concluir que: [(x ) (x A)] 1, es decir que A. El conjunto vaco Es subconjunto de cualquier conjunto. Si realizramos un anlisis similar, podramos concluir tambin que todo conjunto es subconjunto de s mismo: A A. 10

Definicin (Conjunto Potencia) Dado un conjunto A, su conjunto potencia es aquel que est formado por todos los subconjuntos posibles de A. El smbolo que se utiliza para este conjunto es P(A). P(A) ={B/B A}

La cardinalidad del conjunto potencia de A se denota como N(P(A)) y es igual a

Definicin (Igualdad entre conjuntos) Dos conjuntos A y B son iguales si y slo si tienen los mismos elementos. Es decir, ambos conjuntos se contienen mutuamente. Simblicamente, este concepto se representa por: (A = B)[(A B)(B A)] Usando las definiciones y las propiedades de la lgica proposicional se tiene: (A = B)x [(x A)(x B)]

Definicin (Conjuntos disjuntos e intersecantes) Los conjuntos A y B son DISJUNTOS si y slo si A y B no tienen elementos en comn. Los conjuntos A y B son INTERSECANTES si y slo si A y B tienen al menos un elemento comn.

11

Objetivos

Al finalizar esta seccin el lector podr: * Explicar con sus propias palabras las diferentes operaciones entre Conjuntos. * Dada una operacin entre conjuntos, representarla con el lenguaje Simblico respectivo. * Dada una operacin entre conjuntos, representarla grficamente Mediante diagramas de Venn. * Reconocer la operacin de conjuntos que representa una regin Sombreada dada. Es posible realizar operaciones entre conjuntos para formar otros nuevos. Las operaciones ms utilizadas son: unin, interseccin, diferencia, diferencia Simtrica y complementacin.

Definicin (Unin entre conjuntos) La unin entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto A o al conjunto B. Se denota por AB y se define como: AB = {x/(x A)(x B)}

Re

Definicin (Interseccin entre conjuntos) La interseccin entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto A y al conjunto B. Se denota por AB y se define como: AB = {x/(x A)(x B)}

12

Re

Definicin (Diferencia entre conjuntos) La diferencia entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen al conjunto A, pero no pertenecen al conjunto B. Se denota por AB y se define como: AB = {x/(x A)(x B)}

Re

Definicin (Diferencia simtrica entre conjuntos) La diferencia simtrica entre los conjuntos A y B es un nuevo conjunto formado por los elementos que pertenecen o al conjunto A o al conjunto B. Se denota por AB y se define como: AB = (AB)(BA), o tambin: AB = {x/[(x A)(x B)][(x B)(x A)]}

13

Re

Definicin (Complementacin de conjuntos)

La complementacin de un conjunto A es un nuevo conjunto formado por los elementos del referencial que no pertenecen al conjunto A. Se denota por A y se define como: A= {x/(x Re)(x A)}

Re

14

bolo N(A)

15

Determine el porcentaje de alumnos que practican ftbol y bsquet, si al entrevistar a 1000 estudiantes se obtuvieron los siguientes resultados: 600 practican ftbol. 500 practican bsquet. 150 no practican ftbol ni bsquet. Solucin: A partir de la informacin dada, tenemos que: N(Re) = 1000 N(B) = 500 N(F) = 600 N[Re (B F)] = 150

RE B 850 F N(B F) = N(B)+N(F)-N(BF) N(B F) = 1000 150 N(B F) = 850

150

RE

N(BF) = 600 + 500 850 N(BF) = 250

16

250

RE B F

250

250

350

150

Luego: El siguiente diagrama de Venn, ilustra el anlisis previamente desarrollado:

Con lo que se concluye que el nmero de estudiantes que practican ftbol y bsquet es 250, el cual representa el 25% del total de estudiantes.

17

Se hizo una encuesta a 1000 personas acerca del canal de televisin donde preferan ver programas documentales y se obtuvieron los siguientes resultados: 620 vean teleamazonas; 400 vean canal uno; 590 vean Ecuavisa; 195 vean teleamazonas y canal uno; 190 preferan ver canal uno y Ecuavisa; 400 vean teleamazonas y Ecuavisa; 300 preferan ver teleamazonas y Ecuavisa, pero no canal uno. Determine el nmero de personas que no ven estos canales. Solucin: A partir de la informacin obtenida se deduce que: N (Re) = 1000

N(T) = 620 N( C ) = 400 N(E) = 590 N(TC) = 195 N(CE) =190 N(TE) = 400 N[(TE)- C]= 300 RE

C
Si N(TE) = 400 y N[(TE)- C]= 300, entonces N (TCE) = 100

100

95

300

90

18

N(T C N(T C N(T C N(T C

E)= N(T)+N(C ) + N( E)- N(TC)-N(CE)-N(TE)+N(TCE) E)=620+400+590-195-190-400+100 E)=925 E) =N(RE)-N(T C E) =1000-925=75

Obje tivo s

Al finalizar esta secci * Dados dos conjuntos * Dados varios conjunt * Demostrar las leyes 19

Sabemos por la teora de conjuntos que no hay diferencia entre los conjuntos {m, n} y {n, m}, ya que dos conjuntos son iguales si tienen los mismos elementos, sin importar el orden. Sin embargo, cuando queremos hablar de un par de elementos sobre los cuales nos interesa un orden especfico, debemos referirnos al concepto de par ordenado. Definicin (Par ordenado) Un par ordenado es un conjunto de dos elementos, a y b, que tiene un orden; al elemento a se lo denomina primera componente y al elemento b se lo denomina segunda componente. Se representa simblicamente por: (a, b). Como el par es ordenado, no es lo mismo (a, b) que (b, a). Una terna ordenada sera un conjunto de tres elementos ordenados y su representacin es: (a, b, c). Es importante anotar que existen conjuntos ordenados que pueden formarse con ms de tres componentes. Definicin (Producto cartesiano) Sean dos conjuntos A y B, no vacos, denominaremos producto cartesiano entre A y B, al conjunto de todos los pares ordenados cuya primera componente pertenece al conjunto A, y la segunda al conjunto B. Simblicamente, lo representaremos como: A x B. A x B = {(x, y)/(x A)(y B)}

La representacin grfica de A x B constituye el plano cartesiano, en el cual tanto los elementos de A como los de B se alinean en dos segmentos de recta. Un segmento representar al conjunto A y el otro al conjunto B.

Producto cartesiano entre dos conjuntos.

El producto cartesiano de dos conjuntos Ay B, denotado A B, es el conjunto de todos los posibles pares ordenados cuyo primer componente es un elemento de A y el segundo componente es un elemento de B. A x B = {(x, y)/(x A)(y B)}

20

A = {*, &, #} B = {@, $, } A x B = {(*,@), (*,$), (*,), (&,@), (&,$), (&,), (#,@), (#,$), (#,)} En este ejemplo la cardinalidad del conjunto resultante es N(A x B) = 9.

Cardinalidad del producto cartesiano.

Se refiere a la cantidad de elementos que contiene un conjunto Si A, B, C son conjuntos tales que: N(A) = 2, N(B) = 3, N(C) = 4 y N(BC) = 2, determine N[A x (B C)]. Solucin: En base a la definicin de N(A x B), tenemos que: N[A x(BC)] = N(A)N(BC) Por otra parte: N(BC) = N(B) + N(C) N(BC) = 3 + 4 2 = 5 Luego: N[A x(BC)] = (2)(5) =10

El producto cartesiano tiene las siguientes propiedades: A x (BC) = (A x B)(A x C) A x (BC) = (A x B)(A x C) A x (BC) = (A x B)(A x C) (AB) x C = (A x C)(B x C) (AB) x C = (A x C)(B x C) (AB) x C = (A x C) (B x C)

Demostracin de propiedades del producto cartesiano.

21 Demuestre formalmente: A x (BC) = (A x B)(A x C) Solucin: (x, y) [A x(BC)] (x A)[y (BC)] Definicin de producto cartesiano.

Objetivos Al finalizar esta seccin el lector podr: * Dados dos conjuntos, crear una relacin entre ellos. * Dada una relacin, identificar su dominio y rango. * Dada una relacin, representarla mediante diagramas sagitales.

En lenguaje comn, decimos que la tarifa del agua potable depende del nmero de metros cbicos consumido en un perodo de tiempo, o bien decimos que el valor de una casa depende del nmero de metros cuadrados construidos. Aparece en estas frases el concepto de dependencia o relacin. Cuando se formula una expresin que liga dos o ms objetos entre s, postulamos una relacin (no necesariamente matemtica). Las relaciones, en un sentido ms general, se fundamentan en conjuntos arbitrarios.

Definicin (Relacin) Una relacin establece la correspondencia entre los elementos de dos conjuntos no vacos A Relaciones. y B. Usualmente, al conjunto A se lo denomina conjunto de partida, y al conjunto B, de llegada. Simblicamente, la relacin se representa por R y se cumple que: RAxB Es decir, todos los subconjuntos de A x B constituyen una relacin. La cantidad mxima de relaciones que se pueden obtener a partir de dos conjuntos no vacos A y B es: 22

EJEMPLO

Al decir que Samuel es padre de Irma, se est construyendo una relacin entre ambos. Si Samuel es un elemento del conjunto A = {Samuel, Jos, Csar}, e Irma es un elemento del conjunto B = {Janeth, Irma, Pedro}, el par ordenado (Samuel, Irma) constituye un elemento del producto cartesiano A x B y es parte de la relacin R: x es padre de y, construida entre A y B, siendo x A, y B.

Se pueden construir relaciones entre TODOS o ALGUNOS elementos del primer conjunto con UNO o MS del segundo conjunto; esto incluye la posibilidad de que NINGN elemento del primer conjunto se relacione con NINGN elemento del segundo conjunto, establecindose una relacin vaca.

Relacin vaca.
Basados en el ejemplo anterior, podra darse el caso que Samuel, Jos o Csar no sean padres de Janeth, Irma o Pedro, lo cual correspondera a una relacin sin elementos.

Cantidad de relaciones.
Dados los conjuntos A = {?, } y B = {a, b}, determine analticamente el nmero de relaciones posibles que se pueden obtener de A en B, y realice los diagramas sagitales correspondientes a todas las relaciones posibles. Solucin: El nmero de relaciones de A en B es = 2 2 = 4 = 16

Diagramas Sagitales:
23 Caso 1: Ningn elemento del conjunto de partida est relacionado con ningn elemento del conjunto de llegada (relacin vaca).

Caso 2: Relaciones de un solo elemento del conjunto de partida con uno solo del conjunto de llegada.

Caso 3: Relaciones de un solo elemento del conjunto de partida con dos del conjunto de llegada.

24

Caso 4: Relacin de dos elementos del conjunto de partida con uno solo del conjunto de llegada.

Caso 5: Relaciones de un elemento del conjunto de partida con uno solo del conjunto de llegada.

Caso 6: Relaciones de un elemento del conjunto de partida con dos del conjunto de llegada y el otro elemento del conjunto de partida con otro del conjunto de llegada.

Caso 7: Todos los elementos del conjunto de partida estn relacionados con todos los elementos del conjunto de llegada (producto cartesiano).

25

26