You are on page 1of 28

CONJUNTO, RELACIONES, FUNCIONES Y LGICA

Fundamentos de la Matemtica 2010

Introduccin
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 slo ellos). Actividades 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 4A A 1A 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 es componente qumico del agua} ii) E = {x / x = 3n, n , 5 n 8}

1 iii) F = {x / (x 2 )(x 2 2) = 0 } 9

Igualdad de conjuntos
Definicin

Dos conjuntos son iguales si tienen los mismos elementos. Simblicamente: A = B x, ((x A x B) (x B x A))

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

Conjunto, Relaciones, Funciones y Lgica


Actividad

Completa con:

o=

{2, 1, 5} ...... {x / (x + 1)(x 2)(x 5) = 0} [2, 3] ....... {x / 2 < x 3} {x / (x 1 1 )(x + 9) 0} ....... [9, ] 2 2

A = B (1) y x, ((x A x B) (x B x A)) (2), son lo que se denominan

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 son equivalentes (y lo notaremos con el smbolo ), cuando tienen los mismos valores de verdad. En la proposicin (2) aparece el llamado cuantificador universal (), y las operaciones bsicas:

conjuncin () e implicacin (). Las definiciones de estas operaciones vienen dadas por las
siguientes tablas, que nos permiten determinar el valor de verdad de una proposicin compuesta en funcin de los valores de verdad de las proposiciones simples que la forman:

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

Si p y q son dos proposiciones, a la proposicin p q, que se lee p y q, se la denomina conjuncin


lgica de p y q. 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. Si p y q son dos proposiciones, a la proposicin p q, que se lee p implica q, se la denomina
condicional o implicacin lgica de las proposiciones p y q (en ese orden). Tambin se dice que p es el antecedente del condicional y que q, es el consecuente.
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)
2

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

Conjunto, Relaciones, Funciones y Lgica


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)

Cabe esperar que la proposicin anterior sea verdadera. Al sustituir n por diferentes nmeros enteros en las expresiones n > 2 y n2 > 4, se obtienen distintas proposiciones y se dan todas las posibles combinaciones de valores de verdad, exceptuando la combinacin V-F. Por ejemplo, tomando n como 3, 3 y 1, resultan respectivamente las combinaciones V-V, F-V y F-F, y todas estas combinaciones dan a la implicacin el valor de verdad esperable (V)3.

Inclusin. Subconjuntos.
Actividades

1) Resuelve las siguientes ecuaciones e inecuaciones en : i) x2 x = 0 ii) x2 0

S1 = S2 = S3 = S 4=

iii) x (2x 1) (x 4) = 0 iv) x 5 = x + 6


Definicin

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. 2) Indica si las siguientes proposiciones son falsas o verdaderas, justificando en cada caso:

S1 S2 S3 S2 S3 S3 S1 S2 S3 S4 S1
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

Conjunto, Relaciones, Funciones y Lgica


Observa que todo conjunto es subconjunto de s mismo: A A Analicemos ahora desde el punto de vista lgico, la definicin de inclusin amplia. Como las proposiciones A B (1) y x, (x A x B) (2) son equivalentes, para que la proposicin (1)

sea verdadera (es decir para que A est incluido en B) la proposicin (2) debe ser verdadera. Como la proposicin x, (x A x B) es compuesta, su valor de verdad depende de los valores de verdad de las proposiciones simples: x A y x B (cualquiera sea x). Segn la tabla de verdad de la implicacin, tenemos que: 1) si x A y x B (cualquiera sea x) son ambas verdaderas, la proposicin: x, (x A x B) tambin lo es, con lo cual A B es verdadera (ya que las proposiciones (1) y (2) son equivalentes). 2) si x A y x B (cualquiera sea x), son ambas falsas es decir, si x no es un elemento de A y x no es un elemento de B, entonces la proposicin: x, (x A x B) es verdadera, y por lo tanto A est incluido en B. 3) si x A es falsa y x B es verdadera (cualquiera sea x), entonces la proposicin: x, (x A x B) es verdadera, y por lo tanto A est incluido en B. 4) si x A es verdadera y x B es falsa (para algn x), entonces la proposicin: x, (x A x B) es falsa y por lo tanto A no est incluido en B. En conclusin, A no est incluido en B, nicamente cuando existe un elemento x que pertenece a A y ese elemento x no pertenece a B. Simblicamente: A

B x, (x A x B).

Consideraremos que la proposicin x B (para algn x), es la negacin de la proposicin x B. Si la proposicin x B (para algn x) es verdadera, la proposicin x B, es falsa y, por el contrario, si x B (para algn x) es falsa, la proposicin x B, es verdadera. En general, si p es una proposicin, la proposicin p, que se lee no p , se denomina negacin de la proposicin p. La tabla de verdad de la negacin es la siguiente:

p
V F

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)).
4 5

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.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

Conjunto, Relaciones, Funciones y Lgica

Profesor: decir que la proposicin


x, (P(x))

es verdadera significa que la proposicin


x, P(x)7

es falsa. Por ejemplo: si es cierto que

Todo alumno entiende los cuantificadores


entonces decir que

Existen alumnos que no entienden los cuantificadores


es falso. Es claro, no?... [] Juan: Ah! Pero, yo pensaba que la negacin de

Todas sus explicaciones son claras


era

Ninguna de sus explicaciones es clara


pero veo que estaba en un error. Debo decir:

Algunas de sus explicaciones no son claras


Profesor: Muy buen ejemplo, Juan. Y gracias por tu sinceridad
Ahora bien, el cuantificador universal puede asimilarse, intuitivamente, a expresiones que indican universalidad (en alemn, Algemanheit, de donde proviene el smbolo : una A invertida). El carcter universal de una proposicin del lenguaje cotidiano se obtiene, usualmente, anteponiendo al sujeto la palabra todo (en ingls, All, lo que ha generalizado la notacin )8

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: = { }.
6 7 8

Se lee: Para todo x, se verifica P(x)

Se lee existe x tal que se verifica P(x) 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 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

Conjunto, Relaciones, Funciones y Lgica


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, 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).
Actividad

Indica si las siguientes proposiciones son verdaderas o falsas: 1) { } 2) { } 3) {} 4) 5)

Conjunto de Partes o Conjunto Potencia


Definicin

Dado un conjunto A, se llama conjunto de partes de A o conjunto potencia de A, y se escribe P(A), al conjunto cuyos elementos son todos los subconjuntos de A. Simblicamente: P(A) = {X / X A}
Actividades

1) Sea A = {1, 2, 3}, escribe P(A). Sea B = {1, 2}, escribe

P(B).

Sea C = {3}, escribe P(C). 2) Completa: Si un conjunto E tiene n elementos, el conjunto P(E) tiene .......... elementos. 3) El conjunto de partes de A, puede ser vaco? Justifica.

Operaciones entre conjuntos Unin de conjuntos


Actividades

Resuelve las siguientes inecuaciones en y escribe el conjunto solucin utilizando intervalos de nmeros reales: 3x2 <0 x2 +1 ii) ( x 3)x 2 (x 4) > 0 i)

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

Conjunto, Relaciones, Funciones y Lgica


Definicin

Sean A y B dos conjuntos. Se llama unin de A y B, y se escribe A B, a un nuevo conjunto cuyos elementos pertenecen a A o a B. Simblicamente: A B = {x / x A x B}
Actividad

Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B:

En la frmula: x A x B, aparece la operacin bsica llamada disyuncin (). La definicin de esta operacin viene dada por la siguiente tabla:

p
V F V F

q
V V F F

pq
V V V F

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 y q. 10

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) (cualquiera sea x), 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 (para algn x) 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?

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

Conjunto, Relaciones, Funciones y Lgica


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}
Actividad

1) 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) 2) 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) (definicin de A

B).

Algunas definiciones:
1) Una proposicin es una tautologa si y slo si es verdadera para todas las asignaciones de valores de verdad de sus proposiciones componentes. 2) Una proposicin es una contradiccin si y slo si es falsa para todas las asignaciones de valores de verdad de sus proposiciones componentes. 3) Una proposicin es una contingencia si y slo si no es una tautologa ni una contradiccin.
Actividades

1) 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)

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

Conjunto, Relaciones, Funciones y Lgica


2) Prueba, utilizando las tablas de verdad, que las siguientes proposiciones son tautologas: i) ((p q ) p) q (Modus Ponens) (Modus Tollens)

ii) ((p q ) (q)) p iii) p p (Identidad)

iv) (p q) p v) p (p q)

(Simplificacin) (Adicin) (Silogismo disyuntivo) (Silogismo hipottico)

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

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

A las tautologas de la actividad 2, 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.

Propiedades de la operacin Unin


1) A A = A (Idempotencia) 2) A B = B A (Conmutativa) 3) A (B C) = (A B) C (Asociativa) 4) A = A (Existencia del elemento neutro) 5) A A B 6) B A A B = A En la propiedad 6, aparece una operacin bsica ms. La definicin de esta operacin viene dada por la siguiente tabla:

p
V F V F

q
V V F F

pq
V F F V

Si p y q son dos proposiciones, a la proposicin p q, que se lee p implica doblemente a q, se la denomina bicondicional de las proposiciones p y q.11
11

Los smbolos: , , , , , se llaman conectivos lgicos.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

Conjunto, Relaciones, Funciones y Lgica

Definicin

Si la proposicin p q es una tautologa, escribiremos p q, que se lee p si y slo si q o p es equivalente a q, y a dicha proposicin la denominaremos ley lgica.
Actividad

Prueba que las siguientes proposiciones son leyes lgicas: a) (p q) (p q) b) (p q) p q c) (p) p

Tambin se cumplen las siguientes equivalencias:


1) (p p) p Idempotencia de la disyuncin. 2) (p p) p Idempotencia de la conjuncin. 3) (p q) (q p) Conmutativa de la disyuncin. 4) (p q) (q p) Conmutativa de la conjuncin. 5) [(p q) r] [p (q r)] Asociativa de la disyuncin. 6) [(p q) r] [p (q r)] Asociativa de la conjuncin. 7) [p (q r)] (p q) (p r) Distributiva de la conjuncin respecto de la disyuncin. 8) [p (q r)] (p q) (p r) Distributiva de la disyuncin respecto de la conjuncin. 9) p p t, siendo t una tautologa. Tercero Excluido. 10) p p c, siendo c una contradiccin. 11) p t t, siendo t una tautologa. 12) p t p 13) p c p 14) p c c, siendo c una contradiccin. 15) (p q) (p q) Ley de De Morgan. 16) (p q) (p q) Ley de De Morgan.

Actividad

Demuestra las propiedades de la unin de conjuntos enunciadas ms arriba.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

10

Conjunto, Relaciones, Funciones y Lgica


Actividad

Comprueba que las proposiciones p q y (p q) (q p), son equivalentes12. Silvia: [p q] Es como si fueran dos condicionales! No, Profesor?

Profesor: Y, s!... En la proposicin anterior, se indican, el condicional

p q 13
al que se suele llamar directo, y su recproco

qp
El bicondicional es la conjuncin de ambos! La proposicin directa expresa que p es suficiente para que se cumpla q; la recproca establece que p es necesario para que se cumpla q. 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:

Una condicin necesaria pero no suficiente- para que un tringulo sea equiltero es que sea un tringulo issceles.
Es decir, para que un tringulo sea equiltero es necesario que sea issceles, pero como sabemos- esto no alcanza, pues, los tres lados deben ser iguales.

Una condicin suficiente pero no necesaria- para que un tringulo sea issceles es que sea un tringulo equiltero.
Es decir, para que un tringulo sea issceles basta que sea equiltero, pero como sabemos- esto no es imprescindible, pues, tendramos ms que lo que realmente necesitamos.

Alfredo: Y algn ejemplo de condicin necesaria y suficiente?... Profesor: Pasemos, ahora, a los nmeros:

n es mltiplo de 3 implica que la suma de sus cifras es mltiplo de 3. La suma de las cifras de n es mltiplo de 3 implica que n es mltiplo de 3.

Decimos, pues, que la condicin la suma de las cifras de n es mltiplo de 3 es una condicin necesaria y suficiente para que n sea mltiplo de 3.14

12 13

Esta equivalencia es la definicin del bicondicional. Los condicionales p q y q p, se llaman, respectivamente, contrario y contrarecproco 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

11

Conjunto, Relaciones, Funciones y Lgica


Segn lo anterior, la propiedad 6 se puede expresar: B A es condicin necesaria y suficiente para que se cumpla que A B = A.
Demostraremos, antes de pasar a otra operacin entre conjuntos, la propiedad 5 de la operacin unin: A A B, prestando especial atencin a los aspectos lgicos de la prueba. x, x A x, (x A x B) x, (x A B).
(1) (2)

Por lo tanto, aplicando la regla lgica silogismo hipottico15, tenemos que: (x, x A x, (x A B)) A A B
(3)

(1) Se utiliz la regla lgica adicin: p (p q) y la definicin de . (2) Definicin de la operacin unin. (3) Definicin de inclusin.
Actividad

Comprueba, utilizando tablas de verdad, que: 1) q p es equivalente a p q (el condicional contrarecproco es equivalente al directo). 2) p q no es equivalente a p q (el condicional contrario no es equivalente al directo). 3) 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 contrarecproco, 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
Actividad

Resuelve en el siguiente sistema:

x -5 >0 x2 +2 x -7 < 0

15

Un anlisis ms minucioso nos mostrara que en este paso tambin se ha aplicado que p q es

equivalente a (p q) (q p) y la regla lgica simplificacin.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

12

Conjunto, Relaciones, Funciones y Lgica


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}
Actividad

Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B.

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) (cualquiera sea x) 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 (cualquiera sea x), 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}.16

16

A un conjunto con un slo elemento se le llama unitario.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

13

Conjunto, Relaciones, Funciones y Lgica Propiedades de la operacin Interseccin


1) A A = A (Idempotencia) 2) A B = B A (Conmutativa) 3) A (B C) = (A B) C (Asociativa) 4) A = (Absorcin) 5) A B A 6) B A A B = B
Actividad

Demuestra las propiedades anteriores.

Diferencia de conjuntos
Actividad

Escribe el conjunto de todos los nmeros reales x de modo que f (x ) = real.


Definicin

2x 2 - 1 sea un nmero x -5

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}

Propiedades de la operacin Diferencia


1) A A = 2) A = A 3) A = 4) A (B C) = (A B) C
Actividad

Demuestra las propiedades anteriores.


Actividad

Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B.

A A B B A

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

14

Conjunto, Relaciones, Funciones y Lgica Complementacin


Actividad

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 =..........................................

iii) Completa: S1 S2 = ...............................

S1 S2 =.................................
Definicin

Sean los conjuntos A y B tal que A B. Se llama complemento de A con respecto a B, y se


c ' escribe AB , AB o AB , al conjunto formado por los elementos que pertenecen a B y que no

pertenecen a A.
c Simblicamente: AB = {x / x B x A}

Actividades
c 1) Raya en la figura el conjunto AB .

B A

2) Completa:

(A )
B
c

= ............

c A AB =............ c A AB =............

3) 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,

ACc , BCc ,

P(D),

C B y B C.

c) Indica, justificando, si las siguientes afirmaciones son verdaderas (V) o falsas (F): i) {a, b} A ii) {a, b} C iii) D A B iv) B C v) {a, b} A ix) a D vi) C E vii) A B C viii) a D

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

15

Conjunto, Relaciones, Funciones y Lgica


d) Demuestra las siguientes igualdades: i) (A B) C = (A C) (B C)
(Propiedad distributiva de la unin con respecto a la interseccin)

ii) (A B) C = (A C) (B C) (Propiedad distributiva de la interseccin con respecto a la unin)


c c iii) (A B ) = A C BC c

(Ley de De Morgan)

c c iv) (A B ) = A C BC

(Ley de De Morgan17)

Par Ordenado
Profesor: Creo que ha llegado el momento de considerar un concepto particularmente importante con el cual ustedes ya estn familiarizados. Me refiero, concretamente, al concepto de par ordenado. Lo recuerdan?... [] Si a y b designan dos objetos matemticos cualesquiera, el par ordenado asociado con a y b, se representa mediante el smbolo (a, b) donde a y b se denominan, respectivamente, primer componente y segundo componente del par ordenado. []

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.

17

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)

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

16

Conjunto, Relaciones, Funciones y Lgica


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! 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:18

18

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.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

17

Conjunto, Relaciones, Funciones y Lgica 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)19

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) 20.

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}
Actividades

1) 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?

19

20

Op. Cit., p. 143. En la pg. 143 se puede consultar la definicin de terna ordenada y en la pg. 144, la definicin de n-upla ordenada.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

18

Conjunto, Relaciones, Funciones y Lgica


2) Un alumno dice haber hallado el siguiente producto cartesiano:

A B = {(a, 1), (a, 2), (b, 1), (c, 1), (c, 2)}
Puede ser correcto? 3) 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) 4) En qu caso A B es el conjunto vaco?

BC

CA

AC

Relacin
Definicin

Se llama relacin de A en B, y se escribe R : A B, a cualquier subconjunto del producto cartesiano A B. Simblicamente: R es una relacin de A en B R A B
Terminologa

Si R es una relacin de A en B, y (a, b) R, diremos que a est relacionado con b y lo representaremos: a R b o R (a) = b. Habitualmente trabajaremos con relaciones de A en A a las que llamaremos, en forma ms breve, relaciones definidas en A o relaciones en A. Usualmente, en vez de escribir R : A A, se escribe R : A.

Funcin
Actividad

Se deja caer una pelota desde un edificio y se registra en la siguiente tabla la medida del espacio recorrido e, en metros, en funcin del tiempo t, en segundos:

t
(segundos)

0 0

1 5

1,3 8,45

2 20

3 45

3,5 61,25

4 80

e (t)
(metros)

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

19

Conjunto, Relaciones, Funciones y Lgica


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. 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 slo 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 : A B es funcin, significa: f es una relacin de A en B: f A B


Existencia: x, x A, y, y B, (x, y) f Unicidad: x, x A, y, y B, z, z B (((x, y) f (x, z) f) y = z)
Terminologa

Consideremos la funcin f : A B: 1) A se llama dominio de la funcin f, y se escribe D(f) 2) B se llama codominio de la funcin f, y se escribe Cod(f) 3) Si y B est relacionado con x A, diremos que y es el correspondiente o la imagen de x, y que x es la preimagen de y; escribiremos f (x) = y.
Observa que para que una funcin quede definida es necesario indicar dominio, codominio y una cierta relacin definida entre los elementos del dominio con los del codominio. No confundir:

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, un elemento del
condominio.

Representaciones de una funcin21


Si el precio de un boleto de mnibus es de $ 15, la funcin que relaciona el dinero recaudado con el nmero de boletos vendidos puede expresarse en varios lenguajes:
21

Lenguaje coloquial: texto o frase que relaciona las dos variables. El dinero recaudado depende o es funcin del nmero de boletos vendidos. Lenguaje tabular: tabla de valores que relaciona las dos variables.

Las siguientes representaciones se pueden utilizan para cualquier relacin.

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


N de boletos Pesos 0 0 1 15 2 30 50 750

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.22
$ 75 60 45 30 15

.
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 0 1 2 3 4 5 $ 0 15 30 45 60 75

Definicin

Sea f : A B Se llama recorrido de la funcin f, y se escribe Rec(f), al conjunto de todas las imgenes. Simblicamente: Rec(f) = { y B / x, x A, f (x) = y }.

Clasificacin de funciones: Funcin Inyectiva, Sobreyectiva y Biyectiva


Definicin

Una funcin f : A B es inyectiva si y slo si a todo par de elementos distintos del dominio les corresponden elementos distintos del codominio. Simblicamente: f : A B inyectiva x1, x1 A, x2, x2 A, (x1 x2 f (x1) f (x2))
22

Ochoviet, C. & Olave, M. (2006). Matemtica 4. Montevideo: Santillana. (p. 80)

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

21

Conjunto, Relaciones, Funciones y Lgica


Actividad

La funcin e de la actividad anterior, es inyectiva? Y la funcin f? Justifica.


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, y B, x, x A, f (x) = y
Actividad

La funcin e de la actividad anterior, es sobreyectiva? Discute segn que el codominio sea + 0 o . Y la funcin f? Justifica.
Definicin

Una funcin es biyectiva si y slo si es inyectiva y sobreyectiva.


Actividad

La funcin e de la actividad anterior, es biyectiva? Discute segn que el codominio sea + 0 o .

Funcin Inversa
Actividad

Sea h : / h(x) = 2x 3 a) Completa:

x y

1 3

1 1

b) Representa grficamente h. c) Demuestra que h es biyectiva. d) Invierte los valores de la tabla (coloca los valores de la fila de la x en la fila de la y, y viceversa). Dicha tabla corresponde a una funcin afn g. Represntala grficamente en el mismo sistema de ejes cartesianos. e) Halla la expresin analtica de g. f) Representa, en el mismo sistema de ejes, la funcin b : / b(x) = x. Qu observas?
Definicin

Dada una relacin f : A B, se llama relacin inversa de f, y se escribe f -1, a la relacin f -1 : B A / f -1 (y) = x f(x) = y.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

22

Conjunto, Relaciones, Funciones y Lgica


Teorema

f : A B es una funcin biyectiva f -1 : B A es una funcin y es biyectiva.


Actividad

Demuestra el teorema anterior.


Observaciones

1) Por definicin, x, x A, y, 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 slo 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.

Funcin compuesta
Dadas la funciones f : A B y g : C D, tales que Rec(f) C, se define la relacin: (g o f): A D / (g o f)(x) = g(f(x)).
A f C Rec(f) D g

f (x)

g(f (x))

Actividad

g of

Demuestra que la relacin definida anteriormente es una funcin, a la que llamaremos funcin compuesta.

Funcin Proposicional o Funcin Lgica


La expresin

P tal que P(x): x es impar


no es una proposicin, ya que a menos que especifiquemos quien es x no podremos decir nada acerca de su verdad o falsedad. Sin embargo, para cada valor que le asignemos a x dicha expresin es una proposicin; por ejemplo: P(5): 5 es impar es Verdadera P(4): 4 es impar es Falsa A este tipo de expresiones las llamaremos funciones proposicionales o funciones lgicas.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

23

Conjunto, Relaciones, Funciones y Lgica


Definicin

P es una funcin proposicional definida en un conjunto A (no vaco), si y slo 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 slo 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.

Cuantificacin de funciones proposicionales


Retomemos la expresin

P tal que P(x): x es impar, definida en


Hasta ahora hemos visto que esta expresin no es una proposicin a menos que se le asignen valores especficos a x. Pero si decimos: Para todo x, se verifica P(x) (1) y Existe x tal que se verifica P(x) (2) estas dos expresiones son proposiciones ya que podemos afirmar que (1) es falsa y que (2) es verdadera. Por lo tanto, una forma para transformar una funcin proposicional en una proposicin es, como ya sabamos, sustituyendo la variable por un elemento del dominio. Otra forma, es utilizando los cuantificadores universal () y existencial (): una funcin proposicional

cuantificada pasa a ser una proposicin.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

24

Conjunto, Relaciones, Funciones y Lgica

Definiciones

De modo similar a como definimos los conectivos lgicos (, , , , ): indicando el valor de verdad de una proposicin compuesta en funcin de los valores de verdad de las proposiciones simples que la forman, definiremos los cuantificadores en funcin del conjunto validez de la funcin proposicional a la que cuantifican: Sea P una funcin proposicional definida en un conjunto A (no vaco): 1) x, P(x) es verdadera VP = A. 2) x, P(x) es falsa VP A. 3) x, P(x) es verdadera VP . 4) x, P(x) es falsa VP = .
Actividades23

1. 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. 2. 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)

Funcin Proposicional o Funcin Lgica de varias variables


Tambin se pueden presentar funciones proposicionales en dos variables, por ejemplo:

P tal que P(x, y): x es divisor de y, definida en x

23

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

25

Conjunto, Relaciones, Funciones y Lgica


Aunque especifiquemos que x e y pertenecen al conjunto de los nmeros naturales, la expresin P(x, y) no es una proposicin, sin embargo si asignamos valores a x e y pasamos a obtener proposiciones: P(2, 6): 2 divide a 6 es Verdadera P(3, 7): 2 divide a 7 es Falsa
Definicin

Sean A1, A2, , An conjuntos no vacos. P es una funcin proposicional definida en A1 A2 An si y slo si para toda n-upla (x1, x2, , xn) perteneciente a A1 A2 An, P(x1, x2, , xn) es una proposicin.
Definicin

Sea P tal que P(x1, x2, , xn) una funcin proposicional definida en A1 A2 An (siendo A1,

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:
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 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.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

26

Conjunto, Relaciones, Funciones y Lgica


Teorema x, y, P(x, y) no es equivalente a x, y, P(x, y) Actividad

Demuestra el teorema anterior.


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) Actividades24
1) Se considera el conjunto A = {1, 2, 3} y las siguientes funciones proposicionales:

f(x, y): x2 y + 1, definida en A A g(x, y): x2 + y


2 2

12, definida en A A

h(x, y, z): x + y 2 2z2, definida en A3


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) 2) 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)

3) Expresa la negacin de la siguiente proposicin:


x, x , (x), (x) , x + (x) = x + x = 0 (Existencia de opuesto en )
24

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).

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

27

Conjunto, Relaciones, Funciones y Lgica

Bibliografa consultada
Becerra, M. E. & Tosetti, A. M. Ficha N 2. Matemtica Bsica. 2 parte (Lgica). Montevideo: Centro de Impresiones y Publicaciones Nibia Sabalsagaray. CEIPA. Bosch, J. (1965). Introduccin al simbolismo lgico. Buenos Aires: Editorial Universitaria de Buenos Aires. Gonzlez Cabilln, J. (1993). Matemtica. 5 ao. Tomo I. Montevideo: Coleccin Cnepa. Ochoviet, C. & Olave, M. (2006). Matemtica 4. Montevideo: Santillana. Osin, L. (1975). Introduccin al anlisis matemtico. 1 Edicin. Buenos Aires: Editorial Kapelusz.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco Tambin colabor en la elaboracin de este material: Profa. Ana Tosetti

28