Conjunto, Relaciones, Funciones y Lógica PDF

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:
pq
pq
V
F
V
F
V
V
F
F
V
F
F
F
V
F
V
F
V
V
F
F
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.
2
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)


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 =
iii) x (2x 1) (x 4) = 0
iv) x 5 = x + 6
S3 =
S 4=
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.


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

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


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)


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:
pq
V
F
V
F
V
V
F
F
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.
10
1 A B?
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.


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)


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

iii) p p
(Modus Tollens)
(Identidad)
iv) (p q) p
(Simplificacin)
v) p (p q)
(Adicin)
vi) ((p q ) (p)) q
(Silogismo disyuntivo)
vii) ((p q ) (q r)) (p r)
(Silogismo hipottico)
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:
pq
V
F
V
F
V
V
F
F
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.

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.

10

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
Esta equivalencia es la definicin del bicondicional.
13
Los condicionales p q y q p, se llaman, respectivamente, contrario y contrarecproco del
condicional p q, al que se lo llama directo.

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

11

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:
15
x -5
>0
x2 +2
x -7 < 0
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.

12

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.
Actividad
Dados los siguientes conjuntos mediante diagramas de Venn, raya el conjunto A B.
A
A
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.

13

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 ) =
2x 2 - 1
sea un nmero
x -5
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.
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
A

14

Complementacin
Actividad
Resuelve las siguientes inecuaciones en . Escribe el conjunto solucin para cada caso.
i) (x2 + 5)(2x + 7) 0
S1 =...........................................
ii) (x2 + 5)(2x + 7) < 0
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

escribe ABc , AB' o AB , al conjunto formado por los elementos que pertenecen a B y que no
pertenecen a A.
Simblicamente: ABc = {x / x B x A}
Actividades
1) Raya en la figura el conjunto ABc .
B
A
2) Completa:
c
(A )
A ABc =............
A ABc =............
= ............
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
vi) C E
vii) A B C
viii) a D
ix) a D

15

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
iii) (A B ) = ACc BCc

C
iv) (A B ) = ACc BCc

C
(Ley de De Morgan)
(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)

16

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.

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

18

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
BC
CA
AC
(5, 7)
(7, 9)
(7, 7)
(7, 5)
(5, 9)
(9,7)
(9, 10)
4) En qu caso A B es el conjunto vaco?
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:
1,3
3,5
8,45
20
45
61,25
80
(segundos)
e (t)
(metros)

19

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.

20

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
.
.
.
1
..
2 3 4 5
N de boletos
vendidos
Otra posible forma de representar una funcin es a travs de los llamados diagramas sagitales o
diagramas de flechas:
N de boletos
vendidos
$
0
0
1
2
3
4
5
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)

21

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

22

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
C
f
Rec(f)
f (x)
D
g
g(f (x))
g of
Actividad
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.

23

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.

24
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
(ii) x, x , x . 0 = 0
(iii) x, x , x + 1 = 1
(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.

25

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
es falsa.
es verdadera.
es falsa.
es verdadera.

26

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

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

28

Conjunto, Relaciones, Funciones y Lógica PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Conjunto, Relaciones, Funciones y Lógica PDF

Cargado por

Copyright:

Formatos disponibles

CONJUNTO, RELACIONES,

4) Escribe por extensin los siguientes conjuntos:

Dos conjuntos son iguales si tienen los mismos elementos.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

{2, 1, 5} ...... {x / (x + 1)(x 2)(x 5) = 0}

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

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

est de acuerdo con el uso corriente de la conjuncin y2.

Aunque el uso coloquial de la conjuncin y, no siempre es claro y libre de ambigedades. Por ms

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

1) Resuelve las siguientes ecuaciones e inecuaciones en :

Se dice que un conjunto A est incluido ampliamente en un conjunto B, o que A es subconjunto de

Cuando queremos distinguir expresamente que no se cumple la igualdad, o sea cuando: A B y

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

En la proposicin x, (x A x B)4 aparece el llamado cuantificador existencial (). El

Cuando se dice existe x, significa que existe, por lo menos, un x.

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

Profesor: decir que la proposicin

es verdadera significa que la proposicin

Todo alumno entiende los cuantificadores

Existen alumnos que no entienden los cuantificadores

Todas sus explicaciones son claras

Ninguna de sus explicaciones es clara

Algunas de sus explicaciones no son claras

Se lee: 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

Conjunto, Relaciones, Funciones y Lgica

Como el antecedente de la proposicin x, (x x A) es falso, dicha proposicin, segn

Indica si las siguientes proposiciones son verdaderas o falsas:

Conjunto de Partes o Conjunto Potencia

Dado un conjunto A, se llama conjunto de partes de A o conjunto potencia de A, y se escribe

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

Sea C = {3}, escribe P(C).

Operaciones entre conjuntos

Resuelve las siguientes inecuaciones en y escribe el conjunto solucin utilizando intervalos de

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

Sean A y B dos conjuntos. Se llama unin de A y B, y se escribe A B, a un nuevo conjunto cuyos

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

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

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

Por lo tanto: A B = {1, 2, 5}

1) Comprueba, utilizando las tablas de verdad, que:

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica

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

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

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

A las tautologas de la actividad 2, se las denomina reglas lgicas.

Llamaremos regla lgica a toda implicacin que sea una tautologa.

Si p q es una tautologa, escribiremos p q, que se lee: si p, entonces q.

Propiedades de la operacin Unin

Si p y q son dos proposiciones, a la proposicin p q, que se lee p implica doblemente a q, se la

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

Profa. Mnica Olave Profa. Cristina Ochoviet Prof. Gustavo Franco

Conjunto, Relaciones, Funciones y Lgica