UNIVERSIDAD DEL BÍO-BÍO

FACULTAD DE CIENCIAS
DEPARTAMENTO MATEMÁTICA

APUNTES DE APOYO DE ÁLGEBRA Y TRIGONOMETRÍA (220009- ICC)

LÓGICA MATEMÁTICA Y TEORÍA DE CONJUNTOS.

Llamamos conjunto a una colección de objetos (con determinadas características en común)

y a los objetos que lo forman se les llama elementos del conjunto.

Llamaremos universo (U) al conjunto que en un momento dado es usado como marco de
referencia para formar conjuntos.

Un conjunto queda determinado por una colección de atributos que los elementos del
universo pueden o no poseer. Así, los elementos del universo que sí posean los atributos
requeridos forman el conjunto.

Observación: Conjunto y universo son términos no definidos.

Def.: Diremos que un conjunto está descrito por enumeración o extensión si se han dado
explícitamente todos sus elementos y está descrito por comprensión si sus elementos están
dados en forma implícita mediante una frase que los describa.

Pertenencia / NO pertenencia:

x ∈ A (x pertenece al conjunto A): indica que x tiene los atributos que determinan al
conjunto A.
x ∉ A (x NO pertenece al conjunto A).

La lógica matemática es una variedad de la lógica filosófica.

Los objetivos principales de la lógica son esencialmente:

1. Eliminar las ambigüedades propias del lenguaje ordinario.
2. Dar rigor a aquello que se está estudiando.

En lógica existen dos procesos fundamentales:

1. Conceptualización: consiste en definir los objetos matemáticos que se van a definir.
2. Demostración: consiste en demostrar rigurosamente aquellas propiedades, proposiciones
o teoremas que se estén estudiando.

Def.: Se llama proposición a cualquier afirmación que es verdadera (V) o es falsa (F), pero
no ambas cosas a la vez. Para nombrar a las proposiciones se suelen utilizar las letras p, q, r, s,
...

Def.: Una proposición abierta (o función proposicional) es una expresión que contiene una
variable y que al ser sustituida dicha variable por un valor determinado, hace que la expresión
se convierta en una proposición. ((V) ó (F)), se denotan por: p ( x ) , p ( x, y ) , p ( x, y, z ) ,… ,
donde x, y, z, son variables.

Pag. 1 / 11
Ejemplo. p ( x ) : x 2 − 4 = 0; x ∈ ℤ , p ( x, y ) : x − 2 y = 0; x ∈ ℕ

Def.: El conjunto que consiste de los elementos que pueden reemplazar a la variable de una
proposición abierta, lo llamaremos el Dominio de la variable.

Def.: El conjunto formado por aquellos elementos del dominio de la variable que hacen
verdadera la proposición abierta p(x), lo llamaremos el conjunto solución de la proposición
abierta p(x).

Ejemplo: Encontrar el conjunto solución de la propiedad abierta p( x) : 7 x − 1 = 0; x ∈ Ν

⇒ x = 1 7 ; 1 7 ∉ Ν; 1 7 ∈ Q . P=∅

Observación: Usando proposiciones abiertas podemos escribir un conjunto por comprensión:

   
P = x / p( x)  =  x / " x es un número primo;x ∈ Ζ + " = {2,3,5,7,11,13,17,19,...}

 prop.abierta   dominio de la variable x   
conjunto solucón de p ( x )


Conectivos lógicos: Permiten relacionar proposiciones para formar nuevas proposiciones.

Igualmente permiten definir “operaciones” en los conjuntos para obtener nuevos conjuntos.

Tabla conectivos lógicos.

∧ Conjunción. “y”.
∨ Disyunción. “o”.
⇒ Condicional. “si p entonces q”.
¬ Negación. “no”.
⇔ Bicondicional. “p si y sólo si q”.
(ó doble implicación).

Def.: Dadas dos proposiciones p y q, se llama proposición conjuntiva de p y q, y se escribe

p ∧ q , a la proposición que dice "p y q". p ∧ q es verdadera cuando p y q son verdaderas
simultáneamente. (Ver: “Tablas de Verdad”)

Def.: Sean A y B dos conjuntos cualesquiera, entonces definimos el conjunto A intersección

B, que denotaremos por A ∩ B como sigue:

A ∩ B = {x / x ∈ A ∧ x ∈ B}

Observación: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición

q(x), entonces el conjunto solución de " p ( x ) ∧ q ( x ) " es P ∩ Q .

Def.: El conjunto vacío que denotaremos por ∅ es el conjunto que no tiene elementos.
Podemos decir que:
∅ = {x / x ∈ A ∧ x ∉ A}

Def.: Dadas dos proposiciones p y q, se llama proposición disyuntiva de p y q, y se escribe

p ∨ q , a la proposición que dice "p ó q". p ∨ q es verdadera cuando al menos una de ellas lo
es.
(Ver: “Tablas de Verdad”).

Pag. 2 / 11
Observación: De la tabla de verdad de la disyunción (Ver: “Tablas de Verdad”) se deduce
que en lógica, la disyunción significa y/o (NO exclusivo). Ver: "O Exclusivo".

Def.: Sean A y B dos conjuntos, entonces definimos el conjunto A unión B que denotaremos
por A ∪ B como sigue:
A ∪ B = {x / x ∈ A ∨ x ∈ B}

Observación: Si P es el conjunto solución de la proposición p(x) y Q el de la proposición

q(x), entonces P ∪ Q es el conjunto solución de la proposición " p ( x ) ∨ q ( x ) " .

Ejemplo: Formar la proposición conjuntiva y la disyuntiva; hallar el conjunto solución de las

componentes, el conjunto solución de la conjunción y la disyunción. Dominio:
M = {− 3,−2,−1,0,1,2,3} . Donde
" p ( x ) : x − 1 = 0" ; " q ( x ) : x 2 − 1 = 0"
Proposición conjuntiva: " p ( x) ∧ q( x)": " x − 1 = 0 ∧ x 2 − 1 = 0"
Proposición disyuntiva: " p ( x) ∨ q( x)": " x − 1 = 0 ∨ x 2 − 1 = 0"
Conjunto solución p(x): x = 1 P = {1}
Conjunto solución q(x): x = ± 1 = ±1 Q = {− 1,1}

Conjunto solución " p ( x) ∧ q( x)" : C = P ∩ Q = {1}

Conjunto solución " p ( x) ∨ q( x)" : D = P ∪ Q = {− 1,1}

Def.: Dadas dos proposiciones p y q, se llama proposición condicional de p y q, y se escribe

p ⇒ q , a la proposición que dice "(no p) ó q". p ⇒ q es verdadera cuando q es verdadera, o
bien p y q son falsas a la vez.
(Ver: “Tablas de Verdad”).

Def.: Una palabra o frase que indique cuántos objetos o cosas cumplen con determinada
propiedad, se llama un cuantificador.

Generalmente, para convertir una proposición abierta (función proposicional) en una

proposición, se utilizan los llamados cuantificadores:

a) Existencial: ∃x ∈ D; P ( x) Y se lee "existe, al menos, un x tal que se verifica P(x)".

Nota: Para decir "existe un único x tal que P(x)" escribimos: ∃! x ∈ D; P ( x) .
b) Universal: ∀x ∈ D; P ( x ) . Y se lee "para todo x se verifica P(x)".

Observación: Las expresiones cuantificadas universal o existencialmente es una nueva

proposición que tiene un valor de verdad que se establece en los siguientes axiomas1 de
verdad:

La proposición “ ∀x ∈ D; P ( x ) ” es falsa si al menos un elemento del dominio D, hace falsa la

proposición P(x).

1
Axiomas: afirmaciones que son aceptadas como verdaderas.

Pag. 3 / 11
La proposición “ ∃x ∈ D; P ( x) ” es verdadera cuando hay al menos un valor x en el dominio D
que haga verdadera2 la proposición P(x) y será falsa si no existe un solo elemento del dominio
que haga verdadera a P(x).

Def.: Sean A y B dos conjuntos, diremos que A es un subconjunto de B que escribiremos

A ⊂ B , si para toda x que pertenece a A se tiene que x también pertenece a B. Es decir, todos
los elementos de A lo son también de B.

A ⊂ B ⇔ ∀x, x ∈ A ⇒ x ∈ B

Si A no es subconjunto de B, lo denotaremos por A ⊄ B .

Observación: Para todo conjunto A: ∅ ⊂ A .

Def.: Sean A y B dos conjuntos cualesquiera. Diremos que A es un subconjunto propio de B

si y sólo si:

A⊂ B y A≠ B

Def.: La proposición ∀x ∈ D, p( x) ⇒ q( x) es verdadera si y sólo si P ⊂ Q donde P es el

conjunto solución de p(x) y Q es el conjunto solución de q(x).

Def.: Dada una proposición p, se llama proposición negativa (o negación) de p, y se escribe

¬p , a la afirmación que dice "no p". ¬p es verdadera cuando p es falsa.
(Ver: “Tablas de Verdad”).

Observación:
Algunas negaciones más comunes de proposiciones cuantificadas:

Proposición Negación
Todos Algunos .... no
Algunos Ningún
Algunos .... no Todos
Ningún Algunos

La negación de los cuantificadores es de la siguiente forma:

a) ¬(∃x ∈ D; P ( x)) ≡ ∀x ∈ D; ¬P ( x)
b) ¬(∀x ∈ D; P( x)) ≡ ∃x ∈ D; ¬P ( x)

Def.: Si consideramos a U como el conjunto universo y A ⊂ U , definimos el complemento de

A, que denotaremos por A' ó Ac como:

Ac = A' = {x ∈ U / x ∉ A}
Observaciones:
Si A = U ; A' = ∅

2
(aunque existan otros valores del dominio que la hagan falsa).

Pag. 4 / 11
A ∩ A' = ∅
A ∪ A' = U
S x ∈ A' sigfica que x ∈ U y x ∉ A

Observación: El conjunto solución de ¬p( x) es P ' , donde P es el conjunto solución de p(x).

Ejemplo: p ( x) : " x( x + 2)( x − 3) = 0; x ∈ Z "

Conjunto solución p(x): P = {0,−2,3}
¬p ( x) : " x( x + 2)( x − 3) ≠ 0"
Conjunto solución ¬p( x) : S = {x ∈ Z / x ∉ P} = P'

Def.: Sean A y B dos conjuntos cualesquiera, definimos el conjunto diferencia A − B como

sigue:
A − B = {x / x ∈ A y x ∉ B}
Observación: A’ se puede considerar como la diferencia entre U y A. O sea:

A' = U − A = {x / x ∈ U y x ∉ A}

A− B = A A− B A− B

Observaciones:

1. Si p ⇒ q es una implicación, entonces q tiene que ser verdadera.

2. Dada p ⇒ q , se dice que p es la hipótesis o premisa de la implicación, y que q es la
conclusión o tesis de la implicación.
3. Dada p ⇒ q , se dice que p es condición suficiente de q, y q es condición necesaria de p.
4. Dada p ⇔ q , se dice p es condición necesaria y suficiente de q, y que q es condición
necesaria y suficiente de p.
5. Dada p ⇒ q , se dice que:
i) p ⇒ q es el teorema directo. Implicación.
ii) ¬p ⇒ ¬q es el teorema contrario. Contraria implicación.
iii) q ⇒ p es el teorema recíproco. Recíproca implicación.
iv) ¬q ⇒ ¬p es el teorema contrarecíproco. Contrarrecíproca implicación.
6. Una condicional y su recíproca no son equivalentes.
Observación: si una condicional es cierta, su recíproca puede que sea o no verdadera.

Pag. 5 / 11
 7. Una condicional y su contraria no son equivalentes.
Observación: si una condicional es cierta, su contraria puede que sea o no verdadera.

8. Una condicional y su contrarrecíproca si son equivalentes.

Observación: si una condicional es cierta, también su contrarrecíproca lo será.
( p ⇒ q ) ≡ (¬ q ⇒ ¬ p )

Métodos de demostración de una implicación: Cuando hay que probar que p ⇒ q , tres de
los métodos de demostración más utilizados son:

1.Método directo: Consiste en llegar a obtener lo que nos dice la tesis, utilizando
únicamente para ello los datos de la hipótesis.
2.Método del contrarecíproco: consiste en probar el teorema contrarecíproco de la
implicación, es decir, ¬q ⇒ ¬p .

Ejemplo: Encontrar el valor de verdad de la siguiente proposición. Dominio = R.

∀x ∈ D; si x 2 ≠ 25 ⇒ x ≠ 5
( p ⇒ q ) ≡ ( ¬q ⇒ ¬p )
(¬q ⇒ ¬p) : x = 5 ⇒ x 2 = 25 Proposición: V.

3.Método de reducción al absurdo (o de contradicción): Consiste en probar p ⇒ q

demostrando que se cumple lo siguiente: ( p ∧ ¬q ) ⇒ p ó (p ∧ ¬q ) ⇒ q .

Def.: Dadas dos proposiciones p y q, se llama proposición bicondicional de p y q, y se

escribe p ⇔ q , a la proposición que dice "(p condicional q) y (q condicional p)". p ⇔ q es
verdadera cuando p y q son verdaderas o falsas simultáneamente.
(Ver: “Tablas de Verdad”).

Observación: La proposición ∀x ∈ D, p( x) ⇔ q( x) es verdadera si y sólo si

P ⊂ Q y Q ⊂ P (P = Q ) .

Tablas de Verdad:

Técnica que permite averiguar el valor de verdad de una proposición conociendo los valores
de verdad de sus componentes.
2 n , donde n es el número de proposiciones que intervienen.

p q ¬p p∧q p ∨ q (1) p ⇒ q (2) p ⇔ q (3)

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

p: antecedente o hipótesis.
q: consecuente o conclusión.
p ⇔ q ≡ ( p ⇒ q ) ∧ (q ⇒ p ) .
Observaciones: Decimos que las dos proposiciones son equivalentes si tienen la misma

Pag. 6 / 11
 tabla de verdad

1. Def.: Decimos que dos proposiciones son equivalentes cuando tienen la misma tabla de
verdad (en todas sus interpretaciones). También decimos que dos proposiciones son
equivalentes cuando la bicondicional que se forma entre ellas es una tautología y viceversa.
2. Según la tabla de verdad que tiene una proposición, esta se clasifica en tautología,
contradicción e indeterminación.

Def.: Una proposición se llamará tautología si para cualquier valor de sus componentes (en
cualquiera de sus interpretaciones), su valor de verdad siempre es verdadero.

Def.: Una proposición será llamada una contradicción si para cualquier valor de sus
componentes (en cualquiera de sus interpretaciones), su valor de verdad siempre es falso.

Def.: Se dice que una proposición es una indeterminación cuando su tabla de verdad tiene
valores de verdadero y de falso.

Def.: Una implicación es una condicional de la forma p ⇒ q , tal que es verdadera suponiendo
que p es verdadera, y tiene que existir una relación causa-efecto entre p y q. Además, una
implicación entre p y q se escribe p ⇒ q , y se lee "p implica a q" ó "si p entonces q".

Def.: Una equivalencia es una bicondicional de la forma p ⇔ q , en donde p ⇒ q es una

implicación y q ⇒ p es también una implicación. Se escribe p ⇔ q , y se lee "p es equivalente
a q" o
"p si y sólo si q".

Def.: Sean A, B dos conjuntos cualesquiera, diremos que A = B si y sólo si A ⊂ B y B ⊂ A .

Álgebra Proposiciones / Álgebra Conjuntos.

Álgebra de Proposiciones. Álgebra de Conjuntos.

Leyes de p∨ p ≡ p Leyes de A∪ A = A
idempotencia. p∧ p ≡ p idempotencia. A∩ A = A
Leyes asociativas. ( p ∨ q ) ∨ r ≡ p ∨ (q ∨ r ) Leyes asociativas. ( A ∪ B ) ∪ C = A ∪ (B ∪ C )
( p ∧ q) ∧ r ≡ p ∧ (q ∧ r ) ( A ∩ B ) ∩ C = A ∩ (B ∩ C )
Leyes p∨q ≡ q∨ p Leyes A∪ B = B∪ A
conmutativas. p∧q ≡ q∧ p conmutativas. A∩ B = B∩ A
Leyes distributivas. p ∧ (q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) Leyes distributivas. A ∪ (B ∩ C ) = ( A ∪ B ) ∩ ( A ∪ C )
p ∨ (q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r ) A ∩ (B ∪ C ) = ( A ∩ B ) ∪ ( A ∩ C )
Ley de ¬(¬p ) ≡ p Leyes de identidad. A ∪ ∅ = A A ∩U = A
complemento. A ∪U = U A∩∅ = ∅
Leyes de Morgan. ¬( p ∧ q ) ≡ ¬p ∨ ¬q Leyes de A ∪ A' = U A ∩ A' = ∅
¬( p ∨ q ) ≡ ¬p ∧ ¬q complemento. ( )
A =A
' '
U =∅
'
∅' = U
Leyes de Morgan. ( A ∪ B )' = A' ∩ B '
( A ∩ B )' = A' ∪ B '

Pag. 7 / 11
Def.: Diremos que hay una correspondencia biunívoca (o uno a uno) entre los conjuntos A y
B si y sólo si cada elemento del conjunto A está relacionado con uno y sólo un elemento del
conjunto B.

Observación: La correspondencia uno a uno entre A y B no es única.

A = {a, e, i, o, u} B = {1,2,3,4,5}

a ↔ 2 a ↔ 3
e ↔ 5 e ↔ 4
i ↔ 1 i ↔ 2
o ↔ 3 o ↔ 1
u ↔ 4 u ↔ 5 etc.

Def.: Llamaremos una sección del conjunto de los números naturales, que denotaremos por
Sn al conjunto de los primeros n números naturales, esto es:

Sn = {1,2,3,4,...., n} ⊂ Ν

Def.: Si existe una correspondencia uno a uno entre un conjunto A y una sección Sn de los
naturales, diremos que n es la cardinalidad del conjunto y lo denotaremos por # ( A) = n .

Observación: De la definición anterior se deduce que la cardinalidad de un conjunto es el

número de elementos de éste.

Def.: Diremos que la cardinalidad del conjunto vacío es cero, o sea:

# (∅ ) = 0 ó # { } = 0

Def.: Diremos que un conjunto A es finito si existe una correspondencia biunívoca entre el
conjunto A y una sección de los naturales Sn .
Si un conjunto no es finito, lo llamaremos conjunto infinito.

Observación: Cuando dos conjuntos no son iguales se pueden presentar dos situaciones que
son:
A y B son diferentes, pero tienen elementos en común.

A y B son diferentes y además A y B no tienen elementos en común, cuando esto sucede

diremos que A y B son conjuntos disjuntos.

Def.: Dos conjuntos A y B serán conjuntos disjuntos o ajenos si y sólo si A ∩ B = ∅ .

Pag. 8 / 11
Nota.: Mediante el concepto de cardinalidad, diagramas de Venn-Euler y las propiedades de
las operaciones de conjuntos (Álgebra de Conjuntos) podremos determinar el número de
elementos de un conjunto.

Otro tipo de conjuntos de interés son aquellos conjuntos cuyos elementos son también
conjuntos. Si hablamos, por ejemplo, del conjunto de estudiantes de una Universidad,
podemos pensar en el conjunto formado por todos los estudiantes de dicha Universidad.
También podemos referirnos al conjunto formado por todas las carreras que se imparten en
dicha Universidad. En esta segunda forma de expresar el conjunto, los elementos son a la vez
el conjunto formado por el conjunto de estudiantes de cada una de las carreras. Así, por
ejemplo, si denotamos por C = { A / A es una carrera de la Universidad} . Y si tomamos A =
carrera de Arquitectura, encontramos que: A = { x / x es un estudiante de Arquitectura} que a
la vez es un conjunto. Entonces diremos que C es un conjunto de conjuntos.

Def.: Si A es un conjunto cualquiera, definimos el conjunto potencia de A como el conjunto

formado por todos los subconjuntos de A y lo denotaremos por P( A) .

Observación: Si A tiene n elementos, el conjunto potencia de A tendrá 2n elementos y por

esta razón es costumbre denotar al conjunto potencia por 2 A . Osea:

2 A = P( A) = {x / x es un subconjunto de A}

Ejemplo:
C = {a, {b, c}}
P(C ) = {{a}, {{b, c}}, {a, {b, c}}, ∅}

Problema: Se hizo una entrevista a 885 personas y se encontró la siguiente información

acerca de ciertos programas de televisión:

600 veían noticieros.

400 veían series policíacas.
620 veían programas deportivos.
195 veían noticieros y series policíacas.
190 veían series policíacas y programas deportivos.
400 veían noticieros y programas deportivos.

Y todos ven al menos uno de estos tres programas.

Determinar ¿cuántas de las entrevistadas ven los tres tipos de programas mencionados?
Solución:

Sea U = {personas entrevistadas} # (U ) = 885

N = {personas ven noticieros} # ( N ) = 600
P = {personas ven policiacos} # ( P ) = 400
D = {personas ven deportivos} # ( D ) = 620

# ( N ∩ P) = 195

Pag. 9 / 11
 # ( P ∩ D ) = 190
# ( N ∩ D ) = 400
# ( P ∪ D ∪ N )' = 0

Sea x =# ( N ∩ D ∩ P)

Además tenemos que:

# P − ( N ∪ D ) = 400 − 195 − x + x + 190 − x = 400 − 195 − 190 + x = 15 + x

# D − ( P ∪ N ) = 620 − 400 − x + x + 190 − x == 620 − 590 − x == 620 − 590 + x = 30 + x

# N − ( P ∪ D) = 600 − 195 − x + x + 400 − x = 600 − 195 + 400 − x = 600 − 595 − x = 5 + x

Así: 885 = 600 + (15 + x) + (190 − x) + (30 + x) = 835 + x

885 − 835 = x
50 = x

Entonces el número de personas que ven los tres programas son 50

Pag. 10 / 11
Pag. 11 / 11