Professional Documents
Culture Documents
Conjuntos
Cuando decimos: un elemento pertenece a un conjunto, estamos utilizando nada menos que tres conceptos primitivos bsicos de nuestra teora: elemento, conjunto y pertenencia.1 Para indicar que b es un elemento de un conjunto A, se escribe b A, que se lee b pertenece a A. Si por el contrario b no es elemento de A, escribimos b A, que se lee b no pertenece a A. Si bien conjunto es un concepto primitivo, cada conjunto particular se puede definir por extensin (nombrando cada uno de sus elementos) o por comprensin (dando una propiedad que cumplen todos los elementos del conjunto y solo ellos). 1) Puede escribirse cualquier conjunto por extensin? En caso negativo dar un ejemplo. 2) Sea A = {x / x , 3 < x 10} i) Escribe el conjunto A por extensin. ii) Indica si las siguientes proposiciones son verdaderas o falsas: 9 1A 4A A 2 3,5 A 10 A 3A 3) Escribe por comprensin los siguientes conjuntos: i) A = {Brasil, Argentina} ii) B = {0, 2, 4, 6, 8, 10} iii) C = { 2, 2 } 4) Escribe por extensin los siguientes conjuntos: i) D = {x / x = 3n, n , 5 n 8}
1 ii) E = {x / (x 2 )(x 2 2) = 0 } 9
Igualdad de conjuntos
5) Completa con
o=:
{2, 1, 5} ........ {x / (x + 1)(x 2)(x 5) = 0} [2, 3] ........ {x / 2 < x 3}
{x / (x
Osin, L. (1975). Introduccin al anlisis matemtico. Buenos Aires: Editorial Kapelusz. (p. 3)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
proposiciones. Es decir, oraciones que son verdaderas (V) o falsas (F), pero no ambas cosas a la vez. Si una proposicin es verdadera, diremos que su valor de verdad es V, y si es falsa diremos que su valor de verdad es F. Las proposiciones pueden clasificarse en simples o compuestas. Las proposiciones compuestas
estn formadas por proposiciones simples. Por ejemplo, una proposicin simple sera Pablo lee el Quijote y en cambio una proposicin compuesta podra ser Pablo lee el Quijote y Cien aos de soledad. A las proposiciones las representaremos utilizando letras minsculas de nuestro alfabeto: p, q, r, Las proposiciones (1) y (2) se llaman equivalentes. Dos proposiciones p y q son equivalentes, y notaremos p q (y se lee: p si, y solo si, q), cuando tienen el mismo valor de verdad. En la proposicin (2) aparece el llamado cuantificador universal (), y las operaciones bsicas:
p
V F V F
q
V V F F
pq
V F F F
p
V F V F
q
V V F F
pq
V V F V
Observando la tabla vemos que la proposicin p q es verdadera nicamente cuando p y q son verdaderas, lo que est de acuerdo con el uso corriente de la conjuncin y2. Se podra pensar que carece de sentido que la proposicin p q sea verdadera cuando p y q son falsas, pero consideremos la siguiente proposicin matemtica: n, n , (n > 2 n2 > 4).
Aunque el uso coloquial de la conjuncin y, no siempre es claro y libre de ambigedades. Por ms informacin al respecto se puede consultar: Bosch, J. (1965). Introduccin al simbolismo lgico. Buenos Aires: Editorial Universitaria de Buenos Aires. (p. 9)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Inclusin. Subconjuntos.
6) Resuelve las siguientes ecuaciones e inecuaciones en , +,., : i) x x = 0
2
ii) x 0
2
S1 = S2 = S3 = S4=
Se dice que un conjunto A est incluido ampliamente en un conjunto B, o que A es subconjunto de B, y se escribe A B, si todo elemento de A es tambin elemento de B. Simblicamente: A B x, (x A x B) Observa que: A = B (A B B A) Cuando queremos distinguir expresamente que no se cumple la igualdad, o sea cuando: A B y A B, decimos que A est incluido estrictamente en B, o que A es subconjunto propio de B y escribimos: A B. Esto implica que todo elemento de A pertenece a B, pero hay elementos de B que no pertenecen a A. 7) Escribe simblicamente la definicin de A incluido estrictamente en B. 8) Indica, justificando, si las siguientes proposiciones son falsas o verdaderas, siendo S1, S2, S3 y S4, los conjuntos solucin de la actividad 6):
S1 S2 S3 S2 S3 S3 S1 S2
S3 S4 S1
9) Qu debe cumplirse para que A B ? Observa que todo conjunto es subconjunto de s mismo: A A
3
Por ms consideraciones acerca de la tabla de verdad de la implicacin se pueden consultar desde la pgina 42 a la 45 del libro: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
p
V F
p F V
En la proposicin x, (x A x B)4 aparece el llamado cuantificador existencial (). El cuantificador universal () y el cuantificado existencial () se vinculan, por ejemplo, de la siguiente manera: sea P(x) una expresin5 que depende de x, la proposicin, (x, P(x))6 es equivalente a la proposicin x, P(x) 7. Profesor: decir que la proposicin x, P(x) es verdadera significa que la proposicin x, P(x) es falsa. Por ejemplo: si es cierto que
Algunas de sus explicaciones no son claras Profesor: Muy buen ejemplo, Juan. Y gracias por tu sinceridad
4 5 6 7
Cuando se dice existe x, significa que existe, por lo menos, un x. Con este tipo de expresiones trabajaremos ms adelante cuando veamos funciones proposicionales. Se lee: No, para todo x, se verifica P(x) Se lee existe x tal que se verifica P(x)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Conjunto Vaco
Puede suceder que ningn elemento satisfaga la condicin de pertenencia (por ejemplo: conjunto de todos los tringulos de cuatro lados). Nos encontramos entonces con un conjunto particular que llamaremos vaco. Una posible definicin del conjunto vaco podra ser: {x A / x x} Su notacin ser: 9 y podemos escribir tambin: = { }. Observa que: 1) Cualquiera sea el conjunto A, se cumple que A. 2) { } Una posible justificacin de la observacin 1): A x, (x x A). Como el antecedente de la proposicin x, (x x A) es falso cualquiera sea x, dicha proposicin, segn las tablas de verdad de la implicacin, es verdadera. Por lo tanto, la proposicin A es tambin verdadera, ya que es equivalente a x, (x x A).
P(A) = {X / X A}
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 79-80). Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso. 9 Este smbolo corresponde a la letra o escandinava y pretende ser una modificacin del nmero cero, con el cual como veremos- se presentan analogas evidentes. Su aparicin en la Matemtica es de fecha ms bien reciente, comenzando su popularidad a principios de la dcada del 50. Op. Cit., pie de pg. 111.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
i)
3x2
<0
En la frmula: x A x B, aparece la operacin bsica llamada disyuncin (). Si p y q son dos proposiciones, a la proposicin p q, que se lee p o q, se la denomina disyuncin lgica de p yq
10
p
V F V F
q
V V F F
pq
V V V F
10
En la pg. 37 del libro: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin
Cnepa, se realizan consideraciones que vinculan el smbolo con la conjuncin o de nuestro idioma.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Analicemos ahora, desde el punto de vista lgico, la definicin de conjunto unin. Segn dicha definicin, las proposiciones x A B (1) y x A x B (2) (para un x particular), son equivalentes. Mirando la tabla de verdad de la disyuncin, vemos que la proposicin (2) es verdadera si: 1) x A es verdadera y x B es verdadera. 2) x A es falsa y x B es verdadera. 3) x A es verdadera y x B es falsa. Ser falsa nicamente cuando x A y x B sean ambas falsas a la vez. Por ejemplo, consideremos los conjuntos A = {2, 5} y B = {1, 2}, y teniendo en cuenta el anlisis realizado anteriormente, hallemos A B. 1 A B? S, puesto que la proposicin 1 A es falsa y la proposicin 1 B es verdadera; con lo cual la proposicin 1 A 1 B es verdadera, y como son equivalentes, 1 A B tambin es verdadera. 2 A B? S, puesto que la proposicin 2 A es verdadera y la proposicin 2 B es verdadera; con lo cual la proposicin 2 A 2 B es verdadera, y como son equivalentes, 2 A B tambin es verdadera. 5 A B? S, puesto que la proposicin 5 A es verdadera y la proposicin 5 B es falsa; con lo cual la proposicin 5 A 5 B es verdadera, y como son equivalentes, 5 A B tambin es verdadera. 7 A B? No, puesto que la proposicin 7 A es falsa y la proposicin 7 B es falsa; con lo cual la proposicin 7 A 7 B es falsa, y como son equivalentes, 7 A B tambin es falsa. Lo mismo sucede para cualquier x que no sea ni 1, ni 2, ni 5. Por lo tanto: A B = {1, 2, 5}
14) Comprueba, utilizando las tablas de verdad, que: a) (p q) (p q) (Definicin del condicional) b) (p q) (p q) (Ley de De Morgan) c) (p) p (Doble negacin) 15) Utilizando proposiciones equivalentes, justifica que la negacin de la proposicin: x, (x A x B) (definicin de A B) es la proposicin: x, (x A x B) (A B).
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
Algunas definiciones:
1) Una proposicin es una tautologa si, y solo si, es verdadera para todas las asignaciones de valores de verdad de sus proposiciones componentes. 2) Una proposicin es una contradiccin si, y solo si, es falsa para todas las asignaciones de valores de verdad de sus proposiciones componentes. 3) Una proposicin es una contingencia si, y solo si, no es una tautologa ni una contradiccin.
16) Estudia, utilizando las tablas de verdad, si las siguientes proposiciones son tautologa, contradiccin o contingencia: a) p (q r) b) (p (p)) c) (p q ) (q p) 17) Prueba, utilizando las tablas de verdad, que las siguientes proposiciones son tautologas: i) ((p q ) p) q (Modus Ponens) (Modus Tollens)
iv) (p q) p v) p (p q)
A las tautologas de la actividad anterior, se las denomina reglas lgicas. Definicin Llamaremos regla lgica a toda implicacin que sea una tautologa. Definicin Si p q es una tautologa, escribiremos p q, que se lee: si p, entonces q.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
p
V F V F Definicin
q
V V F F
pq
V F F V
Si la proposicin p q es una tautologa, escribiremos p q, que se lee p si y solo si q o p es equivalente a q, y a dicha proposicin la denominaremos ley lgica.
18) Prueba que las siguientes proposiciones son leyes lgicas: a) (p q) (p q) b) (p q) p q c) (p) p
disponer, previamente, de un lenguaje auxiliar que permita expresar las reglas que codifican a L. El lenguaje que empleamos para hablar acerca de otro lenguaje, se denomina metalenguaje, en tanto que, el lenguaje que es objeto de nuestra descripcin, recibe el nombre de lenguaje objeto. (Gonzlez Cabilln, 1993, p. 7)
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
qp
El bicondicional es la conjuncin de ambos! La proposicin directa expresa que p es suficiente para que se cumpla q [y que q es necesaria para que se cumpla p]; la recproca establece que p es necesaria para que se cumpla q [y que q es suficiente para que se cumpla p]. Si ambas proposiciones son verdaderas, es decir, tanto la directa como la recproca son teoremas, diremos que las proposiciones p y q son equivalentes y tambin, que p es condicin necesaria y suficiente para que se cumpla q.
Laura: Algn ejemplito?... Profesor: Durante el curso nos encontraremos con varios ejemplos. Ahora, veamos uno muy
simple que seguramente aclarar las ideas: []14
Una condicin necesaria pero no suficiente- para que un nmero sea mltiplo de 6 es que sea mltiplo de 2.
Es decir, para que un nmero sea mltiplo de 6 es necesario que sea mltiplo de 2, pero como sabemos- esto no alcanza, pues, por ejemplo 2, 8 o 10, son mltiplos de 2 pero no de 6.
12 13
Esta equivalencia es la definicin del bicondicional. Los condicionales p q y q p, se llaman, respectivamente, contrario y contra-recproco del
condicional p q, al que se lo llama directo. Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 46-47). Nota: Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
14
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
10
Decimos, pues, que la condicin n es mltiplo de 2 y de 3 simultneamente es una condicin necesaria y suficiente para que n sea mltiplo de 6.
21) Comprueba, utilizando tablas de verdad, que: i) q p es equivalente a p q (el contra-recproco es equivalente al directo). ii) p q no es equivalente a p q (el contrario no es equivalente al directo). iii) p q es equivalente a (p q) c, siendo c una contradiccin. En la parte 1) de la actividad anterior has probado que la proposicin (q p) (p q), es una ley lgica, y se llama transposicin. Esta ley es la que justifica que, en muchas ocasiones, en vez de demostrarse la proposicin directa, se demuestre, debido a que resulta ms fcil, su contrarecproca. Por ejemplo, en virtud de la ley de transposicin, demostrar la proposicin: x, x , y, y , (x y 2x 2y), es equivalente a demostrar: x, x , y, y , (2x = 2y x = y). Muchas veces se confunde la demostracin del contra-recproco, con la demostracin por el absurdo, cuyo sustento lgico es la ley que probaste en la parte 3) de la actividad anterior: (p q) [(p q) c], siendo c una contradiccin. Ya tendremos oportunidad de trabajar ms adelante con ambos mecanismos de demostracin.
Interseccin de conjuntos
22) Resuelve en el siguiente sistema:
x -5 >0 x2 +2 x -7 < 0
Definicin Sean A y B dos conjuntos. Se llama interseccin de A y B, y se escribe A B, a un nuevo conjunto formado por los elementos que pertenecen a A y a B. Simblicamente: A B = {x / x A x B}
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
11
A A B A B B
Analicemos desde el punto de vista lgico la definicin de interseccin de conjuntos. Teniendo en cuenta dicha definicin, las proposiciones x A B (1) y x A x B (2) (para un x particular) son equivalentes. Segn la tabla de verdad de la conjuncin, la proposicin (2) ser verdadera nicamente cuando las proposiciones simples x A y x B (para un x particular), sean ambas verdaderas a la vez; en todos los dems casos ser falsa. Por ejemplo, consideremos los conjuntos A = {2, 5} y B = {1, 2}, y teniendo en cuenta el anlisis realizado anteriormente, hallemos A B. 1 A B? No, pues la proposicin 1 A es falsa y la proposicin 1 B es verdadera, con lo cual la proposicin 1 A 1 B es falsa, y como son equivalentes, es falsa tambin la proposicin 1 A B; por lo tanto 1 A B es verdadera. 2 A B? S, pues las proposiciones 2 A y 2 B, son ambas verdaderas a la vez, entonces es verdadera la proposicin 2 A 2 B y por lo tanto, como son equivalentes, tambin es verdadera la proposicin 2 A B. 5 A B? No, el razonamiento es anlogo al que realizamos para justificar que 1 A B. Lo mismo sucede con cualquier otro x que no sea 2. Por lo tanto: A B = {2}.15
15
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
12
Diferencia de conjuntos
25) Escribe el conjunto de todos los nmeros reales x de modo que f (x ) = nmero real. Definicin Sean A y B dos conjuntos. Se llama diferencia de A y B, y se escribe A B, a un nuevo conjunto que tiene por elementos los que pertenecen a A y que no pertenecen a B. Simblicamente: A B = {x / x A x B}
2x 2 - 1 sea un x -5
26) Demuestra las propiedades anteriores. 27) Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B:
A A B B A
Complementacin
28) Resuelve las siguientes inecuaciones en . Escribe el conjunto solucin para cada caso. i) (x2 + 5)(2x + 7) 0 ii) (x2 + 5)(2x + 7) < 0
S1 =........................................... S2 =..........................................
S1 S2 =.................................
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
13
pertenecen a A.
c Simblicamente: AB = {x / x B x A}
B A
(A )
B
c
C B
= ............
c A AB =............ c A AB =............
31) Dados los conjuntos: A = {a, b, c, d, e}, D = {a, c, d}, E = {b, e}, F = {f, g}
B = {a, c, d, f, g},
C = {a, b, c, d, e, f, g},
a) Completa usando los smbolos de interseccin, diferencia y unin: i) A ........ B = C ii) A ........ B = E iii) A ........ B = D iv) B ........ A = F b) Determina B D, B D, B D, E F,
c c A C , BC ,
P(D),
C B y B C.
c) Indica, justificando, si las siguientes afirmaciones son verdaderas o falsas: i) {a, b} A v) {a, b} A ix) a D 32) Demuestra las siguientes igualdades: i) (A B) C = (A C) (B C)
(Propiedad distributiva de la unin con respecto a la interseccin)
iii) D A B vii) A B C
iv) B C viii) a D
c = AC BCc , con A C B C .
(Ley de De Morgan)
c c =A C BC , con A C B C .
(Ley de De Morgan16)
Augustus de Morgan (1806-1871) Matemtico ingls. En 1858, demostr las dos igualdades mencionadas, hoy conocidas universalmente como leyes de De Morgan. Estas frmulas en forma equivalente- ya haban sido introducidas por los escolsticos con escasa repercusin. Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pie de pg. 133)
16
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
14
36) Dado el conjunto A = {1, {2, 3}, 4}, indica, justificando, si las siguientes proposiciones son verdaderas o falsas: i) 1 A ii) {3, 4} A iii) {3, 2} A iv) {1, 2} A v) {{2, 3}} A vi) {1, 4} A
37) Dados los conjuntos A = {a, b, c}, B = {b, d, e} y C = {a, b, c, d, e}, determina: i) A B vii) ( A B ) ii) A B
C
iii) (A B) C ix) C A
v) (A C) (B C)
viii) A B
38) Sean M, un conjunto de 8 elementos y P, un conjunto de 5 elementos. a) Cul es el mximo nmero de elementos de M P? Por qu? b) Cul es el mnimo nmero de elementos de M P? Por qu? c) Cul es el mximo nmero de elementos de M P? Por qu? d) Cul es el mnimo nmero de elementos de M P? Por qu? 39) Considera los conjuntos: A = {x / 0 x 6}, B = {x / 2 x 8}, C = {x / 2 x 6}, D = {x / 3 x 4}. Indica si son verdaderas o falsas las siguientes proposiciones, justificando tu respuesta. b) x A x 5 c) x 8 x B d) x B x 2 e) C D f) D A a) 3 C g) A B = C h) B C = B
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
15
2 2 } y B = {x , x < }. 3 2
2; 2; 3,14} =
, 7,
3 , 0} = 2 19 iii) (2, 3] =
iv) [5, 7] = v) [5, 7] =
42) Expresa, en cada caso, el conjunto sombreado como el resultado de operaciones entre conjuntos:
, x < 9 x 6},
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
16
Ana (interrumpiendo): Profesor! No bastara decir que Un par ordenado es un par de elementos escritos en un orden definido? Juan: Ana Cmo pods escribir un par de elementos, sin escribirlos en un orden definido? En el espacio es imposible, y en el tiempo, tambin!... Profesor: S, s. Adems, el orden mencionado por Ana no es un concepto que matemticamente
hayamos presentado oficialmente en sociedad. El adjetivo ordenado que venimos empleando para los pares, tiene un carcter gramatical, y no matemtico. Dicho adjetivo pretende recordarnos que (a, b) (b, a) a menos claro est- que a y b sean iguales. Por lo tanto, tenemos que esforzarnos un poco ms en lograr una definicin de par ordenado que satisfaga nuestra curiosidad conjuntista. Es decir, para cada par de elementos a y b deseamos construir un nuevo conjunto, simbolizado (a, b) que posea la propiedad fundamental: (a, b) = (c, d) (a = c b = d) [] Intentemos, pues, dar una definicin conjuntista Obviamente, no podramos definir (a, b) como {a, b} puesto que {a, b} = {b, a} y no se cumplira la propiedad fundamental Pero cmo dar una definicin razonable de (a, b)? No es fcil!
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
17
DEFINICIN El par ordenado asociado con los elementos a y b (sotto voce: en ese orden!) es el conjunto (a, b) definido por (a, b) = {{a}, {a, b}} Observen que (a, b) es, de acuerdo con esta definicin, un conjunto binario cuyos elementos son los conjuntos {a} y {a, b} Tal definicin es, sin dudas, extravagante y no intuitiva, pero como veremos, resulta adecuada para demostrar el siguiente TEOREMA (Propiedad fundamental de los pares ordenados) Sean a, b, c, y d elementos cualesquiera. Se cumple: (a, b) = (c, d) (a = c b = d)
Demostracin:17
Terna ordenada
El concepto de par ordenado puede generalizarse fcilmente al de terna ordenada. Del mismo modo que los pares ordenados hallan una interpretacin geomtrica sencilla e interesante mediante las coordenadas de un punto del plano (dos dimensiones), las ternas ordenadas admiten tambin un modelo geomtrico extremadamente til: concretamente, las coordenadas de un punto en el espacio (tres dimensiones). Para la definicin de terna ordenada de objetos hemos de definir el smbolo (a, b, c) de suerte que (a, b, c) = (d, e, f) (a = d b = e c = f)18
17
Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (pp. 138 a 140). Notas: 1) Se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso. 2) El alumno interesado puede leer la demostracin del teorema en las pginas 140 a 142. 18 Op. Cit., p. 143.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
18
n-upla ordenada
Anlogamente, para la definicin de n-upla ordenada asociada a los elementos a1, a2, , an, se debe definir el smbolo (a1, a2, , an) con la propiedad fundamental (a1, a2, , an) = (b1, b2, , bn) (a1 = b1 a2 = b2 an = bn) 19.
Producto Cartesiano
Definicin Sean A y B dos conjuntos. Se llama producto cartesiano de A y B, y se escribe A B, a un nuevo conjunto formado por todos los pares ordenados tales que el primer componente del par pertenece al conjunto A y el segundo al conjunto B. Simblicamente: A B = {(a, b) / a
A b B}
45) Se consideran los conjuntos E y H tales que: E = {1, 2} y H = {a, b, c} Completa el producto cartesiano H E.
E H = {(1, a), (1, b), (1,c), (2, a), (2, b), (2, c)} H E = {..............
Se cumple la propiedad conmutativa del producto cartesiano? 46) Un alumno dice haber hallado el siguiente producto cartesiano:
A B = {(a, 1), (a, 2), (b, 1), (c, 1), (c, 2)}
Puede ser correcto? 47) Dados los conjuntos: A = {5, 7}, B = {7, 9} y C = {9, 10 11}; completa la siguiente tabla colocando o segn corresponda.
AB
(5, 7) (7, 9) (7, 7) (7, 5) (5, 9) (9,7) (9, 10) 48) En qu caso A B es el conjunto vaco?
BC
CA
AC
En la pg. 143 se puede consultar la definicin de terna ordenada y en la pg. 144, la definicin de n-upla ordenada.
19
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
19
En forma tabular:
A B
Diagrama sagital:
B
*
Diagrama cartesiano
*
. .
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
20
Conjunto, Relaciones, Funciones y Lgica Relaciones definidas en un conjunto 49) Considera el conjunto de palabras A = {apenas, hora, ms, carbn, pero, fro} y la relacin R definida en A: tiene la misma cantidad de letras que.
Representa la relacin en un diagrama de Venn, en el que se agregarn flechas, teniendo en cuenta que: i a i b si a R b, sale una flecha de a hacia b. si a R a, sale una flecha de a y vuelve hacia a. i a
Cuando se trata de una relacin definida en un conjunto no vaco pueden analizarse ciertas propiedades: Definicin Dado un conjunto A no vaco y una relacin R definida en A, diremos que:
R cumple la propiedad idntica o reflexiva a A, (aR a ) . R cumple la propiedad recproca o simtrica a , b A, (aR b bR a ) .
R cumple la propiedad transitiva a , b ,c A, (aR b bRc aRc ) .
50) Analiza cules propiedades cumple la relacin R de la actividad anterior.
Definicin
Dado un conjunto A (no vaco), diremos que una relacin R definida en A es de equivalencia si, y solo si, cumple las propiedades reflexiva, simtrica y transitiva. Notacin: Si una relacin
R,
se puede escribir
Si observas el diagrama de la relacin R notars que los elementos del conjunto A han quedado separados en subconjuntos. Se dice que la relacin de equivalencia R determina una particin del conjunto A en clases de equivalencia. En nuestro ejemplo quedan determinadas tres clases: A1, A2 y A3.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
21
clase de a, y se escribe V a o [a], al conjunto formado por todos los elementos de A que estn relacionados con a. Simblicamente: [a] = {x A, x R a}
51) Completa: [a]
P (A)
52) Demuestra el teorema anterior. Volviendo a la actividad 49), tenemos que: Dos elementos pertenecientes a la misma clase, se llaman equivalentes. Por ejemplo, las palabras hora y fro son equivalentes (tienen la misma cantidad de letras). Puesto que dos cualesquiera de los elementos de una clase son equivalentes, cualquier elemento de una clase puede servirnos como representante de dicha clase. El conjunto formado por las clases de equivalencia A1, A2 y A3, se denomina conjunto cociente de A mdulo Definicin Dado un conjunto A (no vaco) y una relacin
R, y se lo nota: A
cociente de A mdulo
Simblicamente: A
R,
y se escribe A
= {[x ] P (A ) / x A } .
R definida
en A: es divisor
Para las clases A1, A2 y A3 que la relacin R determin (actividad 49), se verifican las siguientes tres propiedades: 1. Cada clase tiene por lo menos un elemento. Simblicamente: A1 , A2 y A3 .
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
22
Definicin Se llama particin de un conjunto A (no vaco), a todo subconjunto del conjunto de partes de A, en donde sus elementos cumplen: son no vacos, disjuntos dos a dos, y su unin es el conjunto A. Simblicamente: Consideremos dos conjuntos A e I, tales que A , I e I . es una particin de A si, y solo si, = {Ai , i I } que verifica:
P (A).
Ai = A.
20
Ai , i I.
i I
Ai Aj Ai Aj = , i , j I .
54) En geometra se dice que una recta, una circunferencia o la mediatriz de un segmento, determinan una particin del plano, a qu particin se est haciendo referencia? Teorema
Una posible lectura del teorema anterior es que toda relacin de equivalencia definida en un conjunto A (no vaco) determina una particin de A en clases de equivalencia.
55) Demuestra el teorema anterior.
y = { {b }, {a , c , d } } .
Ai = {x , i I x Ai } .
i I
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
23
R,
cmo se vinculan
relacionados si, y solo si, pertenecen al mismo elemento de la particin . Entonces, dicha relacin es de equivalencia y el conjunto cociente que esta relacin R determina es la particin . 57) Demuestra el teorema anterior.
58) Se considera el conjunto A = {a, b, c, d, f} y la particin de A: = {{a, b, c}, {d}, {f}}. Escribe por extensin la relacin de equivalencia comprueba que: A
= .
59) a) Comprueba que la relacin paralelismo, definida en el conjunto de todas las rectas del plano, es de equivalencia. b) Por qu elementos est compuesta cada clase de equivalencia que la relacin paralelismo determina en el conjunto de todas las rectas del plano? Qu nombre recibe cada una de estas clases? 60) Se consideran los conjuntos A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, B = {0, 1, 2, 3, 4},
R1 y R2
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
24
61) Se consideran los conjuntos A = {0, 1, 2}, B = {0, 1, 2, 3, 4}, C = {0, 1, 2, 3, 4, 5},
63) Analiza para cada una de las siguientes relaciones si son de orden estricto o amplio, parcial o total: i) definida en P (A) (con A ). ii) definida en . iii) definida en . iv) < definida en . v) > definida en .
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
25
R de orden amplio definida en un conjunto A no vaco. Diremos que a A es un elemento mnimo de A si, y solo si, x A, a R x. Diremos que b A es un elemento mximo de A si, y solo si, x A, x R b.
64) Podr existir ms de un mximo o ms de un mnimo? Justifica. 65) Se considera el conjunto B = {a, b, c, d, e, f} y la relacin
R = {(a, a), (b, a), (b, b), (c, a), (c, b), (c, c), (d, a), (d, c), (d, d), (e, f), (f, f)}. a) Representa R en un diagrama cartesiano y comprueba que no es una relacin de orden
amplio. b) Define una nueva relacin S tal que R est incluida en S, agregando a cantidad de pares ordenados posibles para que S sea de orden amplio. c) Investiga la existencia de mnimo y mximo en B segn la relacin S. representaciones en diagramas cartesianos son las siguientes:
la menor
66) Sean R1, R2, R3 y R4, relaciones definidas en el conjunto A = {0, 1, 2}, cuyas
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
26
Ms actividades
67) Dados los conjuntos: A = {a, b, c, d}; B = {1, 2, 3}; C = {a, c, 2, 3}
R1 = {(a, 2), (a, 1), (b, 3)}; R2 = {(a, 1), (c, 1)}; R3 = {(2, a), (3, c), (2, c)} y R4 = {(x, y) / x = y, x , 0 < x 3}
a) Investiga si las siguientes son relaciones en los conjuntos que se indican: R 1 : A B; R3 : A B; R2 : A B; R2 : A C; R3 : B A; R3 : B C; R3 : C B; R4 : B B; R4 : B C; R1 : A C b) Representa mediante diagramas las relaciones de la parte a). 68) Dado el conjunto A = {a, b, c, d, e}, define tres relaciones diferentes en A y representa cada una de ellas mediante diagrama de flecha, diagrama cartesiano y en forma tabular. 69) Investiga qu propiedades cumplen cada una de las siguientes relaciones: a) La relacin de paralelismo, en el conjunto de las rectas del plano. b) La relacin es menor que, en el conjunto de los nmeros naturales (). 70) Investiga qu propiedades cumple cada una de las siguientes relaciones y, en caso de ser posible, clasifcalas: a) La relacin es hermano de (para esta actividad, diremos que x es hermano de y, si x e y son hijos de la misma madre y el mismo padre) definida en el conjunto de todos los seres humanos. b) La relacin es divisor de definida en el conjunto A = {2, 3, 6, 8, 12}. c) La relacin es amigo de (debes indicar cundo diremos que x es amigo de y) definida en el conjunto de todos los seres humanos. d) La relacin es menor o igual que definida en el conjunto A de la parte b). 71) Dado A = 1, 2,3, 4 , se consideran las siguientes relaciones definidas en A :
{ } R1 = { (1,1), (1,2), (1,3), (2,2), (2,1), (2,3), (3,3), (3,1), (3,2), (4, 4) } R2 = {(1,1), (1,3), (2,3), (3,3), (3,1), (3,2), (4, 4) }
a) Representa cada una en un sistema de ejes cartesianos. b) Indica en cada caso si la relacin representada corresponde o no a una relacin de equivalencia. Justifica. 72) Se consideran el conjunto A = {1, 2, 3, 4, 6,9, 12, 18, 36} y la relacin divide a definida en A.
Realiza un diagrama sagital de dicha relacin e investiga si es de orden.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
27
R definida en B
es de equivalencia.
A = { a ,b ,c ,d
} {
a) Se considera la relacin
}?
P (A ) R
?
a) Investiga si las relaciones anteriores son de equivalencia. Justifica. b) En cada caso, si la relacin es de equivalencia, escribe las clases de equivalencia. Justifica. 77) En el conjunto de puntos de un plano se define la relacin: P
R P d (P ,O ) = d (P ,O ),
siendo O un punto determinado del plano. a) Prueba que R es de equivalencia. b) Halla la clase de T, siendo T un punto del plano y determina el conjunto cociente.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
28
R y x y = x3 y3
R y xy > 0.
R (x, y ) x x = 2(y y )
a) Prueba que R es de equivalencia b) Halla las clases de (0, 0) y de (2, -1). 81) Sea A un conjunto y
R1 y R2
R1 R2 es una
relacin de equivalencia en A. 82) Sea R definida en A, con A tal que R es idntica y transitiva; y sea que a S b a R b b R a. Es S una relacin de equivalencia? 83) Se considera el conjunto A = {1, 2, 3, 4} y se define la siguiente relacin:
S definida en A tal
R : A, a R b
a) Determina R por extensin.
a =b a +b =3
84) (Primer parcial 2009). Se consideran la funcin f : , f (x ) = x 2 2 y la relacin S : , aSb f (a ).f (b ) > 0. a) Determina el conjunto H = {x , xSx } . b) Demuestra que la relacin T : H , aTb f (a ).f (b ) > 0, es de equivalencia. c) Halla el conjunto cociente
( H )
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
29
t
(segundos)
0 0
1 5
1,3 8,45
2 20
3 45
3,5 61,25
4 80
e (t) (metros)
a) A partir de la tabla encuentra una frmula (e(t)) para el espacio recorrido en funcin del tiempo. Indica dominio y posibles codominios para la funcin e, teniendo en cuenta que la pelota llega al piso a los cuatro segundos. b) Representa grficamente e en funcin de t. c) Representa grficamente la funcin f cuya frmula es la misma que la que obtuviste en la parte a), pero ahora con dominio y codominio + ( +0 = + {0}). 0 Definicin Sean A y B dos conjuntos. Se dice que f es una funcin de A en B, y se escribe: f : A B, si y solo si f es una relacin de A en B que cumple que, todo elemento de A est relacionado con un nico elemento de B. Observacin
f es la funcin, es decir, un conjunto de pares ordenados. f (x) es la imagen de x al aplicar la funcin f, es decir, es un elemento del
codominio.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
30
Lenguaje analtico: expresin analtica que relaciona las dos variables. Si x indica el nmero de boletos vendidos y el dinero recaudado en pesos lo expresamos con y, entonces la relacin entre las dos variables viene dado por la expresin y = 15.x Lenguaje grfico: grfica que relaciona las dos variables. Una grfica nos permite, entre otras cosas, observar globalmente el fenmeno.21
$ 75 60 45 30 15
.
0 0
..
1
..
N de boletos vendidos
2 3 4 5
Otra posible forma de representar una funcin es a travs de los llamados diagramas sagitales o diagramas de flechas: N de boletos $
vendidos 1 2 3 4 5 0 15 30 45 60 75
21
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
31
Definicin Una funcin f : A B es sobreyectiva si el recorrido de la funcin es igual al codominio, o dicho de otro modo, si todo elemento del codominio tiene preimagen. Simblicamente: f : A B sobreyectiva Rec(f) = Cod(f) o tambin:
f : A B sobreyectiva y B, x A, f (x) = y
87) La funcin e de la actividad anterior, es sobreyectiva? Discute segn que el codominio sea + , o [0, 80]. 0 Y la funcin f? Justifica. Definicin Una funcin es biyectiva si y solo si es inyectiva y sobreyectiva. 88) La funcin e de la actividad anterior, es biyectiva? Discute segn que el codominio sea + , o [0, 80]. 0
Funcin Inversa
89) Sea h : / h(x) = 2x 3 a) Completa:
x y
1 3
1 1
b) Representa grficamente h.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
32
R,
y se escribe
R -1,
a la relacin
90) Se consideran los conjuntos A = {1, 2, 3}, B = {a, b, c}, C = {m, n, p, q} y las relaciones:
f : A B / f = {(1, a), (1, b), (2, c)} g: A B / g = {(1, a), (2, a), (3, b)} h : A B / h = {(1, a), (2, c), (3, b)} i: A C / i = {(1, n), (2, q), (3, p)} j : A C / j = {(1, m), (2, p)} k : C A / k = {(n, 1), (m, 2), (p, 1), (q, 3)}.
i) Represntalas a travs de diagramas de flechas. ii) Alguna de las relaciones anteriores es funcin? En caso afirmativo, clasifcala. iii) Halla f -1, g -1 y h -1. Alguna de estas relaciones es funcin? En caso afirmativo, clasifcala. Teorema
Observa que: 1) Por definicin, x A, y B, f -1(y) = x f(x) = y, por lo tanto, x, x A, f -1(f(x)) = x. 2) A partir de la definicin, A (y0, x0) es un punto de la grfica de f -1 si y solo si A (x0, y0) es un punto de la grfica de f. Los puntos A y A son simtricos respecto a la recta que contiene a la bisectriz del primer cuadrante (si tomamos la misma unidad de medida en ambos ejes). Admitiremos que la grfica de f y la grfica de f -1 son simtricas respecto a la recta representacin grfica de la funcin b : / b(x) = x.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
33
f ( x)
g(f (x))
g of
92) Demuestra que la relacin definida anteriormente es una funcin, a la que llamaremos funcin compuesta.
+ , f (x ) = x y g : , g (x ) = 5x . 93) i) Sean f : + 0 0
Investiga si existe f
ii) Sean j : , j (x ) = 2x y h : , h (x ) = x 2 .
Investiga si existe j h y h j . Justifica. En caso afirmativo, hllalas.
Ms actividades
94) Representa y clasifica las siguientes funciones:
-2x + 1 si x > 0 a) f : , f (x ) = 2 x + 1 si x 0
c) h : , h (x ) =
b) g : [1, + ) , g(x ) = x + 1
2
x 1
2
95) Sea f : / f (x) = 2x + 1 a) Prueba que f es biyectiva. b) Determina la expresin analtica de la funcin f -1. c) Grafica f y f -1 en un mismo sistema de ejes coordenados. Qu observas? 96) Definicin de funcin par: Sea f una funcin real.
Se dice que f es una funcin par si, y solo si, f(x) = f(x), x D(f).
x Sea f : / f (x ) = 3
2 < x < 2
x 2 x 2
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
34
x Sea f : / f (x ) = 3 3
2 < x < 2 x 2
x 2
a) Grafica la funcin f. b) Es f una funcin impar? Justifica. c) Qu propiedad geomtrica observas en la grfica de f? Se podr generalizar para toda funcin impar? 98) Sea M = { x / x , x = 4 }. Se puede determinar una funcin biyectiva de en M? Justifica tu respuesta. 99) a) Decide y justifica cul o cules de las siguientes grficas corresponden a funciones de
en .
b) Clasifica las funciones de en que determinaste en la parte a). c) Indica cul o cules de las funciones anteriores son invertibles. En esos casos grafica su funcin inversa (en el mismo sistema de ejes coordenados).
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
35
x
1+ x
x + 1 si x 3 103) Se considera f : tal que f (x ) = 2 x 2 1 si x < 3 a) f es funcin? Justifica tu respuesta. b) f es inyectiva? Justifica tu respuesta. c) f es sobreyectiva? Justifica tu respuesta.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
36
104) Sean f : 2 2 / f ((x , y ) ) = ( x, y ) y g : 2 2 / g ((x , y ) ) = ( y, x ) . a) Investiga si son funciones biyectivas. b) Interpreta geomtricamente. c) Investiga si existe g f y en caso afirmativo halla su frmula e interpreta
geomtricamente.
x 3 si x 4 105) Sea f : / f ( x ) = x + 5 si x > 4 Investiga si f es una funcin, y en caso afirmativo si es inyectiva o sobreyectiva.
106) Se consideran las funciones f : / f (x ) =
x2
f : ( 1, + ) , f (x ) = x 2 4x + 3 y h : [ 2, +) , h (x ) =
3, si x 0 x + 1, si 2 x < 0
x 2 + 3, si x 1 108) (Primer parcial 2010). Se consideran A y la funcin j : A / j (x ) = 3 x 2, si x < 1 2 i) Halla A para que exista j 1 .
ii) Halla j 1 . iii) Realiza un bosquejo de la grfica de j 1 .
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
37
P es una funcin proposicional definida en un conjunto A (no vaco), si y solo si, P es una funcin de dominio A y codominio B, siendo B el conjunto de todas las proposiciones.
En otras palabras, P es una funcin proposicional definida en A (no vaco), si y solo si, para todo a perteneciente a A, P(a) es una proposicin. Por lo tanto P(a) puede ser verdadera o falsa, pero no ambas cosas a la vez. Ejemplo
P tal que P(x): MCD(x, 3) = 3 definida en , es una funcin proposicional; en cambio P tal que P(x): MCD(x, 3) = 3 definida en , no es una funcin proposicional.
Definicin Sea P una funcin proposicional definida en un conjunto A (no vaco). Se llama conjunto de validez de P, y se escribe VP, al conjunto formado por los elementos pertenecientes a A que hacen que P(x) sea verdadera. Ejemplos 1) Sea P / P(x): x + 2 > x, definida en . El conjunto de validez de P es VP = En este caso diremos que es una funcin proposicional verdadera. 2) Sea P / P(x): x + 2 > 1, definida en . El conjunto de validez de P es VP = {x / x > 1} 3) Sea P / P(x): x + 2 < x, definida en . El conjunto de validez de P es VP = En este caso diremos que es una funcin proposicional falsa.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
38
22
109) Trata de agrupar entre las proposiciones siguientes aquellas que consideras equivalentes. Luego, escribe las respectivas negaciones. i) No todos los nmeros primos son impares. ii) No todos los nmeros primos son pares. iii) Todos los nmeros primos son pares. iv) Todos los nmeros primos son impares. v) Ningn nmero primo es par. vi) Ningn nmero primo es impar. vii) Hay, al menos, un nmero primo impar. viii) Hay, al menos, un nmero primo par. ix) Algn nmero primo no es impar. x) Algn nmero primo no es par. 110) Escribe la negacin de cada una de las proposiciones que siguen: i) x, x , x + 1 = 0 iii) x, x , x + 1 = 1 ii) x, x , x . 0 = 0 iv) x, x , x2 1 = (x 1)(x + 1)
22
Extradas de: Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. (p. 83). Nota: se han realizado modificaciones al texto original para que la cita guarde coherencia con el curso.
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
39
Conjunto, Relaciones, Funciones y Lgica Funciones Proposicionales o Funciones Lgicas de varias variables
Tambin se pueden presentar funciones proposicionales en dos variables, por ejemplo:
A2, , An, conjuntos no vacos). Se llama conjunto de validez de P, y se escribe VP, al conjunto
formado por todas las n-uplas pertenecientes a A1 A2 An, que hacen que P(x1, x2, , xn) sea verdadera.
Cuantificadores mltiples
Consideremos la funcin proposicional de dos variables P definida en A B (A y B son conjuntos no vacos). Se puede transformar dicha funcin en una proposicin cuantificndola de las siguientes formas: en B. Ejemplos Consideremos la funcin proposicional P(x, y): x + y = y, definida en . 1) La proposicin x, y, x + y = y 2) La proposicin x, y, x + y = y 3) La proposicin x, y, x + y = y 4) La proposicin x, y, x + y = y es falsa. es verdadera. es falsa. es verdadera. x, y, P(x, y) x, y, P(x, y) x, y, P(x, y) x, y, P(x, y)
Observa que x, P(x, y), no es una proposicin, es la forma de una funcin proposicional definida
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
40
Negacin de cuantificadores mltiples Veamos cmo podemos obtener la negacin de la proposicin: x, y, P(x, y). Consideremos Q(x): y, P(x, y). Entonces tenemos que: (x, y, P(x, y)) (x, Q(x)) x, (Q (x)) x, (y, P(x, y)) x, y, (P(x, y)).
23
f definida en A A tal que f(x, y): x2 y + 1 g definida en A A tal que g(x, y): x2 + y 2 12 h definida en A3 tal que h(x, y, z): x2 + y 2 2z2.
Halla el valor de verdad de las proposiciones: i) x, y, f(x, y) ii) x, y, g(x, y) iii) x, y, g(x, y) iv) x, y, z, h(x, y, z) v) x, y, z, h(x, y, z) 113) Sean A = {x / 1 x 10} y la funcin proposicional f tal que f(x, y): x + y 14, definida en A A. Considera las siguientes expresiones e indica, en caso de que sea una proposicin, su valor de verdad, y en caso de que sea una funcin proposicional determina el conjunto de validez: a) x, x A, f(x, y) b) x, x A, y, y A, f(x, y) c) x, x A, y, y A, f(x, y) d) y, y A, f(x, y) 114) Expresa la negacin de la siguiente proposicin: x, x , (x), (x) , x + (x) = x + x = 0 (Existencia de opuesto en )
Extrado de Becerra, M. E. & Tosetti, A. M. Ficha N 2. Matemtica Bsica. 2 parte (Lgica). Montevideo: Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA. (pp. 15-16).
23
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
41
Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti
42