Habilidades del tema 1.

CONJUNTOS Y PROPOSICIONES
1.- Conocer los smbolos del lenguaje de los conjuntos.

Escribimos x A si x es un elemento del conjunto A y se lee x pertenece a A.

Escribimos x
/ A para indicar que x no es un elemento de A (x no pertenece a A).

un elemento y se llama conjunto vaco.

representa al conjunto que no posee ning

A B si los elementos de A son tambi

en elementos de B; es decir, si x A entonces x B.

Decir que A = B es decir que A B y tambi

en que B A.

Se llama union de dos conjuntos A y B, y se escribe A B, al conjunto formado por los elementos
que est
an en A o en B:
A B = {x : x A o x B}

Se llama interseccion de A y B, y se escribe A B, al conjunto formado por los elementos que est
an
en A y en B:
A B = {x : x A y x B}

Se llama diferencia del conjunto A menos el B (o tambi

en, complemento de B en A), y se escribe A \ B,
al conjunto formado por los elementos que est an en A y no est
an en B:

A \ B = {x : xAyx
/ B}

2.- Dar conjuntos por extension y por comprension.

Los conjuntos pueden venir dados de dos formas:

por extension, escribiendo entre llaves los elementos del conjunto.

por comprension, dando una propiedad caracterstica de los elementos del conjunto: A = {x :
x verica P}.

3.- Conocer los signicados de proposiciones verdaderas, falsas e indecidibles.

Las proposiciones pueden ser de tres tipos distintos mutuamente excluyentes:

verdadera es una armaci

on que, o bien es un axioma o se deduce de otras verdaderas.

falsa es una armaci

on cuya negaci
on resulta una proposici
on verdadera.

indecidible es una armaci

on que no se deduce de los axiomas y que, de hecho, ni esa proposici
on
ni su negaci
on se contradicen con los axiomas.
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

4.- Reconocer cuando, en general, una implicacion es verdadera.

Una implicaci
on p q es verdadera si q es verdadera cuando p es verdadera.

Si p es falsa, no importa lo que ocurra con q, la implicaci

on es verdadera.

Ejemplo de implicaci
on verdadera:

Si 3 es un n
umero par entonces x + 1 = 0 no tiene soluci
on real.

Dos proposiciones p y q se dicen equivalentes, y se escribe p q, si p q y q p.

Si un conjunto A viene dado por la propiedad P y el conjunto B viene dado por la propiedad Q, decir
que P Q es lo mismo (es equivalente) a decir que A B.

5.- Conocer los siguientes terminos y distinguirlos: condicion necesaria, condicion

suciente, condiciones equivalentes.

Que P Q se puede decir de cualquiera de las dos siguientes formas:

"P es condici
on suciente para Q"
"Q es condici
on necesaria para P"

Que P Q se puede decir de cualquiera de las dos siguientes formas:

"P se verica si y s
olo si se verica Q"
"P es condici
on necesaria y suciente para Q"

6.- Conocer los siguientes terminos y distinguirlos: implicacion recproca y con-

trarrecproca.

Si la condici
on P implica la condici
on Q, se llama implicaci
on rec
proca a la implicaci
on Q implica P.

on puede ser verdadera y sin embargo su recproca no serlo.

Una implicaci

Se denomina contrarrec
proca de la implicaci
on "P implica Q" a la implicaci
on "no Q implica no P".

Una implicaci olo si es verdadera la contrarrecproca.

on es verdadera si y s

7.- Conocer la relacion que existe entre la condicion que dene el conjunto union
y las condiciones de los conjuntos que la forman. Lo mismo para la interseccion
y la diferencia de conjuntos.

Si un conjunto A viene dado mediante una condici

on P, decir que x A es lo mismo que decir que
x verica P.

Si otro conjunto B viene dado mediante otra condici

on Q, decir que x B es lo mismo que decir que
x verica Q.

Entonces:

C
 I (  ) P
ag. 2
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

x A B si y s
olo si x verica P o x verica Q.

x A B si y s
olo si x verica P y x verica Q.

x A \ B si y s
olo si x verica P y x no verica Q.

8.- Negar proposiciones.

Si una proposici
on tiene la estructura:

"todos los elementos de un conjunto U verican la propiedad P"

su negaci
on es

"existe algun elemento en U que no verica P"

Y si negamos frases con esta u

ltima estructura obtendremos la anterior.

Si una proposici
on es una implicaci
on como:

"Para cada x U, si x verica la propiedad P entonces x verica Q"

su negaci
on ser
a

"existe algun elemento x U que verica P y sin embargo no verica Q"

Y si negamos frases con esta u

ltima estructura obtendremos la anterior.

Si una proposici
on tiene la estructura:

"x verica P o Q"

su negaci
on es

"x no verica P y no verica Q"

Si una proposici
on tiene la estructura:

"x verica P y Q"

su negaci
on es

"x no verica P o no verica Q"

9.- Conocer los siguientes terminos y distinguirlos: axioma, denicion, propo-

sicion, teorema, lema y corolario.

C
 I (  ) P
ag. 3
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

Axioma es una proposici on) dentro de una teora

on que se toma como verdadera (sin demostraci
matem
atica.

Axiomatica es un conjunto de axiomas que determinan una teora matem

atica.

on es una proposici
Denici on en la que se introduce un concepto, t on en una teora.
ermino o notaci

Teorema, lema, corolario son proposiciones verdaderas en una teora matem

atica, se deducen de otras
proposiciones que sirven de partida (hipotesis) adem
as de otras proposiciones verdaderas ya demos-
tradas o de los axiomas de la teora. En general, estas proposiciones tienen la siguiente estructura:

 1.1

Hip
otesis (Dados tal y cual, si esto y lo otro )
entonces

tesis (se verica tal y cual ).

 . Aqu probamos que la proposicion es verdadera.

D

Todas estas proposiciones reciben el nombre gen

erico de , y en ellos se distinguen el
teoremas

enunciado, formado por las hip

otesis y la tesis, y la demostracion.

Una proposici on no tiene el rango de teorema si no ha sido demostrada. Sin embargo, es usual
restringir la palabra teorema solo a aquellas proposiciones con cierta importancia dentro del desarrollo
matem atico que se est e realizando. Incluso si dichos resultados tienen bastante importancia, suelen
acompa~ narse esos teoremas con el nombre de uno o m as matem aticos que lo establecieron o con
alguna frase que describe su contenido; as por ejemplo, recordar as el teorema de Pit
agoras o tambi
en
el teorema de los incrementos nitos.

Damos el nombre de corolario a proposiciones se deducen directamente de otra, casi sin demostraci
on.

Damos el nombre de lema a proposiciones verdaderas que se utilizan en la demostraci on de otros

resultados y se dan por separado para no desviar la atenci
on del lector de los pasos fundamentales
en la demostracion de un teorema.

10.- Reconocer en una proposicion (teorema) cuales son las hipotesis y cuales las
tesis.
Hip
otesis (Dados tal y cual, si esto y lo otro )
entonces

tesis (se verica tal y cual ).

No olvides que las hipotesis son armaciones especcas que se toman verdaderas para demostraci
on
de la tesis, y que no debemos confundir con el resto de proposiciones que ya sabemos son verdaderas
en el desarrollo de la teora, como son los axiomas y teoremas anteriores.

11.- Reconocer y saber utilizar las demostraciones directa, por el contrarrecproco

y por reduccion al absurdo.

Se usan, b
asicamente, una de las tres siguientes posibilidades para demostrar una implicaci
on:

Directamente: partimos de p y vamos usando los axiomas y los teoremas anteriores hasta llegar a q.

C
 I (  ) P
ag. 4
 T EMA 1. C ON JU NTO S Y PRO POS IC IONE S

Por el contrarrec
proco: partimos de no q y del mismo modo que antes llegamos a deducir no p.

Por reducci
on al absurdo: partimos de p y tambi
en de no q y llegamos a una proposicion falsa (que se
contradice con los axiomas o teoremas anteriores). Como no es posible llegar a una proposici on
falsa a partir de una verdadera (la deducci 
on sera falsa), ser
a que el punto de partida (p y no
q) es falso, luego o bien p es falso o bien no q es falso. Pero p (hip
otesis) es verdadera por lo

que nos quedara que no q es falsa y, por tanto que q es verdadera.

C
 I (  ) P
ag. 5