UNIVERSIDAD DE CONCEPCIÓN

ESCUELA DE GRADUADOS

CONCEPCIÓN-CHILE

ALGEBRA
Y
TRIGONOMETRIA

Myriam Ortega Saavedra, Miryam Vicente Parada y otros.

FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS

DEPARTAMENTO DE MATEMÁTICA 2003
Índice general

1. LOGICA Y TEORIA DE CONJUNTOS 1

1.1. ELEMENTOS DE LOGICA . . . . . . . . . . . . . . . . . . . 1
1.2. CONJUNTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3. CUANTIFICADORES LOGICOS . . . . . . . . . . . . . . . . 15
1.4. EJERCICIOS PROPUESTOS . . . . . . . . . . . . . . . . . . 18

i
Capítulo 1

LOGICA Y TEORIA DE
CONJUNTOS

1.1. ELEMENTOS DE LOGICA

Toda estructura matemática supone la necesidad de razonar en forma
válida y el uso de un lenguaje apropiado. Por esto es necesario una gran sim-
pli…cación y el uso de un simbolismo adecuado e inequívoco que nos permita
razonar válidamente mediante reglas …jadas con claridad.
La LOGICA SIMBOLICA y la TEORIA DE CONJUNTOS nos
permiten adquirir este simbolismo y el esquema de un razonamiento deduc-
tivo.

De…nición 1.1.1 Una PROPOSICION es una expresión con sentido en

un lenguaje, que a…rma o niega algo y proporciona una información. Usa-
remos el término proposición para designar una expresión de la cual tenga
sentido inequívoco decir si es verdadera o falsa en un cierto contexto. Sim-
bolizaremos las proposiciones con letras minúsculas p; q; r; s; etc:

Los VALORES DE VERDAD, verdadero (V ) y falso (F ) ; los consi-

deraremos conceptos primitivos.

De…nición 1.1.2 El CONECTIVO LOGICO es un símbolo que permite

obtener nuevas proposiciones a partir de proposiciones dadas. Los conectivos
son: no; y; o; si...entonces...; si y sólo si.

1
CAPÍTULO 1: Lógica y Teoría de Conjuntos 2

Las proposiciones pueden ser de dos tipos:

1) ATOMICAS O SIMPLES: las que no incluyen conectivos.

Por ejemplo:
p : “Pedrito es un niño muy estudioso”
q : “El padre de Pedrito es un hombre feliz”

2) MOLECULARES O COMPUESTAS: Las que se obtienen com-

binando proposiciones átomicas mediante conectivos.
Por ejemplo:
r : “Si Pedrito es un niño muy estudioso, entonces el padre de Pedrito
es un hombre feliz”

De…nición 1.1.3 Se llama NEGACION de una proposición p; a la proposi-

ción “no p”.

Notación 1.1.1 v p; p; p;

Este es el único conectivo que actúa sobre una sola proposición.

La proposición v p es verdadera si la proposición p es falsa y, es falsa si
p es verdadera. Esto se esquematiza con la siguiente:
TABLA DE VERDAD
p vp
V F
F V

Ejemplo 1.1.1 :

p : “todos los números impares son primos”

v p : “no todos los números impares son primos” ó “algunos números im-
pares son no primos” ó “al menos un número impar no es primo”

Notemos que las a…rmaciones:

“Todos los números impares no son primos”

“Ningún número impar es primo”

No corresponden a la proposición v p:
 CAPÍTULO 1: Lógica y Teoría de Conjuntos 3

De…nición 1.1.4 Sean p y q dos proposiciones, se llama CONJUNCION

de las proposiciones p y q a la proposición “p y q”.

Notación 1.1.2 p^q

La proposición p ^ q es verdadera sólo si p y q son ambas verdaderas y,
es falsa si al menos una de ellas es falsa. Esto se esquematiza por medio de
la siguiente:
TABLA DE VERDAD:
p q p^q
V V V
V F F
F V F
F F F
Ejemplo 1.1.2 :

p : “el triángulo equilátero tiene los tres lados iguales”

q : “el triángulo equilátero tiene los tres ángulos iguales”

p ^ q : “el triángulo equilátero tiene los tres lados iguales y el triángulo equi-
látero tiene los tres ángulos iguales”
En forma más sencilla la proposición p ^ q se enuncia:
“el triángulo equilatero tiene sus tres lados y sus tres ángulos iguales”

De…nición 1.1.5 Sean p y q dos proposiciones, se llama DISYUNCION

de las proposiciones p y q a la proposición “p ó q”.

Notación 1.1.3 p_q

La proposición p _ q es verdadera si al menos una de las proposiciones
p ó q es verdadera y, es falsa si ambas son falsas. Esto se esquematiza con la
siguiente:
TABLA DE VERDAD:
p q p_q
V V V
V F V
F V V
F F F
 CAPÍTULO 1: Lógica y Teoría de Conjuntos 4

Ejemplo 1.1.3 : Si consideramos las proposiciones:

p :“esta tarde iré al cine”
q :“esta tarde me quedaré en casa estudiando”
r :"en Concepción siempre llueve"
s :“en Concepción hace frío”, entonces:

p _ q : “esta tarde iré al cine o me quedaré en casa estudiando”

r _ s : “en Concepción siempre llueve o hace frío”

Observación 1.1.1 La primera disyunción es excluyente y la segunda es

incluyente.

De…nición 1.1.6 Se llama CONDICIONAL de las proposiciones p y q

a la proposición “Si p, entonces q”. La primera proposición se llama an-
tecedente y la segunda consecuente.

Notación 1.1.4 p!q

Se lee: “Si p, entonces q” ó “p es condición su…ciente para q” ó “q es

condición necesaria para p”.
La proposición p ! q es falsa sólo si p es verdadera y q es falsa, en los
demás casos p ! q es verdadera. Esto se resume en la siguiente:
TABLA DE VERDAD:

p q p!q
V V V
V F F
F V V
F F V

Ejemplo 1.1.4 :

p : “el sistema solar está formado sólo por astros”

q : “el sol es un astro”

r : “la tierra es un astro”

p ! q : “si el sistema solar está formado sólo por astros, entonces el sol es un
astro”
 CAPÍTULO 1: Lógica y Teoría de Conjuntos 5

p ! r : “si el sistema solar está formado sólo por astros, entonces la tierra es
un astro”

q ! p : “el sol es un astro es una condición su…ciente para que el sistema solar
esté formado sólo por astros”

r ! q : “que el sol sea un astro es una condición necesaria para que la tierra
sea un astro”

De…nición 1.1.7 Se llama BICONDICIONAL de las proposiciones p y

q a la proposición “p si y sólo si q”.

Notación 1.1.5 p$q

Se lee: “p si y sólo si q”ó “p es condición necesaria y su…ciente para q”.

La proposición p $ q es verdadera si ambas p y q son verdaderas o ambas
son falsas y, es falsa si p y q tienen distinto valor de verdad. Un resumen de
ésto se ve en la siguiente:
TABLA DE VERDAD:

p q p$q
V V V
V F F
F V F
F F V

Ejercicio 1.1.5 Con las proposiciones p; q; r del ejemplo anterior, enunciar

p $ q; p $ r; r $ q:

De…nición 1.1.8 Una proposición molecular se dice:

TAUTOLOGIA si es siempre verdadera cualesquiera sean los valores
de verdad de las proposiciones que la componen.
CONTRADICCION si es siempre falsa, independientemente de los
valores de verdad de las proposiciones componentes.
CONTINGENCIA si no es tautología ni contradicción.
CAPÍTULO 1: Lógica y Teoría de Conjuntos 6

Ejemplo 1.1.6 Construir las tablas de verdad para las siguientes proposi-
ciones:

1) p_ v p (tautología)

2) p ! p (tautología)

3) p^ v p (contradicción)

4) v p _ q (contingencia)

5) (p ! q) $ (v q !v p) (tautología)

6) (p ! q) $ (v p _ q) (tautología)

7) (p $ q) $ (v p _ q) ^ (v q _ p)

De…nición 1.1.9 Dos proposiciones p y q se dicen LOGICAMENTE EQUI-

VALENTES si sus tablas de verdad son idénticas o bien, si su bicondicional
es una tautología.

Notación 1.1.6 p,q

Ejemplo 1.1.7 De la parte 5) del ejemplo anterior observamos que:

(p ! q) () (v q !v p)

PROPIEDADES:

1) v (v p) , p (Doble negación)
9
1: p ^ q , q ^ p =
2) 2: p _ q , q _ p (Conmutatividad)
;
3: (p $ q) , (q $ p)
9
1: [(p ^ q) ^ r] , [p ^ (q ^ r)] =
3) 2: [(p _ q) _ r] , [p _ (q _ r)] (Asociatividad)
;
3: [(p $ q) $ r] , [p $ (q $ r)]

1: [p ^ (q _ r)] , [(p ^ q) _ (p ^ r)]

4) (Distributividad)
2: [p _ (q ^ r)] , [(p _ q) ^ (p _ r)]
CAPÍTULO 1: Lógica y Teoría de Conjuntos 7

1: v (p ^ q) , (v p_ v q)
5) (Leyes de Morgan)
2: v (p _ q) , (v p^ v q)

1: (p ^ p) , p
6) (Idempotencia)
2: (p _ p) , p

7) v (p ! q) , (p^ v q)

Demostración. (Propiedad 3;3)

[(p $ q) $ r] , [p $ (q $ r)]
| {z } | {z }
1 2

p q r p$q q$r 1 2 1$2

V V V V V V V V
V V F V F F F V
V F V F F F F V
V F F F V V V V
F V V F V F F V
F V F F F V V V
F F V V F V V V
F F F V V F F V

Luego, 1 $ 2 es una tautología y por tanto [(p $ q) $ r] , [p $ (q $ r)]

Demostración. (Propiedad 5;1)

v (p ^ q) , (v p_ v q)
| {z } | {z }
1 2

p q p^q v (p ^ q) v p vq v p_ v q 1$2
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V

Luego 1 $ 2 es una tautología y por tanto v (p ^ q) , (v p_ v q) :

Las demás demostraciones se dejan a cargo del lector.

De…nición 1.1.10 Se dice que una proposición p IMPLICA LOGICA-

MENTE una proposición q si p ! q es una tautología.
Se denota p ) q: Se lee: p implica q.
CAPÍTULO 1: Lógica y Teoría de Conjuntos 8

INFERIR es una operación lógica que consiste en obtener, apartir de

una o varias proposiciones (HIPOTESIS) ; supuestamente verdaderas, otra
proposición (TESIS) que en tales condiciones resulta necesariamente ver-
dadera.
Si designamos por H la hipótesis y por T la tesis, entonces T in…ere de
H si y sólo si el condicional H ! T es una tautología, y la implicación lógica
H ) T se llama TEOREMA.
Si H ) T y T ) H; entonces se dice que T ) H es el TEOREMA
RECIPROCO de H ) T:
Si H ) T y v H !v T es una implicación lógica, entonces v H )v T
se llama TEOREMA CONTRARIO de H ) T:
De la tautología (p ! q) $ (v q !v p) se deduce que los teoremas
H ) T y v T )v H son equivalentes y cada uno se llama CONTRA-
RECIPROCO del otro.
La equivalencia entre los teoremas H ) T y v T )v H proporciona
un método de demostración llamado “Demostración por Reducción al
Absurdo” que consiste en demostrar el teorema contrarrecíproco.

Ejemplo 1.1.8 Sea a 2 N; si a2 es impar, entonces a es impar.

Demostración. Sean
H : a2 es impar
T : a es impar
Debemos probar que H =) T: Usando el método por reducción al absur-
do basta demostrar que v T )v H:
En efecto, si a es par entonces a = 2n; para algún n 2 N: Luego:

a2 = (2n)2 = 4n2 = 2 2n2 ; es decir, a2 es par.

Por lo tanto, v T )v H::

1.2. CONJUNTOS
En el lenguaje corriente, CONJUNTO es cualquier colección de
objetos. Los objetos se denominan ELEMENTOS del conjunto.
Se hace presente que esta de…nición de conjunto es totalmente intuitiva
y no satisfactoria desde el punto de vista matemático.
Indicaremos los elementos con letras minúsculas, a; b; c; :::; y los conjuntos
con letras mayúsculas, A; B; C; ::: .
Así A = fa; b; c; :::g :
CAPÍTULO 1: Lógica y Teoría de Conjuntos 9

Un conjunto es una entidad de naturaleza diferente de los elementos que

lo componen. Así, un conjunto de puntos no es un punto, aún cuando él no
contenga más que un sólo punto.
A = fag = 6 a y fag no es elemento de A.
El conjunto que no contiene elementos se llama CONJUNTO VACIO
y se denota por ;:
Si x es un elemento del conjunto A se escribe x 2 A y se lee “x pertenece
a A”.
La negación de x 2 A se escribe x 2= A y se lee “x no pertenece a A”.
Un conjunto está bien de…nido cuando dado un objeto cualquiera es posi-
ble decidir si pertenece o no al conjunto.
Un conjunto puede ser de…nido de dos maneras:

a) nombrando sus elementos.

b) enunciando una propiedad que caracteriza sus elementos.

En el primer caso se llama de…nición por EXTENSION y en el segundo,

de…nición por COMPRENSION.

Ejemplo 1.2.1 (CONJUNTOS NUMERICOS IMPORTANTES)

N = f1; 2; 3; :::g Conjunto de los Números Naturales.
Z = f:::; 2; 1; 0; 1; 2; 3; :::g Conjunto de los Números Enteros.
R = fx : x es un número decimalg Conjunto de los Números Reales.
Q = ab : a 2 Z; b 2 Z; b 6= 0 Conjunto de los Números Racionales.
I = fx : x 2 R ^ x 2 = Qg Conjunto de los Números Irracionales.

Observación 1.2.1 Los conjuntos N y Z están de…nidos por extensión, Q; R; I

por comprensión.

De…nición 1.2.1 Dos conjuntos A y B son IGUALES y se escribe A = B

si todo elemento de cada uno de ellos es también elemento del otro.

De esta de…nición resulta que los conjuntos fa; b; c; dg ; fb; a; d; cg ; fa; a; b; c; c; dg

son iguales, es decir, no interesa el orden ni la repetición de los elementos.

De…nición 1.2.2 Sean A y B dos conjuntos cualesquiera. A es un SUB-

CONJUNTO DE B o, A está incluido en B si todo elemento de A es un
elemento de B:
CAPÍTULO 1: Lógica y Teoría de Conjuntos 10

Se escribe: A B:
Formalmente: A B , (x 2 A ) x 2 B)

Ejemplo 1.2.2 :

a) f1; 7; 8g N

b) N Z

c) N Z Q R

PROPIEDADES:

Cualesquiera sean los conjuntos A y B se tiene:

1) A A

2) ; A

3) [(A B) ^ (B C)] ) A C

4) [(A B) ^ (B A)] , A = B

Demostración. :

1) Es trivial.

2) Si ; * A; entonces existe un elemento en ; que no es elemento de A. De

aquí se obtiene una contradicción pues ; es por de…nición el conjunto
que no posee elementos. Por lo tanto, ; A:

3)
x 2 A ) x 2 B; pues por hipótesis A B
x 2 C; pues por hipótesis B C

Luego, x 2 A ) x 2 C y, por tanto, A C:

4) A cargo del lector.

Si A es un subconjunto de B y A 6= B se escribe A B ó A $ B y se
dice que A es un subconjunto propio de B:
CAPÍTULO 1: Lógica y Teoría de Conjuntos 11

De…nición 1.2.3 El CONJUNTO DE PARTES, P (A) ; de un conjunto

cualquiera A es el conjunto de todos los subconjuntos de A:
Esto es: P (A) = fX : X Ag

Ejemplo 1.2.3 Si A = f0; 1; 2g ; entonces

P (A) = f;; f0g ; f1g ; f2g ; f0; 1g ; f0; 2g ; f1; 2g ; Ag

Observación 1.2.2 :

1. El conjunto P (A) nunca es vacío, pues ; y A son elementos de P (A)

ya que ; A y A A:

2. Si A tiene n elementos, entonces P (A) consta de 2n elementos.

OPERACIONES CON CONJUNTOS

Para ciertos estudios suele considerarse el conjunto U que contiene a la

tota-lidad de los objetos básicos de interés para el estudio; este conjunto se
llama CONJUNTO UNIVERSO.
Si por ejemplo, estamos trabajando con conjuntos de números enteros,
entonces U = Z; con conjuntos de letras, U será el abecedario, etc.

De…nición 1.2.4 Sean A y B dos conjuntos, la DIFERENCIA de A y B

es el conjunto
A n B = fx 2 U : x 2 A ^ x 2
= Bg

De…nición 1.2.5 Dado A, U n A se llama COMPLEMENTO de A con

respecto a U y se denota por Ac ó A0 ó A: Luego, Ac = fx 2 U : x 2 = Ag :
Así, para todo x 2 U se veri…ca una y sólo una de las siguientes proposiciones:

i) x 2 A ii) x 2 Ac
CAPÍTULO 1: Lógica y Teoría de Conjuntos 12

Ejemplo 1.2.4 :

1) Sean U = N y A = fx 2 N : x < 5g ; se tiene que:

Ac = fx 2 N : x 5g :

2) Dados U = Z y A = fx 2 Z : x es positivo o cerog ; se tiene que:

Ac = fx 2 Z : x es negativog :

PROPIEDADES:

1) U c = ;; ;c = U
2) (Ac )c = A

Demostración. Probemos 2)

(Ac )c = fx 2 U : x 2
= Ac g = fx 2 U : x 2 Ag = A

De…nición 1.2.6 Sean A y B conjuntos, la INTERSECCION de A y B

es el conjunto
A \ B = fx 2 U : x 2 A ^ x 2 Bg

De…nición 1.2.7 Dos conjuntos A y B se dicen DISJUNTOS si y sólo si

su intersección es el conjunto vacío.

Ejemplo 1.2.5 Dado A = fa; b; c; d; eg ; B = fc; d; f g ; C = fa; 1; 4; 5g se

tiene:

A \ B = fc; dg ; A \ C = fag ; B \ C = ;; A n B = fa; b; eg

CAPÍTULO 1: Lógica y Teoría de Conjuntos 13

De…nición 1.2.8 Sean A y B conjuntos, la UNION de A y B es el con-

junto
A [ B = fx 2 U : x 2 A _ x 2 Bg

Ejemplo 1.2.6 Si A = f1; a; bg ; B = f1; 2; cg ; C = f3; 5g ; entonces:

A [ B = f1; a; b; 2; cg ; B [ C = f1; 2; c; 3; 5g

Es posible visualizar los conjuntos antes de…nidos por medio de los lla-
mados DIAGRAMAS DE VENN, donde el conjunto universo U se re-
presenta por un rectángulo, como se observa en la …gura 1 y 2.
Algunas propiedades de las operaciones complemento, intersección y unión
son las siguientes:

1) Idempotencia:
A[A=A
A\A=A

2) Conmutatividad:
A[B =B[A
A\B =B\A

3) Asociatividad:
A [ (B [ C) = (A [ B) [ C
A \ (B \ C) = (A \ B) \ C

4) Distributividad:
A [ (B \ C) = (A [ B) \ (A [ C)
A \ (B [ C) = (A \ B) [ (A \ C)
CAPÍTULO 1: Lógica y Teoría de Conjuntos 14

5) Leyes de Morgan:
(A [ B)c = Ac \ B c
(A \ B)c = Ac [ B c

A continuación, probaremos la propiedad 5)

(A \ B)c = Ac [ B c

Demostración.
x 2 (A \ B)c , x 2
= A\B
,v ((x 2 A) ^ (x 2 B))
,v (x 2 A) _ v (x 2 B)
, x 2 Ac _ x 2 B c
, x 2 Ac [ B c

Luego: (A \ B)c = Ac [ B c

De…nición 1.2.9 Sean A y B conjuntos no vacíos, el PRODUCTO CARTE-

SIANO DE A y B es el conjunto, A B; de todos los pares ordenados (a; b)
tales que a pertenece al conjunto A y b pertenece al conjunto B: Es decir:

A B = f(a; b) : a 2 A ^ b 2 Bg :

Ejemplo 1.2.7 Si A = f1; 3g y B = fa; b; cg ; entonces:

A B = f(1; a) ; (1; b) ; (1; c) ; (3; a) ; (3; b) ; (3; c)g

B A = f(a; 1) ; (b; 1) ; (c; 1) ; (a; 3) ; (b; 3) ; (c; 3)g

Este ejemplo muestra que el producto cartesiano no es conmutativo.
Grá…camente A B y B A se representan de la siguiente manera:
CAPÍTULO 1: Lógica y Teoría de Conjuntos 15

De…nición 1.2.10 Sean A1; A2 ; :::; An ; n conjuntos no vacíos. El PRO-

DUCTO CARTESIANO de los conjuntos A1; A2 ; :::; An es el conjun-
to de todas las n-uplas ordenadas (a1 ; a2 ; :::; an ) tales que ai pertenece a Ai
cualquiera sea i = 1; 2; :::; n:
Se escribe:

A1 A2 ::: An = f(a1 ; a2 ; :::; an ) : ai 2 Ai ; i = 1; 2; :::; ng

Ejemplo 1.2.8 :

1) R2 = R R = f(x; y) : x 2 R ^ y 2 Rg es el conjunto de todos los

pares ordenados de números reales.

2) R3 = R R R = f(x; y; z) : x; y; z 2 Rg es el conjunto de todas las

ternas ordenadas de números reales.

De…nición 1.2.11 Una colección A1 ; A2 ; :::; An de subconjuntos (o partes)

no vacíos de un conjunto B es una PARTICION DE B si los conjuntos
son disjuntos dos a dos y la unión de todos ellos es el cojunto B, es decir,
fA1 ; A2 ; :::; An g es una partición de B si y sólo si

(i) Ai 6= ; 8 i = 1; 2; :::; n

(ii) Ai \ Aj = ; 8 i 6= j
n
(iii) [ Ai = B
i=1

Ejemplo 1.2.9 Los conjuntos A1 = f1; 3g ; A2 = f2; 4g y A3 = f5g consti-

tuyen una partición del conjunto B = f1; 2; 3; 4; 5g :

1.3. CUANTIFICADORES LOGICOS

De…nición 1.3.1 Se llama FUNCION PROPOSICIONAL a una ex-
presión que contiene una o más variables y resulta ser una proposición si se
asigna a la (o las) variable (s) valores especí…cos.

Notación 1.3.1 p (x) ; q (x; y) ; r (x; y; z; u)

x tiene la propiedad p"

p (x) : \|{z}
| {z }
sujeto predicado
CAPÍTULO 1: Lógica y Teoría de Conjuntos 16

De…nición 1.3.2 Se llama CONJUNTO DE VALIDEZ de p (x) al con-

junto de todos los valores de x para los cuales p (x) es verdadera.

Notación 1.3.2 Vp = fx 2 U : p (x)g

Es frecuente en Matemática la presencia de proposiciones que aluden a

objetos de un cierto universo y que su valor de verdad depende de dichos
objetos. Para indicar que p (x) es una proposición verdadera para todo x
del universo U y que q (x) es una proposición verdadera sólo para algunos
elementos de U, se introducen dos símbolos especiales:

8 llamado cuanti…cador universal que se lee “cualquiera sea”o

“para todo”.

9 llamado cuanti…cador existencial que se lee “existe”.

Ejemplo 1.3.1 Si el conjunto universo es N, p (x) : x + 4 > 3 y

q (x) : x + 2 < 8; entonces:
Vp = N; es decir, “para todo x, x en N; p (x) es verdadera” lo que se
escribe: 8x; x 2 N; p (x) :
V q = f1; 2; 3; 4; 5g ; es decir, “Existe (o existe algún) x; x en N; tal que
q (x) es verdadera” lo que se escribe: 9x; x 2 N; q (x) :

Observación 1.3.1 :

1) Si el conjunto de validez es unitario, entonces se escribe:

“9! x; x 2 U; p (x)” y se lee: “existe un único x 2 U tal que p (x) es
verdadera”.

2) La negación de la proposición “Para todo x en U, p (x) es verdadera”,

es:
“no es verdad que para todo x en U, p (x) es verdadera”
o equivalentemente:
“existe un x en U tal que la proposición v p (x) es verdadera”.
Simbólicamente se escribe:

v (8x; x 2 U; p (x)) , (9x; x 2 U; v p (x))

CAPÍTULO 1: Lógica y Teoría de Conjuntos 17

3) La negación de la proposición “existe un x en U tal que p (x) es ver-

dadera” es:
“no es verdad que existe un x en U tal que la proposición p (x) es
verdadera” lo que es equivalente a decir:
“para todo x en U, la proposición p (x) es falsa”. Simbólicamente se
escribe:
v (9x; x 2 U; p (x)) , (8x; x 2 U; v p (x))

4) La negación de la proposición “existe un único x en U tal que p (x) es

verdadera” es:
“no existe ningún x en U tal que p (x) es verdadera o existen al menos
dos elementos en U, x e y, tales que p (x) y p (y) son verdaderas”.
Simbólicamente se escribe:

v (9!x; x 2 U; p (x)) , f(8x; x 2 U; v p (x)) _ (9x; x 2 U; 9y; y 2 U; p (x) ; p (y))g

Ejemplo 1.3.2 :

1) Si U = N, entonces p (x) : x + 2 = 9 es verdadera sólo para x = 7; esto

es: Vp = f7g y podemos escribir:

9!x; x 2 N tal que x + 2 = 9

2) Dada la proposición “Todos los alumnos son responsables”, su negación

es:
“existe un alumno que no es responsable”.

3) La negación de (8x; x 2 Z; x + 5 10) es (9x; x 2 Z; x + 5 > 10) :

4) La negación de la proposición “existe un número real a, tal que a 1 6= a”

es:
“para todo número real a, a 1 = a”.
CAPÍTULO 1: Lógica y Teoría de Conjuntos 18

1.4. EJERCICIOS PROPUESTOS

1. Dadas las proposiciones:
p : el banco fue asaltado
q : el asaltante huyó
escribir en lenguaje corriente:
a) vp e) v (p ^ q) ! p
b) p_q f ) (p^ v q) ! p
c) p$q g) v (v p_ v q)
d) p^ v q
2. Dadas las proposiciones:
p:2+4=6 q : 2 + 8 = 10
r : 3 4 = 12 s:2 1=1
Hallar los valores de verdad de las proposiciónes siguientes:
a) [(p ^ q) ^ (r ^ s)] ! p _ s
b) (p ! q) ! (s _ r)
c) (p ! q) ! (s ! r)
d) (p !v q) $ [(p _ r) ^ s]

3. Comprobar que:
a) (p ^ q) _ p , p
b) (p _ q) ^ p , p
c) v (p $ q) , (p^ v q) _ (q^ v p)

4. Escriba simbólicamente:
a) El cuadrado de todo número real es positivo o cero.
b) Existe un único número real cuya raíz es cero.
c) Cualesquiera sean los números reales a y b se veri…ca

(a + b)2 = a2 + 2ab + b2 :

d) Existe por lo menos un número real tal que su raíz cuadrada no es

real.
e) La ecuación 2x + 6 = 0 tiene una única solución real.
f ) Para todo par de números naturales su suma es natural.
CAPÍTULO 1: Lógica y Teoría de Conjuntos 19

g) Existen por lo menos dos números naturales tales que su cuociente

es un número racional.

5. Dadas las siguientes proposiciones, averiguar su valor de verdad y negar

cada una de ellas.
a) (8x 2 R) (x + 3 < 7)
b) (8x 2 R) (8n 2 N) (x + 3 > n)
c) (8x 2 R) (9n 2 N) (n < x)
2
d) (9x 2 R) (x x + 6 = 0)
e) (8x 2 R) (x2 > 0)

6. Sea E = f 1; 0; 1g : Averiguar el valor de verdad de las proposiciones

siguientes:
a) 8x 2 E; x2 1
b) 8x 2 E; x3 = x
c) 9x 2 E; x 0
d) 9x 2 E; x2 1
e) 8x 2 E; 9y 2 E; x+y 1
f) 9x 2 E; 9y 2 E; x+y >1
g) 9x 2 E; 8y 2 E; y x
h) 8x 2 E; 9y 2 E; x+y =0

7. Sean U = fx 2 N : x 10g
A = fx 2 U : 4 < x < 8g
B = f2; 3; 5; 6g
C = fn 2 N : 2n 2 U g
a) Haga un Diagrama de Venn.
b) Calcule por extensión:
A [ B; B \ C;
A n B; B (A n C)c

8. Sean A y B subconjuntos de un conjunto universal U . Demuestre que:

a) (A n B)c = Ac [ B
b) A Bc ) A \ B = ;
CAPÍTULO 1: Lógica y Teoría de Conjuntos 20

9. Indicar si las siguientes a…rmaciones son verdaderas o falsas. Justi…que

su a…rmación.
a) ; f1; 2g e) fag f;; fagg
b) a 2 f;; fagg f ) fag 2 f;; fagg
c) fa; bg fa; fa; bg ; bg g) ; 2 fag
d) fa; bg = f;; a; bg h) fa; bg = fb; ag
10. Sean A y B dos conjuntos cualesquiera. Indicar si las siguientes a…r-
maciones son verdaderas o falsas. Justi…que su a…rmación.
a) A [ B A \ B e) A \ B A [ B
b) A A [ B f ) Ac A

11. Sea A = fa; b; c; dg

a) Encontrar P (A)
b) ¿Cuántos elementos tiene P (A)?
c) ¿Es P (fa; bg) un subconjunto de P (A)?
d) Estudie las siguientes a…rmaciones
; P (A) ; a 2 P (A) ; fag P (A) ; fag 2 P (A)
; 2 P (A) ; P (A) = P (fa; b; cg) ; P (;) P (A) :

12. Una industria fabrica 1000 neumáticos. Se sabe que 90 tienen falla tipo
; 150 tienen falla tipo y 200 falla tipo : Además 15 neumáticos
tienen los tres tipos de falla, 21 sólo falla tipo ; 80 sólo falla tipo y
50 tienen falla tipo y :
a) Designe por A; B y C los conjuntos de neumáticos que tienen falla
tipo ; y respectivamente y haga un Diagrama de Venn que ilustre
la situación.
b) Describa en términos de A; B y C el conjunto de neumáticos que
no tienen fallas.
c) De…na por comprensión los conjuntos
A[B; A\B c ; A\B \C; ; (B [ C)c ; An(B [ C) :
d) Determine cuántos neumáticos tienen sólo un tipo de falla, cuántos
tienen exactamente dos tipos de falla y cuántos tienen al menos una
falla.