Capítulo 1 PDF

1.
Lógica
1.1 Proposiciones y conectivos

La lógica es el lenguaje de las ciencias y, en particular, de la matemática. La precisión y universali-
dad de los resultados y teoremas matemáticos se debe a que están construidos desde afirmaciones
evidentes a través de la deducción lógica y utilizando símbolos estandarizados para todos los que
acceden a este conocimiento. Para adentrarse en la matemática es preciso dominar este lenguaje y
sus reglas como quien aprende un idioma.
Expresiones como
∀ ε > 0, ∃ δ > 0, ∀ x ∈ Dom f : 0 < |x − a| < δ ⇒ | f (x) − L| < ε
contienen interpretaciones que son muy relevantes para la comprensión de los objetos matemáticos.
Esta especie de jeroglífico matemático debe ser comprendido en su sintaxis y en su semántica para
poder utilizarlo.
Una teoría matemática contiene un conjunto de objetos, sus símbolos y las propiedades que estos
satisfacen. Al construir una teoría se comienza definiendo un grupo de términos básicos, los sím-
bolos asociados y describiendo una colección mínima de propiedades elementales que satisfacen
estos objetos. Estas propiedades elementales se llaman axiomas y se consideran verdaderas a partir
de las descripciones hechas de los objetos. El resto de los elementos de la teoría debe definirse a
partir de los términos básicos y el resto de las propiedades de la teoría deben ser deducidas a partir
de los axiomas, por medio de las reglas del razonamiento lógico.
Por ejemplo, en la Geometría algunos objetos básicos son los puntos, las rectas y los planos. Hay
símbolos que se usan en esta disciplina como los de paralelismo o perpendicularidad (||, ⊥) y los
axiomas de la Geometría plana son los famosos cinco que aparecen en el libro “Los elementos” de
Euclides. Cualquier resultado general sobre segmentos, triángulos o cuerpos geométricos, puede
ser obtenido mediante razonamiento deductivo válido a partir de los axiomas mencionados.
8 Capítulo 1. Lógica
Por otro lado, la Aritmética aborda las propiedades de los números y sus operaciones (+, −, ·, :); la
Teoría de Conjuntos se ocupa de las relaciones entre estos objetos, sus elementos y operaciones; el
Álgebra Lineal estudia matrices, sistemas de ecuaciones, espacios vectoriales, etcétera.
Para la Lógica, los elementos básicos son las proposiciones y conectivos que estudiaremos en
este capítulo. Además introduciremos las reglas básicas con las que desarrollar el razonamiento
deductivo que permite la construcción de una teoría matemática.
Definición 1.1.1 Una proposición es un enunciado del lenguaje en modo indicativo del cual se
puede afirmar en un contexto determinado su valor de verdad.
Para la lógica binaria se consideran dos valores de verdad posibles: verdadero (V ) y falso (F).
Si para un enunciado no se puede afirmar que es verdadero o falso, no lo consideraremos proposi-

ción. Si el enunciado está en modo interrogativo, imperativo, potencial u otros, entonces tampoco
se considera proposición.
Note inmediatamente que, a pesar de que la matemática utiliza el lenguaje natural para expresarse,
no toda oración del lenguaje constituye parte de la lógica y sus reglas. Una proposición siempre
involucra a un objeto sobre el cual se afirma o niega algo, un verbo que determina una acción o
asignación y una propiedad asignada al objeto.
Ejemplo 1.1
Ejemplos de proposiciones son:
• Seis es un número par.
• Las diagonales de todo rectángulo son perpendiculares.
• 2 + 3 = 5.
La primera es una proposición verdadera porque 6 es divisible por 2. Acá el objeto es el número 6
y de él se afirma que “es” par.
La segunda es una proposición falsa, porque hay rectángulos donde sus diagonales no forman un
ángulo recto. En este caso los objetos son geométricos (las dos diagonales de un rectángulo) y
sobre ellas se afirma que “son” perpendiculares. Note que si el valor de verdad de lo que se dice es
falso, no por eso el enunciado deja de ser proposición; solo será una proposición falsa.
La tercera es una proposición verdadera que, en lenguaje natural se lee como “dos más tres es igual
a cinco”. En esta afirmación los objetos son, por un lado, la suma de los números 2 + 3 y por otro,
el número cinco. La proposición afirma la igualdad de esos objetos.
En los tres casos anteriores es necesario conocer la naturaleza de los objetos involucrados. Si no
se conocen los conceptos de número par, diagonales, rectángulo, perpendicular o no se reconoce
la escritura aritmética de la última igualdad, es imposible determinar si las afirmaciones son ver-
daderas o falsas. Por eso es necesario conocer el contexto específico donde las afirmaciones están
enunciadas para saber si son o no proposiciones.
Ejemplos de enunciados que no son proposiciones son:

• ¿Seis es un número par?
• Las diagonales de un rectángulo.
• 2 + 3 = x.
1.1 Proposiciones y conectivos 9
La primera oración no es proposición porque está expresada en modo interrogativo. Tampoco lo

serían enunciados como “¡Qué día más bonito!” o “Ve a leer”.
El segundo enunciado no es proposición porque no contiene verbo. No hay afirmación alguna sobre
el objeto.
La tercera no es proposición porque, como no conocemos el valor de x, no podemos afirmar si la

igualdad es verdadera o falsa.
Una proposición es simple si ninguna parte de ella es a su vez una proposición. En caso contrario,
la proposición se dice compuesta.
Usaremos letras minúsculas para referirnos a proposiciones en general, sin tener en cuenta su
contenido: p, q, r. Cuando queramos asignarle un contenido a una proposición lo haremos con el
símbolo de asignación :=
p := 17 es un número primo
En este caso decimos que la proposición p es verdadera porque 17 solo es divisible por 1 y por 17.
Definición 1.1.2 Un conectivo es una operación sobre proposiciones. Puede ser unario o bina-
rio, es decir, actuar sobre una sola proposición o conectar dos proposiciones.
El valor de verdad de la proposición compuesta por el conectivo dependerá del valor de verdad
de las proposiciones simples involucradas.
Para definir un conectivo bastará saber cómo actúa sobre cada uno de los valores de verdad de las
proposiciones involucradas. Para describir esta acción suele utilizarse una tabla de verdad donde
aparece el valor de la nueva proposición para cualquier combinación de valores de las proposiciones
simples que la componen.
Por ejemplo, para una sola proposición hay solo cuatro combinaciones posibles y todas aparecen
en la siguiente tabla de verdad.
p > ¬p ⊥
V V F F
F V V F
La proposición > siempre resulta verdadera y se llama tautología. La proposición ⊥ se llama

contradicción y siempre devuelve el valor falso.
En cambio ¬p cambia el valor de verdad de la proposición p. Se lee “no p” y se llama negación.

Por ejemplo, volviendo a la proposición p definida más arriba tenemos que
¬p := no 17 es un número primo
es una proposición falsa, dado que p es verdadera. Obviamente, en lenguaje natural, la forma más
simple de leer la negación de la proposición p sería “17 no es un número primo”. He aquí otra
diferencia entre el lenguaje lógico y el natural.
Un conectivo binario actúa sobre dos proposiciones p y q. Su acción depende de las combinaciones
de valores de ambas proposiciones (cuatro combinaciones), que siempre escribiremos en el mismo
orden en la tabla de verdad por motivos de organización. Hay 16 acciones (conectivos) posibles,
pero solo estudiaremos algunas de ellas.
El siguiente conectivo recibe el nombre de conjunción, se escribe p ∧ q y se lee “p y q”.
p q p∧q
V V V
V F F
F V F
F F F
Como se aprecia en la tabla, la conjunción es verdadera cuando tanto p como q son verdaderas. En
cualquier otro caso, la conjunción es falsa.
También se define el conectivo de disyunción, que se escribe p ∨ q y se lee “p o q”.
p q p∨q
V V V
V F V
F V V
F F F
La disyunción es falsa cuando tanto p como q son falsas. En cualquier otro caso, la disyunción es
verdadera.
Note que en esta definición p∨q permite que ambas proposiciones sean verdaderas simultáneamente,
lo que no es lo usual en el lenguaje natural. Cuando decimos “voy a la playa o al cine” estamos
suponiendo que no se va a ambos lugares. Este tipo de disyunción utilizada comúnmente en el
lenguaje natural es la que se llama disyunción exclusiva. En lógica se representa por el símbolo
p Y q y su tabla de verdad es:
p q pYq
V V F
V F V
F V V
F F F
Para que la disyunción exclusiva sea verdadera, una de las dos proposiciones debe ser verdadera,
pero no las dos simultáneamente.
Ejemplo 1.2
Consideremos las siguientes proposiciones simples:
p := 2 es un número par.
q := 3 es mayor que 5.
r := un cuadrado tiene cuatro lados iguales.
Es fácil comprobar que los valores de verdad de cada una de estas proposiciones simples son:
p es verdadera, q es falsa, r es verdadera

Ahora podemos enunciar proposiciones compuestas a partir de estas y determinar sus valores de
verdad. Por ejemplo:
¬p se lee como “no 2 es un número par” o como “2 no es un número par” que es lo mismo que “2 es
un número impar”. Cualquiera de estas proposiciones es falsa, dado que p es verdadera: ¬p es falsa.
p ∧ q se lee como “2 es un número par y 3 es mayor que 5”, la que resulta ser una proposición falsa
porque, según la segunda fila de la tabla de verdad de la conjunción, cuando la primera proposición
es verdadera y la segunda es falsa, el resultado de la conjunción es falso: p ∧ q es falsa.
La proposición p ∨ r se lee: “2 es un número par o un cuadrado tiene cuatro lados iguales” y es una
proposición verdadera, porque alguna de las proposiciones involucradas es verdadera. Sin embargo
la disyunción exclusiva p Y r es falsa porque no admite que ambas proposiciones sean verdaderas
simultáneamente: p ∨ r es verdadera, pero p Y r es falsa.

El conectivo condicional o implicación se escribe p ⇒ q y se lee “si p entonces q” o “p implica q”.

Su tabla de verdad es
p q p⇒q
V V V
V F F
F V V
F F V
En la implicación, a la proposición p se le llama hipótesis, mientras que q se denomina tesis. Esta
es la forma más común en que aparecen enunciados los resultados en la matemática llamados
teoremas. Note que una implicación es falsa cuando la hipótesis es verdadera y la tesis es falsa. En
los demás casos, la implicación es verdadera, incluso cuando la hipótesis es falsa.
El siguiente ejemplo muestra cómo funciona la implicación. El conocido Teorema de Pitágoras

asegura que si un triángulo es rectángulo, entonces la suma de los cuadrados de los catetos es igual
al cuadrado de la hipotenusa.
El triángulo ABC es rectángulo en C ⇒ a2 + b2 = c2
Si consideramos la notación usual de vértices y lados de la Geometría, podemos identificar como
hipótesis p de la implicación que el triángulo en cuestión es rectángulo y como tesis q se afirma
la relación de igualdad planteada. Que esta implicación p ⇒ q sea verdadera significa que no es
posible encontrar un triángulo rectángulo donde la tesis no se satisfaga. Sin embargo, si el triángulo
no es rectángulo eso no significa que la implicación es falsa. El Teorema de Pitágoras sigue siendo
verdadero, solo que no se puede aplicar a un triángulo no rectángulo.
El conectivo bicondicional o doble implicación se lee como “p si y solo si q” y se escribe p ⇔ q.

Su tabla de verdad es
p q p⇔q
V V V
V F F
F V F
F F V
y es verdadero cuando las proposiciones p y q tienen el mismo valor de verdad: son ambas ver-
daderas o ambas falsas. Si las proposiciones tienen distinto valor de verdad, el bicondicional es falso.
El conectivo bicondicional también se conoce como equivalencia lógica (también se escribe p ≡ q)

y establece que el valor de verdad contenido en las proposiciones que aparecen a ambos lados
es el mismo. Profundizaremos esta idea describiendo un método para determinar cuándo dos
proposiciones son equivalentes.
Si al construir las tablas de verdad de dos proposiciones, las columnas correspondientes a cada una
de ellas son iguales, eso significa que las proposiciones son equivalentes lógicamente. Comprobe-
mos por ejemplo que
¬(p ∧ q) ≡ (¬p ∨ ¬q)
Para eso construiremos la tabla de verdad de cada una de las proposiciones compuestas. Ambas
dependen de los valores de verdad de las proposiciones simples que las componen, en este caso p y
q. De este modo, a partir de las combinaciones de valores para p y q, podemos obtener los valores
de cada una de las proposiciones y verificar que son equivalentes.
En el término de la izquierda debemos hacer primero p ∧ q y luego negar esta proposición. Por otro
lado, para la expresión de la derecha necesitamos, ¬p, ¬q y luego su disyunción. En la siguiente
tabla se muestran cada uno de los pasos mencionados.
p q p∧q ¬(p ∧ q) ¬p ¬q ¬p ∨ ¬q
V V V F F F F
V F F V F V V
F V F V V F V
F F F V V V V
Por ejemplo, la tercera columna se obtiene haciendo la conjunción de las dos primeras, mientras que
la cuarta columna es la negación de la tercera, lo que cambia cada uno de los valores de verdad que
aparecen en esta. Para obtener las columnas quinta y sexta basta con negar la primera y la segunda
respectivamente. La última columna se obtiene haciendo la disyunción de las dos anteriores. Las
proposiciones que queremos comparar aparecen en la cuarta y en la séptima columnas. Como se ve,
tienen los mismos valores de verdad para todas las combinaciones posibles de valores de p y q, lo
que significa que son equivalentes.
En lo adelante, cuando operemos con expresiones lógicas se podrá sustituir cualquier parte de
ellas por una proposición equivalente sin alterar el valor de verdad de la expresión. Esto permite
simplificar expresiones y facilitar la evaluación de sus valores de verdad.
Ejemplo 1.3
Consideremos las proposiciones p, q, r definidas en el Ejemplo 1.2. Utilizando los conectivos
definidos, podemos escribir en lenguaje lógico diferentes expresiones del lenguaje natural.
La expresión “dos es impar y además si un cuadrado tiene sus cuatro lados iguales, entonces 3 es
mayor que 5” se escribe como
(¬p) ∧ (r ⇒ q)
Por otro lado, la frase “Si se tiene que 3 es menor o igual que 5 o que dos es par entonces un
cuadrado tiene sus cuatro lados iguales y dos es impar” se escribe según
[(¬q) ∨ p] ⇒ [r ∧ (¬p)]
Del mismo modo podemos expresar en lenguaje natural proposiciones compuestas construidas a
partir de p, q y r. Por ejemplo, la expresión
q ⇒ [(¬r) ∧ (¬p)]
se leerá como “si 3 es mayor que 5, entonces se tiene que un cuadrado no tiene sus cuatro lados
iguales o que 2 es impar”.
En el desarrollo de este ejemplo no nos hemos preguntado sobre la veracidad o falsedad de las
proposiciones enunciadas, sino solo sobre su contenido semántico a partir de las definiciones de las
proposiciones simples p, q y r. Para evaluar el valor de verdad de las proposiciones compuestas
construidas, podemos sustituir los valores de las proposiciones simples e ir evaluando cada parte
de la expresión. Por ejemplo, en la siguiente expresión sustituimos los valores y evaluamos desde
adentro hacia afuera
(¬p) ∧ (r ⇒ q)
(¬V) ∧ (V ⇒ F)
F∧F
F
Del mismo modo para las otras expresiones:
[(¬q) ∨ p] ⇒ [r ∧ (¬p)] q ⇒ [(¬r) ∧ (¬p)]

[(¬F) ∨ V] ⇒ [V ∧ (¬V)] F ⇒ [(¬V) ∧ (¬V)]
(V ∨ V) ⇒ (V ∧ F) F ⇒ (F ∧ F)
V⇒F F⇒F
F V
Hay otra forma de evaluar que consiste en construir la tabla de verdad de la proposición compuesta
y luego observar la fila que corresponda a los valores conocidos de las proposiciones simples. En
cualquiera de los casos que discutimos en este ejemplo, las proposiciones compuestas dependen
de tres simples p, q y r. Como cada una de ellas puede tomar dos valores (V o F), entonces hay 8
combinaciones entre ellas. Estos valores siempre se colocan en el mismo orden en las tablas de
verdad, de modo que se puedan comparar unas con otras.
Mostramos a continuación la tabla de verdad de la proposición compuesta q ⇒ [(¬r) ∧ (¬p)].

p q r ¬r ¬p (¬r) ∧ (¬p) q ⇒ [(¬r) ∧ (¬p)]
V V V F F F F
V V F V F F F
V F V F F F V
V F F V F F V
F V V F V F F
F V F V V V V
F F V F V F V
F F F V V V V
El caso que nos ocupa aparece en la tercera fila de valores de las proposiciones. Como se ve, en ese
caso la proposición completa es verdadera.

El siguiente teorema reúne las equivalencias lógicas más utilizadas que involucran a la negación, la
conjunción y la disyunción.
Teorema 1.1.1
1. Doble negación.
¬(¬p) ≡ p
2. Identidad.
p∧> ≡ p p∨⊥ ≡ p
3. Dominación.
p∧⊥ ≡ ⊥ p∨> ≡ >
4. Idempotencia.
p∧ p ≡ p p∨ p ≡ p
5. Conmutatividad.
p∧q ≡ q∧ p p∨q ≡ q∨ p
6. Asociatividad.
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
7. Distributividad.
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
8. Leyes de De Morgan.
¬(p ∧ q) ≡ (¬p) ∨ (¬q) ¬(p ∨ q) ≡ (¬p) ∧ (¬q)
9. Absorción.
p ∧ (p ∨ q) ≡ p p ∨ (p ∧ q) ≡ p
10. Afirmación - Negación.
p ∧ (¬p) ≡ ⊥ p ∨ (¬p) ≡ >
Demostración
Es interesante destacar que algunas de las propiedades listadas aparecen en parejas donde los
conectivos ∧ y ∨ pueden ser intercambiados entre sí.
1. En la tabla de verdad puede observarse que la primera y la tercera columnas son iguales, por
lo que las proposiciones son equivalentes.
p ¬p ¬(¬p)
V F V
F V F
2. En la tabla, compare la primera, cuarta y quinta columnas.
p > ⊥ p∧> p∨⊥
V V F V V
F V F F F
5. En la tabla, compare las columnas 3 y 4.
p q p∧q q∧ p
V V V V
V F F F
F V F F
F F F F
p q r q∨r p∨q p ∨ (q ∨ r) (p ∨ q) ∨ r
V V V V V V V
V V F V V V V
V F V V V V V
V F F F V V V
F V V V V V V
F V F V V V V
F F V V F V V
F F F F F F F
p q r q∨r p∧q p∧r p ∧ (q ∨ r) (p ∧ q) ∨ (p ∧ r)

V V V V V V V V
V V F V V F V V
V F V V F V V V
V F F F F F F F
F V V V F F F F
F V F V F F F F
F F V V F F F F
F F F F F F F F
El resto de las demostraciones queda como ejercicio para el lector.
El siguiente teorema agrupa las equivalencias lógicas más comunes que contienen al condicional y
al bicondicional.
Teorema 1.1.2
1. Implicación material.
(p ⇒ q) ≡ (¬p ∨ q)
2. Contrarrecíproco.
(p ⇒ q) ≡ (¬q ⇒ ¬p)
3. Equivalencia material.
(p ⇔ q) ≡ (p ⇒ q) ∧ (q ⇒ p)
Demostración
En la siguiente tabla de verdad aparecen demostradas todas las equivalencias anteriores.
p q ¬p ¬q p⇒q q⇒ p p⇔q ¬p∨q ¬q ⇒ ¬p (p ⇒ q)∧(q ⇒ p)

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

Las equivalencias lógicas pueden utilizarse para simplificar expresiones, para evaluar su valor de
verdad o para demostrar equivalencias. A continuación se muestran algunos ejemplos.
Ejemplo 1.4 Simplificaremos la siguiente proposición. Sugerimos analizar la equivalencia lógica
que se utiliza en cada paso.
[ (p ∨ q) ∧ (¬p) ] ⇒ q
[ (p ∧ ¬p) ∨ (q ∧ ¬p) ] ⇒ q Distributividad
[ ⊥ ∨ (q ∧ ¬p) ] ⇒ q Afirmación - Negación
[ q ∧ (¬p) ] ⇒ q Identidad
¬ [ q ∧ (¬p) ] ∨ q Implicación material
(¬q) ∨ ¬(¬p) ∨ q Ley de De Morgan
(¬q) ∨ p ∨ q Doble negación
(¬q) ∨ q ∨ p Conmutatividad
[ (¬q) ∨ q ] ∨ p Asociatividad
>∨ p Afirmación - Negación
> Dominación
Hemos comprobado que la proposición inicial es una tautología, es decir: es verdadera para
cualquier combinación de valores de verdad de las proposiciones simples p y q que la componen.
Ejemplo 1.5 Sabiendo que la proposición p ⇒ ¬( r ∧ ¬q ) es falsa, se puede determinar el valor

de verdad de
[( p ⇒ q) ⇔ ( p∧q∧r)] ⇒ (¬ p∨q)
En efecto, teniendo en cuenta que según la Ley de De Morgan
[p ⇒ ¬(r ∧ ¬q)] ≡ [p ⇒ (¬r ∨ q)]
Si esta es falsa, necesariamente p es verdadera y (¬r) ∨ q es falsa. Luego se tiene: p es verdadera,

q es falsa y ¬r es falsa, por lo que r es verdadera. De lo anterior se deduce que p ⇒ q es falsa,
p ∧ q ∧ r es falsa y que (¬p) ∨ q también es falsa.
Por lo tanto sustituyendo los valores en la proposición tenemos:
[(p ⇒ q) ⇔ (p ∧ q ∧ r)] ⇒ (¬p ∨ q)
[F⇔F]⇒F
V⇒F
Luego la proposición es falsa.

Ejemplo 1.6 La siguiente equivalencia se denomina exportación y convierte una implicación

donde la hipótesis es una conjunción en una implicación donde la tesis es otra implicación.
[(p ∧ q) ⇒ r] ≡ [p ⇒ (q ⇒ r)]
Ya vimos que para demostrar una equivalencia de proposiciones podemos construir la tabla de
verdad de cada lado de la equivalencia y comparar que las columnas correspondientes sean iguales.
En este caso usaremos el álgebra proposicional y las equivalencias anteriores para comprobarla.
[ (p ∧ q) ⇒ r ] ≡ [ p ⇒ (q ⇒ r) ]
[ ¬(p ∧ q) ] ∨ r ≡ (¬p) ∨ (q ⇒ r) Implicación material
[ ¬(p ∧ q) ] ∨ r ≡ (¬p) ∨ [ (¬q) ∨ r ] Implicación material
[ (¬p) ∨ (¬q) ] ∨ r ≡ (¬p) ∨ [ (¬q) ∨ r ] Ley de De Morgan
[ (¬p) ∨ (¬q) ] ∨ r ≡ [ (¬p) ∨ (¬q) ] ∨ r Asociatividad
Ejercicios 1.1
1. Exprese los siguientes enunciados utilizando 8. Se define el conectivo lógico de forma que
proposiciones simples y conectivos lógicos. p q es falsa solo si ambas proposiciones
Determine el valor de verdad en cada caso. son falsas. En otro caso p q es verdadera.
(a) 5 es distinto de 6 y 24 es mayor que 36. Determine si la proposición
(b) Si 7 es un número impar entonces el [(p ⇒ q) ∨ q] ⇔ [(p ∧ ¬q) ¬q]
cuadrado de 7 también es impar. es una tautología.
(c) Si el cuadrado de 7 es un número par
entonces 7 es par. 9. Para las proposiciones p y q, se define el
conectivo ? de acuerdo a la siguiente tabla
2. Compruebe que las proposiciones de los
incisos (b) y (c) del ejercicio anterior son p q p?q
equivalentes. V V F
V F V
3. Demostrar que la proposición p ⇒ (p ∨ q) F V F
es una tautología. F F F
4. Si p y q son ambas proposiciones falsas, (a) Verifique que p ? q ≡ ¬(p ⇒ q).

determine el valor de verdad de (b) Simplifique la expresión (p ? q) ? p.
[(p ⇔ q) ⇒ ¬q] ∧ [(q ∨ r) ⇒ (¬p ⇔ q)]
10. Determine el valor de verdad de p, q y
5. Sea a una proposición verdadera y b, c r, sabiendo que ¬(p ⇒ q) ∧ (r ∨ q) es una
proposiciones falsas. Determine el valor de proposición verdadera.
verdad de las siguientes proposiciones.
(a) (a ∧ b) ∨ c 11. Si ¬p es una proposición verdadera y se
(b) [(b ∨ ¬c) ∧ a] ⇒ [¬a ∨ b] sabe que la proposición
[p ⇔ (q ∨ r)] ⇒ (s ∧ r)
6. Demuestre que si las proposiciones q ∨ ¬r, es falsa, determine el valor de verdad de la
p ∧ (r ∨ q) y ¬q ∨ r son todas verdaderas, proposición (q ∧ s) ∨ r.
entonces p ⇒ q también lo es.
12. Simplifique las siguientes proposiciones:
7. Demuestre que hay valores de verdad para (a) (r ⇒ a) ⇔ (¬r ∨ a)
p, q y r que hacen verdaderas a p ∨ r, ¬r ∨ q (b) a ∨ [(b ⇒ ¬b) ∧ (a ⇒ ¬a)]
y (p∧r) ⇒ (q∨r) y que hacen falsa a p ⇒ q. (c) ¬(p ∨ q) ⇔ (¬p ∧ ¬q)

1.2 Funciones proposicionales y cuantificadores

En matemáticas,los resultados usualmente se enuncian para una clase general de objetos de una
teoría. Por ejemplo: “en un triángulo rectángulo”, “todo número primo” o “dada cualquier ecuación
cuadrática”; y luego se afirman propiedades que cumplen todos los objetos del mismo tipo. Para
poder operar con afirmaciones generales se utilizan las llamadas funciones proposicionales.
Definición 1.2.1 Una función proposicional o predicado es un enunciado donde los objetos
se sustituyen por una o más variables. Las funciones proposicionales no son proposiciones en
general. Cuando las variables toman valores en conjuntos de referencia, entonces se convierte
en una proposición de la cual se puede saber su valor de verdad.
Por ejemplo, denotamos la función proposicional
p(n) := n es un número primo
donde se supone, por el contexto del contenido que la variable n es un número natural. De este
modo cuando n = 12, se tiene
p(12) := 12 es un número primo
que es una proposición falsa, mientras que cuando n = 13 se lee
p(13) := 13 es un número primo
que resulta ser una proposición verdadera.
Por otro lado, la función proposicional
q(4ABC) := el triángulo 4ABC es rectángulo
es verdadera si el triángulo es el de la izquierda de la figura y resulta falsa para el triángulo de la

derecha.
Note que la variable proposicional puede ser cualquier objeto matemático, no solo un número.
Como en la sección anterior, las funciones proposicionales pueden contener predicados simples
relacionados por conectivos. Por ejemplo, dada la función proposicional en dos variables reales
r(x, y) := si x > y, entonces x2 > y2

≡ (x > y) ⇒ (x2 > y2 )
vemos que r(−1, 0) es verdadera porque en la implicación (−1 > 0) ⇒ ((−1)2 > 02 ), la hipótesis
es falsa.
1.2 Funciones proposicionales y cuantificadores 19
En cambio, r(0, −1) := (0 > −1) ⇒ (02 > (−1)2 ) es falsa porque la hipótesis es verdadera, pero
la tesis es falsa.
Por otro lado, r(1, 0) := (1 > 0) ⇒ (12 > 02 ) es verdadera.
Para enunciar propiedades que se cumplen para todos los elementos de un conjunto A, se utilizan los
llamados cuantificadores que son expresiones que indican la cantidad de veces que una propiedad
se cumple para una clase de elementos. Cuando se antepone un cuantificador a una función proposi-
cional, resulta una proposición.
Para indicar que un elemento x pertenece a un conjunto A se utiliza el símbolo x ∈ A.
Hay distintos tipos de cuantificadores:
Definición 1.2.2 — Cuantificador universal.
∀ x ∈ A : p(x)
Se lee como “para todo x ∈ A se cumple p(x)” y es una proposición que será verdadera cuando
al evaluar todos los elementos de A en la función proposicional p(x), las proposiciones que
resultan son todas simultáneamente verdaderas.
Por ejemplo, sea A = {1, 2, 3} y consideremos la función proposicional p(x) := x es impar. Si
decimos:
∀ x ∈ A : p(x)
se interpreta como “todos los elementos de A son impares” o de forma más precisa “1 es impar y 2
es impar y 3 es impar”. Es decir:
∀ x ∈ A : p(x) ≡ p(1) ∧ p(2) ∧ p(3)
la que es una proposición falsa, dado que p(2) := “2 es impar” es una proposición falsa.
Por otro lado, si B = {1, 3, 5, 7}, podemos decir que ∀ x ∈ B : p(x) ≡ p(1) ∧ p(3) ∧ p(5) ∧ p(7)
es una proposición verdadera.
Si el conjunto A tiene una cantidad infinita de elementos, la cuantificación universal también se

puede escribir como
^
∀ x ∈ A : p(x) ≡ p(x)
x∈A
con el significado de que es la conjunción de todas las proposiciones que resultan al evaluar todos
los elementos de A en la función proposicional p(x).
Definición 1.2.3 — Cuantificador existencial.
∃ x ∈ A : p(x)
Se lee como “existe x ∈ A tal que se cumple p(x)” y es una proposición que será verdadera
cuando al evaluar todos los elementos de A en la función proposicional p(x), al menos una de
las proposiciones que resultan es verdadera.
Por ejemplo, sea A = {1, 2, 3} y consideremos la función proposicional p(x) := x es impar. Si

decimos:
∃ x ∈ A : p(x)
se interpreta como “existe un elemento en A que es impar” o de forma más precisa “1 es impar o 2
es impar o 3 es impar”. Es decir:
∃ x ∈ A : p(x) ≡ p(1) ∨ p(2) ∨ p(3)
la que es una proposición verdadera, dado que p(1) := “1 es impar” es una proposición verdadera.
Note que puede haber otros elementos del conjunto que también satisfagan la proposición.
Por otro lado, si B = {2, 4, 6, 8}, podemos decir que ∃ x ∈ B : p(x) ≡ p(2) ∨ p(4) ∨ p(6) ∨ p(8)
es una proposición falsa.
Si el conjunto A tiene una cantidad infinita de elementos, la cuantificación existencial también se

puede escribir como _
∃ x ∈ A : p(x) ≡ p(x)
x∈A
con el significado de que es la diyunción de todas las proposiciones que resultan al evaluar todos
los elementos de A en la función proposicional p(x).
Hay otros cuantificadores como el de unicidad (∃ !) y el de solución (§) que se leen e interpretan de
la siguiente manera:
∃ ! x ∈ A : p(x) se lee como “existe un único elemento de A que satisface p(x)”.
[§ x ∈ A : p(x)] = B se lee “aquellos elementos de A que satisfacen p(x) son los que están en B”.
Ejemplo 1.7 Considere el conjunto N de los números naturales y las funciones proposicionales
p(x) := x es par y q(x) := x es primo. Recuerde que un número natural es primo si solo es
divisible por 1 y por sí mismo. Además, el 1 no se considera primo. Podemos expresar los siguientes
enunciados empleando cuantificadores:
1. Todo número natural es primo.

∀ x ∈ N : q(x)
2. Hay números naturales que son pares.
∃ x ∈ N : p(x)
3. Hay un único número primo que es par.
∃ ! x ∈ N : q(x) ∧ p(x)
4. Si un número es primo, entonces es impar.
∀ x ∈ N : q(x) ⇒ ¬p(x)
La proposición 1 es falsa, 2 es verdadera, 3 es verdadera y 4 es falsa. Dejaremos al lector que

verifique esto último.
Ejemplo 1.8 Dado el conjunto A = {−1, 0, 1}, analizaremos el valor de verdad de las siguientes
proposiciones:
1. ∀ x ∈ A : 0 ≤ x2 ≤ 1.
Para esto debemos recorrer todos los valores del conjunto A y verificar que para cada uno de
ellos se satisface la proposición.
Si x = −1, la proposición toma la forma: 0 ≤ (−1)2 ≤ 1, que es verdadera.
Si x = 0, la proposición toma la forma: 0 ≤ 02 ≤ 1, que es verdadera.
Si x = 1, la proposición toma la forma: 0 ≤ 12 ≤ 1, que es verdadera.
Como la proposición p(x) es verdadera para todos los valores de x ∈ A, entonces la cuantifi-
cación universal es verdadera en A.
2. ∃ x ∈ A : x − 1 = 0.
Nuevamente debemos recorrer todos los valores del conjunto A y verificar si para alguno de
ellos se satisface la proposición.
Si x = −1, la proposición toma la forma: −1 − 1 = 0, que es falsa.
Si x = 0, la proposición toma la forma: 0 − 1 = 0, que es falsa.
Si x = 1, la proposición toma la forma: 1 − 1 = 0, que es verdadera.
Como la proposición p(x) es verdadera para alguno de los valores de x ∈ A, entonces la

cuantificación existencial es verdadera en A.
Ejemplo 1.9 Supongamos que tenemos un conjunto A = {a1 , a2 , a3 } de tres elementos y que
queremos expresar la cuantificación de unicidad para una función proposicional p(x) en este
conjunto. Escribimos
∃ ! x ∈ A : p(x)
y decimos “existe un único elemento del conjunto A que satisface la proposición”. Esto, en el
lenguaje proposicional y de conectivos equivale a:
[p(a1 ) ∧ ¬p(a2 ) ∧ ¬p(a3 )] ∨ [¬p(a1 ) ∧ p(a2 ) ∧ ¬p(a3 )] ∨ [¬p(a1 ) ∧ ¬p(a2 ) ∧ p(a3 )]
Note que puede ser verdadera la proposición para cada uno de los valores de A, pero solo para uno
de ellos.
Para negar proposiciones donde aparecen cuantificadores es útil interpretarlas como conjunciones o
disyunciones, según sea el caso. Al negar una cuantificación universal escribimos
¬[ ∀ x ∈ A : p(x) ]
y decimos: “no es cierto que para todo elemento del conjunto A se tiene la proposición p(x)”.
Esto será equivalente a decir que la proposición no se cumple para todo x ∈ A, por lo que habrá
elementos del conjunto para los cuales la proposición es falsa, o lo que es lo mismo, la negación de
la proposición sea verdadera. Si nos damos cuenta esto se puede enunciar como: “existen elementos
de A para los cuales, ¬p(x) es verdadera, lo que escribimos como
∃ x ∈ A : ¬p(x)
Teorema 1.2.1 Dada la función proposicional p(x), definida sobre un conjunto A,

1. Negación de la cuantificación universal
¬[ ∀ x ∈ A : p(x) ] ≡ ∃ x ∈ A : ¬p(x)
2. Negación de la cuantificación existencial
¬[ ∃ x ∈ A : p(x) ] ≡ ∀ x ∈ A : ¬p(x)
Demostración Ya discutimos la demostración de 1 en el párrafo anterior, pero escribiremos una

demostración que contiene una generalización de las leyes de De Morgan para infinitas conjunciones
o disyunciones. Como ^
∀ x ∈ A : p(x) ≡ p(x)
x∈A
su negación será
" #
^ _
¬[ ∀ x ∈ A : p(x) ] ≡ ¬ p(x) ≡ ¬p(x) ≡ ∃ x ∈ A : ¬p(x)
x∈A x∈A
Del mismo modo

" #
_ ^
¬[ ∃ x ∈ A : p(x) ] ≡ ¬ p(x) ≡ ¬p(x) ≡ ∀ x ∈ A : ¬p(x)
x∈A x∈A
Ejemplo 1.10 Supongamos que tenemos el conjunto A = {1, 2, 3} y que queremos negar la
cuantificación
∀ x ∈ A : x divide a 10
Esto se escribe como
∃ x ∈ A : x no divide a 10
La primera proposición pudo escribirse también como
(1 divide a 10) ∧ (2 divide a 10) ∧ (3 divide a 10)
mientras que la segunda entoces equivale a
(1 no divide a 10) ∨ (2 no divide a 10) ∨ (3 no divide a 10)
Puede verse claramente que la primera proposición es falsa y que la segunda, que es su negación,
es verdadera.
Ejemplo 1.11 Considere el conjunto M = {5, 10, 15, 20}.
¬ [ ∀ y ∈ M : y − 1 es divisible por 4 ] ≡ ∃ y ∈ M : y − 1 no es divisible por 4.
La proposición entre corchetes es falsa porque, en efecto, si y = 10, entonces y − 1 = 9 no es

divisible por 4.
¬ [ ∃ y ∈ M : y > 17 ] ≡ ∀ y ∈ M : y ≤ 17.
La proposición entre corchetes es verdadera, porque cuando y = 20, se cumple que y > 17.
Cuando las funciones proposicionales dependen de más de una variable los cuantificadores pueden
aparecer anidados. Cada vez que se antepone un cuantificador para una variable recorriendo
un conjunto de referencia, esa variable desaparece y solo quedan las variables que no han sido
cuantificadas. Veamos el siguiente ejemplo.
Si escribimos
∀ x ∈ A, ∃ y ∈ B : p(x, y)
Esto puede interpretarse como
∀ x ∈ A : p(x)
donde
p(x) ≡ ∃ y ∈ B : p(x, y)
Fíjese que, al anteponer el cuantificador existencial para la variable y, la función proposicional
resultante no dependerá de y. Por eso, cuando a esta se le antepone el cuantificador universal para
la variable x, el resultado es una proposición de la cual se puede determinar su valor de verdad.
Ejemplo 1.12 Sea dada la función proposicional de dos variables
p(x, y) := x − y = 0
y considere los conjuntos A = {1, 2, 3} y B = {1, 2}.
El valor de verdad de la proposición
∀ x ∈ A, ∃ y ∈ B : p(x, y)
se evalúa de la siguiente manera: se recorre cada uno de los valores de x en el conjunto A y se

escribe la proposición para y. Luego se evalúan estas proposiciones por separado.
Cuando x = 1 tenemos que evaluar ∃ y ∈ B : p(1, y). Es decir, ∃ y ∈ B : 1 − y = 0. Esta se evalúa

recorriendo los valores de y ∈ B para comprobar si alguno satisface la proposición. En efecto, si
y = 1 tenemos que la proposición es verdadera. Para x = 1 hay un elemento de B que al restarlo, da
como resultado cero.
Cuando x = 2 tenemos que evaluar ∃ y ∈ B : p(2, y). Es decir, ∃ y ∈ B : 2 − y = 0. De igual modo,

si y = 2 la proposición es verdadera. Para x = 2 hay un elemento de B que al restarlo, da como
resultado cero.
Sin embargo, cuando x = 3, al evaluar ∃ y ∈ B : p(3, y) ≡ ∃ y ∈ B : 3 − y = 0; no encontramos

ningún elemento de B que al restarlo, de como resultado cero. Eso significa que ∃ y ∈ B : p(3, y) es
una proposición falsa y por lo tanto, la proposición p(x, y) no se satisface para todos los elementos
de A. Así
∀ x ∈ A, ∃ y ∈ B : x − y = 0
es una proposición falsa.
Ejemplo 1.13 Dados los conjuntos C = {−2, −1, 0} y D = {−2, 1, 2}, determine el valor de
verdad de la siguiente proposición
∃x ∈ C , ∀y ∈ D : x + y > 0 ∧ xy > 0
Sea p(x) la forma proposicional definida sobre C por
p(x) : ∀y ∈ D : x + y > 0 ∧ xy > 0
se desea determinar el valor de verdad de la proposición: ∃x ∈ C : p(x).
Dado que C es un conjunto finito, esta proposición equivale a la proposición:
p(−2) ∨ p(−1) ∨ p(0)
p(2) : ∀y ∈ D : −2 + y > 0 ∧ −2y > 0) es falsa. No se verifica para y = 1

p(−1) : ∀y ∈ D : −1 + y > 0 ∧ −y > 0) es falsa. No se cumple para y = 1
p(0) : ∀y ∈ D : y > 0 ∧ 0y > 0) es falsa. No se verifica para y = 2
Con lo que p(−2) ∨ p(−1) ∨ p(0) es falsa. Por tanto,
∃x ∈ C , ∀y ∈ D : x + y > 0 ∧ xy > 0 es falsa
Ejemplo 1.14 Considere la función proposicional de tres variables p(a, b, c) := a2 + b2 = c2 y

los conjuntos D = {3, 5, 7} y E = {4, 5, 12, 13, 24, 25}. La proposición
∀ a ∈ D, ∃ b ∈ E, ∃ c ∈ E : p(a, b, c)
es una proposición verdadera, ya que cuando a recorre el conjunto D siempre se podrán encontrar
dos elementos de E que conforman con a una terna pitagórica, es decir, que satisfacen la proposi-
ción. Estas son (3, 4, 5), (5, 12, 13) y (7, 24, 25). En estos tríos, el primer número es cada uno de
los elementos de D y los otros dos están seleccionados en E.
Para negar la proposición anterior hacemos:
¬ [∀ a ∈ D, ∃ b ∈ E, ∃ c ∈ E : p(a, b, c)] ≡ ∃ a ∈ D : ¬ [∃ b ∈ E, ∃ c ∈ E : p(a, b, c)]

≡ ∃ a ∈ D, ∀ b ∈ E : ¬ [∃ c ∈ E : p(a, b, c)]
≡ ∃ a ∈ D, ∀ b ∈ E, ∀ c ∈ E : ¬p(a, b, c)
lo que se entiende como que hay un elemento en D para el que no se puede completar una terna
pitagórica con los números del conjunto E.
Ejemplo 1.15 Si suponemos conocidos los conceptos de función y de valor absoluto (ambos los
trataremos en detalles más adelante) e interpretamos el valor absoluto |α − β | como la distancia
entre los números α y β , entonces ya podremos al menos leer la expresión con la que iniciamos
este capítulo y que, en un principio aparecía como críptica:
∀ ε > 0, ∃ δ > 0, ∀ x ∈ Dom f : 0 < |x − a| < δ ⇒ | f (x) − L| < ε
se lee como “para todo épsilon positivo existe un delta positivo tal que para todo x en el dominio
de la función f se tiene que si la distancia entre x y a es positiva y menor que delta, entonces
la distancia entre f (x) y L es menor que épsilon”. La comprensión profunda del significado de
esta expresión es uno de los objetivos fundamentales de los cursos de Cálculo de la enseñanza
universitaria.
Ejercicios 1.2
1. Escriba las siguientes expresiones utilizando 4. Niegue las siguientes proposiciones

funciones proposicionales y cuantificadores. (a) ∀ x ∈ R, ∃ y ∈ R : 3x + y es par.
Determine el valor de verdad de cada (b) ∃ x ∈ N, ∃ y ∈ Z : 2x + y = 5 ⇒ x · y < 2
proposición. (c) ∃! n ∈ Z, ∀ m ∈ N :
(a) Algunos números enteros son positivos. (n · m > 2) ⇒ (2n + m ≥ 1)
(b) Si un número natural es impar entonces (d) ∀ m ∈ Z : (2m + 1 > 2) ∧ (m − 4 ≤ 1)
el cuadrado de este es impar.
(c) Si el cuadrado de un número natural es 5. Considere la función proposicional
par entonces este número también es par. p(m, n) : el número m divide al número n.
(d) El cuadrado de cualquier número real es Para A = {2, 3, 7} y B = {43, 105, 2012},
mayor o igual que cero. determine el valor de verdad de:
(e) Todo número multiplicado por cero es ∀ m ∈ A, ∃ n ∈ B : P(m, n) .
cero. Escríbala en lenguaje natural.
(f) Hay un número que es mayor o igual que
todos los demás. 6. Si P es el conjunto de los números pares,
(g) Si un número es menor que 2, entonces encuentre el valor de verdad de:
es mayor que 1. ∃ x ∈ P, ∀ y ∈ N : x + y ∈ P.
Niegue cada una de las proposiciones tanto
en el lenguaje natural como en el lógico. 7. Dadas las funciones proposicionales
p(x) : |x − 2| < 1, q(x) : x > 1, r(x) : x < 3
2. Considere las funciones proposicionales demuestre que
p(x) : x es par, q(x) : x es múltiplo de 5, ∀x ∈ R : p(x) ≡ q(x) ∧ r(x)
r(x) : x ≥ 8. Halle el valor de verdad de:
(a) ∀ n ∈ N : p(n) ∨ r(n) 8. Escriba los siguientes enunciados definiendo
(b) ∀ n ∈ N : ¬p(n) ∧ q(n) variables, conjuntos de objetos y utilizando
(c) ∃! n ∈ N : r(n) ⇒ q(n) cuantificadores y conectivos.
(d) ∀n ∈ N, ∃ m ∈ N : p(n) ⇒ [q(n) ∨ r(m)] (a) Los ángulos interiores de un triángulo
suman 180◦ .
3. Considere las funciones proposicionales (b) Hay números primos tan grandes como
p(x, y) : x − y > 1 y q(x, y) : 2x + 3y < 2. se quiera.
Si A = {2, 1, −1, −3} y B = {−4, 1, −1/2}, (c) El producto de dos números negativos
determine el valor de verdad de: es también negativo.
(a) ∃ x ∈ A, ∀ y ∈ B : p(x, y) ⇒ q(x, y) (d) Si una función es positiva, entonces será
(b) ∀ x ∈ B, ∀ y ∈ A : ¬p(x, y) ∨ q(x, y) creciente.
(c) ∃ x ∈ A, ∃ y ∈ B : p(x, y) ⇒ ¬q(x, y) Nota: Las proposiciones anteriores no son
todas verdaderas.

1.3 Nociones conjuntistas

La noción de conjunto y sus elementos que fue utilizada en la sección anterior se considera básica en
matemáticas. En lo que sigue nos detendremos en algunas propiedades y operaciones de conjuntos
y en su relación con la lógica y el álgebra proposicional.
Un conjunto es una colección de objetos definidos por alguna característica común y que puede ser
considerado a su vez como un objeto en sí mismo. Estos objetos que integran un conjunto y que
satisfacen la propiedad que los define se llaman elementos del conjunto y pueden ser de naturaleza
diversa: personas, números, polígonos, otros conjuntos, etcétera.
Para denotar a los conjuntos se utilizarán letras mayúsculas A, B,C, ... y para denotar los elementos
de un conjunto, se emplearán minúsculas a, b, c, .... La relación de pertenencia de un elemento a
un conjunto específico se denota como a ∈ A y se lee como “a pertenece a A”. Esto indica que a
es uno de los elementos que satisface la propiedad que define al conjunto A. Si un elemento no
satisface la condición del conjunto, entonces no estará en él, lo que se denota por a ∈
/ A y se lee “a
no pertenece a A”.
Los conjuntos quedan totalmente determinados por sus elementos. Por eso, la igualdad de dos
conjuntos queda definida a través del siguiente axioma.
Definición 1.3.1 — Axioma de extensión.

Dos conjuntos A y B son iguales si tienen los mismos elementos. Se escribe A = B.
Si un conjunto A está formado solo por elementos que pertenecen a otro conjunto B, podemos
definir la relación de inclusión A ⊆ B que significa que todo elemento en A, también está en B y
decimos que A es subconjunto de B.
(A ⊆ B) ≡ (∀ a ∈ A : a ∈ B)
Según el axioma de extensión, dos conjuntos A y B serán iguales cuando A sea subconjunto de B y,
a la vez, B también sea subconjunto de A.
(A = B) ≡ (A ⊆ B) ∧ (B ⊆ A)
Consideraremos dos conjuntos especiales dentro de una teoría. Llamaremos universo al conjunto U
de todos los elementos de una teoría. Pueden ser todos los triángulos, todos los colores, todos los
números naturales o, incluso, todos los números. Se supone que, al abordar problemas específicos,
será claro cuál es el universo de los elementos que estamos considerando en ese caso. Diremos
que todos los elementos (en un contexto particular) pertenecen a U y que todos los conjuntos son
subconjuntos de U.
Llamaremos por otro lado conjunto vacío al conjunto que no tiene elementos. Lo denotaremos
por 0.
/ Para este conjunto especial se satisface que ningún elemento pertenece a 0/ y además este
conjunto será subconjunto de cualquier otro.
Estos conjuntos son de cierto modo complementarios, en el sentido de que U es el conjunto que
contiene a todos los elementos, mientras que 0/ es el conjunto que no contiene elementos.
Hay varias formas de referirse a los conjuntos y una de ellas es considerarlos por extensión. Es
decir, se listan entre llaves, todos los elementos del conjunto uno por uno. Por ejemplo, para el
1.3 Nociones conjuntistas 27
conjunto A de los números naturales menores que 6 podemos escribir:
A = {1, 2, 3, 4, 5}
listando todos los elementos, separados por comas, en cualquier orden y pudiendo repetirlos.
A = {1, 2, 3, 4, 5} = {3, 2, 5, 4, 1} = {1, 2, 1, 5, 3, 4, 2}
Note que los tres conjuntos cumplen entre sí el axioma de extensión, por lo tanto son iguales.
Considere también el conjunto B formado por los colores de la bandera chilena:
B = {rojo, blanco, azul}
o el conjunto C de los palos de la baraja francesa:
C = {♣, ♦, ♥, ♠}
Note que para los colores usamos palabras, mientras que para la baraja usamos símbolos.
Los conjuntos con un solo elemento se llaman singletons. Por ejemplo, a partir del conjunto
A = {1, 2, 3, 4, 5} se tienen los singletons {1}, {2}, {3}, {4} y {5}. Es fácil verificar que cualquier
singleton es subconjunto del conjunto original: {2} ⊆ A. Además, no se debe confundir el elemento
2 con el singleton {2}; el primero es un número y el segundo un conjunto. Podemos decir 2 ∈ {2},
es decir, el número 2 es un elemento del singleton {2}.
La cantidad de elementos de un conjunto se llama cardinal del conjunto y se denota por #A. Un
conjunto puede ser de cardinal finito, como los ejemplos A, B y C anteriores o de cardinal infinito
como los números naturales o reales. Para el conjunto vacío se cumple que #0/ = 0, mientras que
cualquier singleton tiene cardinal 1.
Cuando un conjunto tiene cardinal muy grande, o cuando es de cardinal infinito, la representación
por extensión del conjunto se vuelve dificultosa o imposible. Por eso se utiliza otra forma de
referirse a los conjuntos describiendo la propiedad que los caracteriza. Esta forma es la llamada por
comprensión. Por ejemplo
A = {números naturales menores que 6} = {1, 2, 3, 4, 5} #A = 5

B = {colores de la bandera chilena} = {rojo, blanco, azul} #B = 3
C = {palos de la baraja francesa} = {♣, ♦, ♥, ♠} #C = 4
D = {números pares} = {2, 4, 6, 8, ...} #D infinito
Para estos fines podemos hacer uso de las funciones proposicionales que estudiamos antes.
Definición 1.3.2 — Axioma de comprensión.

Si p(x) es una función proposicional sobre un conjunto de referencia U, existe un conjunto
V que está formado por todos los elementos del universo U que hacen verdadera a la función
proposicional. Este se llamará conjunto de verdad de p y se escribe como
V = {x ∈ U | p(x)}
Note que así como para todo x ∈ V , se tiene que p(x) es verdadera, también para x ∈
/ V , la proposi-
ción será falsa.
Si definimos por ejemplo

p(n) := n < 6
sobre el universo U = N de los números naturales, entonces, el conjunto A descrito anteriormente
puede definirse como aquél cuyos elementos hacen verdadera la función proposicional p(n).
A = {n ∈ N | p(n)}
mientras que el conjunto D se define según la función proposicional q(x) := ∃ k ∈ N : x = 2k. Es

decir
D = {x ∈ N | q(x)}
Podemos también construir una función proposicional que defina a los elementos del conjunto
vacío (ninguno). Por ejemplo: r(x) := (x ∈ U) ∧ (x ∈
/ U), de modo que
0/ = {x ∈ U | r(x)}
Toda forma proposicional sobre un conjunto de referencia tiene asociado un conjunto de verdad
(posiblemente, el vacío) y recíprocamente, todo conjunto es el conjunto de verdad de alguna función
proposicional.
En ocasiones se utilizan esquemas que permiten visualizar los conjuntos, sus elementos y sus
relaciones. Estas representaciones se llaman diagramas de Venn y serán utilizadas en este capítulo
cuando sea pertinente. Por ejemplo, en el diagrama de Venn que aparece a continuación se
representan las situaciones a ∈ A, A ⊆ B, b ∈
/ A, entre otras.
Se pueden definir distintas operaciones sobre conjuntos, las más usuales se decriben a continuación
y se representan utilizando diagramas de Venn.
Definición 1.3.3 — Operaciones de conjuntos.

Considere los conjuntos A y B subconjuntos de un universo U. Se pueden definir, a partir de
ellos, los siguientes conjuntos:
1. Complemento: Conjunto de todos los elementos de U que no pertenecen a A.
AC = {x ∈ U | x ∈
/ A}
2. Unión: Conjunto de todos los elementos que pertenecen a A o que pertenecen a B.
A ∪ B = {x ∈ U | (x ∈ A) ∨ (x ∈ B)}
3. Intersección: Conjunto de los elementos que pertenecen simultáneamente a A y a B.
A ∩ B = {x ∈ U | (x ∈ A) ∧ (x ∈ B)}
4. Diferencia: Conjunto de los elementos que pertenecen a A y no pertenecen a B.
A − B = {x ∈ U | (x ∈ A) ∧ (x ∈
/ B)}
Ejemplo 1.16 Para los conjuntos A = {1, 2, 3, 4, 5}, B = {2, 4, 6, 8} y U = N se tiene:
1. A ∪ B = {1, 2, 3, 4, 5, 6, 8}, mientras que A ∩ B = {2, 4}.
2. A − B = {1, 3, 5}, mientras que B − A = {6, 8}.
3. AC = {6, 7, 8, ...}.
4. AC ∩ B = {6, 7, 8, ...} ∩ {2, 4, 6, 8} = {6, 8}.
El axioma de comprensión establece una relación entre las proposiciones y su álgebra con los
conjuntos y sus operaciones.
Teorema 1.3.1 Sean A = {x ∈ U | p(x)} y B = {x ∈ U | q(x)} los conjuntos de verdad de las

funciones proposicionales p(x) y q(x) respectivamente. Los conjuntos definidos más arriba son
los conjuntos de verdad de las siguientes proposiciones.
1. AC = {x ∈ U | ¬p(x)}.
2. A ∪ B = {x ∈ U | p(x) ∨ q(x)}.
3. A ∩ B = {x ∈ U | p(x) ∧ q(x)}.
4. A − B = {x ∈ U | p(x) ∧ ¬q(x)} = {x ∈ U | ¬[p(x) ⇒ q(x)]}.
Se dice que A = B si y solo si p(x) y q(x) son equivalentes para todo x en el universo U.
Ejemplo 1.17 Las siguientes son algunas propiedades de las operaciones de conjuntos.
1. Es fácil verificar por la definición que AC = U − A.
2. U C = 0/ y 0/ C = U.
3. La doble negación de proposiciones se interpreta como (AC )C = A.
4. A − B = A − (A ∩ B) = A ∩ BC .
5. Las leyes de De Morgan para funciones proposicionales, en lenguaje de conjuntos son:

(A ∪ B)C = AC ∩ BC y (A ∩ B)C = AC ∪ BC
y se representan usando diagramas de Venn como
Ejemplo 1.18 Se define la operación de conjuntos diferencia simétrica.

A4B = {x ∈ U | (x ∈ A) Y (x ∈ B)}
como el conjunto de verdad de la disyunción exclusiva entre p(x) y q(x), cuyo diagrama de Venn es
Las siguientes son propiedades de la diferencia simétrica de A y B.
1. A4B = (A ∪ B) − (A ∩ B).
2. A40/ = A y A4U = AC .
3. A4A = 0.
/
4. A4B = B4A.
5. A4(B4C) = (A4B)4C.
6. A ∩ (B4C) = (A ∩ B)4(A ∩C).
Teorema 1.3.2 — Ley de inclusiones y exclusiones. Dados dos conjuntos A y B de cardinal

finito, el cardinal de la unión de ambos se calcula como
#(A ∪ B) = #A + #B − #(A ∩ B)
Demostración La demostración de este teorema consiste en notar que cuando se cuentan los
elementos de A y luego los de B, los elementos que quedan en la intersección habrán sido contados
dos veces, por lo que basta restar una vez esa cantidad para contar todos los elementos de la unión
de ambos conjuntos.
Esta propiedad se puede generalizar para la unión de más de dos conjuntos, lo que se dejará como
ejercicio para el lector.
Definición 1.3.4 Dos conjuntos A y B se dicen disjuntos si su intersección es vacía: A ∩ B = 0.

/
Conjuntos disjuntos son los que no tienen elementos en común, por ejemplo {1, 2, 3, 4, 5} y
{10, 20, 30}.
Ejemplo 1.19 Las siguientes son algunas propiedades de conjuntos disjuntos.
1. El diagrama de Venn de dos conjuntos disjuntos es
2. El conjunto vacío 0/ es disjunto con todos los conjuntos, mientras que el universo U no es
disjunto con ninguno.
3. La ley de inclusiones y exclusiones para dos conjuntos finitos y disjuntos se escribe como
#(A ∪ B) = #A + #B
4. Los conjuntos A4(B4C) y A ∩ (B4C) son disjuntos, según se aprecia en los diagramas de
Venn del ejemplo 1.18.
5. Una partición finita de un conjunto A es una colección de conjuntos A1 , A2 , ..., An disjuntos

dos a dos y cuya unión es el conjunto A.
A = A1 ∪ A2 ∪ ... ∪ An , Ai ∩ A j = 0/ , i 6= j
Definición 1.3.5 El conjunto potencia de un conjunto A está formado por todos los subconjuntos
de A y se denota P(A).
(B ∈ P(A)) ≡ (B ⊆ A)
Note que los elementos del conjunto P(A) son conjuntos.
Por ejemplo, si consideramos el conjunto A = {1, 2, 3}, entonces el conjunto potencia será:
P(A) = {0,
/ {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}} ;
mientras que si el conjunto es C = {♣, ♦, ♥, ♠}, entonces su potencia es:

 
 0, / {♣}, {♦}, {♥}, {♠}, {♣, ♦}, {♣, ♥}, {♣, ♠}, {♦, ♥}, {♦, ♠}, 
P(C) =
{♥, ♠}, {♣, ♦, ♥}, {♣, ♦, ♠}, {♣, ♥, ♠}, {♦, ♥, ♠}, {♣, ♦, ♥, ♠}
 
Como se ve en los ejemplos anteriores, como los elementos del conjunto potencia son a su vez
conjuntos, cada uno de ellos se escribe por extensión y entre llaves. Vemos que el conjunto vacío
0,
/ al ser subconjunto de todo conjunto, estará en la potencia de todos ellos. El propio conjunto A
pertenecerá también a P(A).
Ejemplo 1.20 Las siguientes son algunas propiedades del conjunto potencia.
1. 0/ ∈ P(A) y A ∈ P(A).
2. P(0)
/ = {0}.
/ De esta forma, aunque #0/ = 0, se tiene que #P(0)
/ = 1.
3. Si B ⊆ A, entonces P(B) ⊆ P(A).

Teorema 1.3.3 Si A es un conjunto finito y #A = n, entonces #P(A) = 2n .
Demostración Escribamos el conjunto A por extensión como
A = {a1 , a2 , ..., an }.
Contaremos cada uno de los posibles subconjuntos que se pueden formar con elementos del con-
junto A de la siguiente manera: si un elemento pertenece al subconjunto B, colocaremos un 1 debajo
del elemento y si no pertenece al subconjunto B, colocaremos un 0.
En la tabla que se muestra, aparecen algunos subconjuntos de A y su correspondiente codificación

con ceros y unos.
a1 a2 a3 ... an B
0 0 0 ... 0 0/
1 0 0 ... 0 {a1 }
0 1 1 ... 0 {a2 , a3 }
1 1 1 ... 1 A
Hemos identificado a cada subconjunto de A con una única secuencia de ceros y unos de largo n.
Cada secuencia corresponde a un subconjunto diferente y cada subconjunto está representado por
una secuencia. Esto significa que para determinar el cardinal del conjunto potencia, bastará contar
cuántas de estas secuencias pueden construirse.
Para esto es fácil ver que si se pretende completar una secuencia de n espacios con dos símbolos (0
y 1), entonces en la primera posición se pueden poner dos símbolos, en la segunda, nuevamente dos
símbolos y así sucesivamente. Como cada colocación es independiente de la siguiente, el número
total de secuencias posibles es 2 · 2 · ... · 2 = 2n .
Este será entonces el cardinal del conjunto potencia de A.
#P(A) = 2n

Ejercicios 1.3
1. Usando conjuntos y sus operaciones, en

5. Demuestre que
cuentre una expresión que represente la
#(A ∪ B ∪C) = #A + #B + #C
región sombreada
− #(A ∩ B) − #(A ∩C) − #(B ∩C)
+ #(A ∩ B ∩C)
6. Se realiza una encuesta a 100 personas para

conocer qué marca de cereal comen entre
C, D y E. Se obtienen los siguientes datos:
• 24 solo comen E.
• 9 solo comen D.
2. Demuestre las siguientes igualdades. • 7 comen D y E.
(a) (A − B) ∩ BC = 0./ • 43 no comen estas marcas.
(b) (A − B) ∩ (A −C) = A − (B ∪C). • 8 comen C y E.
(c) (A ∩ B) − (A ∩C) = A ∩ (B −C). • 6 comen las tres marcas.
(d) [(AC − B)C ∩ B] = B. • 13 comen C y D.
(e) [A − (B ∩ AC )] ∩ [(B − A) ∩ A]C = A. Con estos datos en cuenta, determine:
(a) ¿Cuántos comen solo C ?
3. Demuestre que ∀S, T ⊆ U: (b) ¿Cuántos comen a lo menos dos de estas
S ⊆ T ⇒ T − (T − S) = S marcas?
4. Si A = {x ∈ R+ : x2 + 4x + 4 ≥ 0} y 7. Hallar el conjunto potencia de C, para

B = {x ∈ R : x2 > 0}, determine C = {0,
/ a, {0}}.
/
(a) A ∪ B
(b) A ∩ BC 8. Demuestre que P(A ∩ B) = P(A) ∩ P(B).
(c) A − B
1.4 Teoremas y métodos de demostración

Un teorema en Matemáticas es una proposición verdadera que afirma una relación de causalidad
entre dos proposiciones. Los teoremas usualmente son afirmaciones que se cumplen para una clase
amplia de objetos en una teoría, por lo que generalmente contienen cuantificadores.
Un ejemplo de teorema podría tener la siguiente estructura condicional o de implicación:
∀ x ∈ A : p(x) ⇒ q(x)
En este caso, p(x) es la hipótesis del teorema y q(x) es la tesis. Se dice también que la hipótesis
p(x) es una condición suficiente para la tesis q(x) o que q(x) es una condición necesaria para p(x).
Note que esta afirmación resulta válida para todos los elementos del conjunto A simultáneamente.
Como la implicación presente en el teorema es verdadera, cada vez que tengamos la veracidad de la
hipótesis podremos concluir la veracidad de la tesis.
Los teoremas pueden contener más de una variable y las proposiciones involucradas pueden ser
compuestas también por otras proposiciones simples.
Un ejemplo clásico es el conocido Teorema de Pitágoras que puede enunciarse del modo anterior
como
1.4 Teoremas y métodos de demostración 35
Si un triángulo es rectángulo entonces la suma de los cuadrados de sus catetos es igual al cuadrado
de su hipotenusa.
En este caso la hipótesis será que el triángulo sea rectángulo y eso tendrá siempre como consecuen-
cia la relación descrita entre la hipotenusa y los catetos del triángulo.
Ejemplo 1.21 Los siguientes son ejemplos de teoremas y su escritura como implicación
1. Todo número divisible por seis es par.
Si consideramos p(x) := x es divisible por seis y q(x) := x es par, podemos escribir

∀ x ∈ N : p(x) ⇒ q(x)
√
2. Si un triángulo es isósceles y rectángulo, su perímetro es igual a 2 + 2 veces la longitud de
uno de sus catetos.
Sea T el conjunto de todos los √triángulos, p(x) := x es isósceles, q(x) := x es rectángulo,

r(x) := el perímetro de x es 2 + 2 veces la longitud de uno de sus catetos. Escribimos
∀ x ∈ T : [p(x) ∧ q(x)] ⇒ r(x)
3. Si un número real es menor que su cuadrado, entonces es porque el número es menor que
cero o porque el número es mayor que uno.
Hacemos p(x) := x < x2 , q(x) := x < 0, r(x) := x > 1 y podemos escribir

∀ x ∈ R : p(x) ⇒ [q(x) ∨ r(x)]
4. La suma de dos números impares siempre es par.
Con p(x) := x es impar, q(y) := y es impar, r(x, y) := x + y es par el teorema se escribiría

como
∀ x ∈ N, ∀ y ∈ N : [p(x) ∧ q(y)] ⇒ r(x, y)

Sin considerar los cuantificadores, cuando tenemos una proposición de la forma p ⇒ q, siempre
podemos construir otras relacionados con esta usando las mismas proposiciones:
Directa : p⇒q
Recíproca : q⇒ p
Inversa : ¬p ⇒ ¬q
Contrarrecíproca : ¬q ⇒ ¬p
Se puede verificar, y se deja como ejercicio para el lector, que la proposición directa es lógicamente
equivalente a la contrarrecíproca y que la proposición recíproca es equivalente a la inversa. Sin
embargo, los valores de verdad de estos dos pares de proposiciones no están relacionados. Pueden
ser ambos verdaderos, ambos falsos o uno verdadero y el otro falso.
Cuando tanto la proposición directa como la recíproca sean verdaderas simultáneamente, diremos
que el teorema es del tipo si y solo si, es decir, es una equivalencia
(∀ x ∈ A : p(x) ⇔ q(x)) ≡ (∀ x ∈ A : [p(x) ⇒ q(x)] ∧ [q(x) ⇒ p(x)])
En ese caso diremos que p(x) es una condición necesaria y suficiente para q(x) y viceversa.
En Matemáticas los teoremas deben ser demostrados a partir de verdades básicas o resultados
conocidos a través de razonamientos lógicos válidos. Este acto creativo de demostrar un teorema es
la esencia de las Matemáticas. Su historia está llena de hombres y mujeres que han dedicado su
vida a construir estas secuencias de pensamientos válidos para todos, pero a veces muy difíciles
de lograr. Famosos teoremas han resistido por siglos los intentos de numerosos pensadores por
conseguir una demostración. Otros han sido comprobados como falsos y muchos siguen en pie,
como simples conjeturas de las cuales no se conoce su valor de verdad. Quizás tú puedas demostrar
alguno.
Estos razonamientos son las llamadas reglas de inferencia que permiten concluir el valor de verdad
de una proposición dadas ciertas condiciones. En este texto no analizaremos todas las reglas de
inferencia, sino que ejemplificaremos algunos métodos de demostración de teoremas para ilustrar
la forma en que se crea el conocimiento en el contexto de una teoría matemática.
Demostración directa
Se basa en la idea de demostrar el teorema ∀ x ∈ A : p(x) ⇒ q(x) pasando a través de una serie de
razonamientos válidos intermedios que conducen desde p hasta q, es decir
∀ x ∈ A : p(x) ⇒ p1 (x) ⇒ p2 (x) ⇒ ... ⇒ pk (x) ⇒ q(x)
Ejemplo 1.22 Todo número divisible por seis es par.
Si como antes consideramos p(x) := x es divisible por seis y q(x) := x es par, escribimos
∀ x ∈ N : p(x) ⇒ q(x)
Veamos que si un número natural es divisible por seis, esto significa, según la definición de
divisibilidad que existe un natural k tal que x = 6 · k. En lenguaje de proposiciones hacemos
p1 (x) := ∃ k ∈ N : x = 6 · k y entonces tenemos que para todo x natural
p(x) ⇒ p1 (x)
Siguiendo la idea
p1 (x) ⇒ p2 (x) := ∃ k ∈ N : x = 2 · (3k)
y como se sabe que k es natural tenemos también que 3k = j es un número natural. Así podremos
inferir que
p2 (x) ⇒ p3 (x) := ∃ j ∈ N : x = 2 · j.
Esta última proposición garantiza que el número x es par, luego
p3 (x) ⇒ q(x).
Reconstruyendo la cadena de razonamientos válidos hemos dicho que
∀ x ∈ A : p(x) ⇒ p1 (x) ⇒ p2 (x) ⇒ p3 (x) ⇒ q(x)
lo que completa la demostración directa del teorema enunciado.

1.4 Teoremas y métodos de demostración 37
Demostración por casos
Se utiliza cuando se puede descomponer el conjunto A como la unión de partes disjuntas y se

realiza una demostración válida solo en el contexto de cada una de las partes del conjunto, es decir
A = A1 ∪ A2 ∪ ... ∪ Ak con Ai disjunto con A j si i 6= j y se prueba
[∀ x ∈ A1 : p(x) ⇒ q(x)] ∧ [∀ x ∈ A2 : p(x) ⇒ q(x)] ∧ ... ∧ [∀ x ∈ Ak : p(x) ⇒ q(x)]
Ejemplo 1.23 Si un número no es múltiplo de 3, entonces, su cuadrado es un múltiplo de 3 más

uno.
Antes de iniciar la demostracíón usaremos el hecho de que cualquier número natural, al dividirlo
por 3, puede dejar solamente restos 0, 1 o 2. Esto se expresa de la siguiente manera:
∃ k ∈ N : (x = 3k) ∨ (x = 3k + 1) ∨ (x = 3k + 2)
De este modo, la hipótesis de que el número natural no sea múltiplo de 3 se descompone en dos
casos: (x = 3k + 1) ∨ (x = 3k + 2). El método consiste en construir una demostración que sea
válida para cada uno de los casos posibles.
Caso 1: Si ∃ k ∈ N : (x = 3k + 1), entonces x2 = (3k + 1)2 = 9k2 + 6k + 1 = 3(3k2 + 2k) + 1.

Como la expresión entre paréntesis es un número natural cuando k es natural, hemos escrito el
número x2 como un múltiplo de 3 más 1.
Caso 2: Si ∃ k ∈ N : (x = 3k + 2), entonces x2 = (3k + 2)2 = 9k2 + 12k + 4 = 3(3k2 + 4k + 1) + 1.

Como la expresión entre paréntesis es un número natural cuando k es natural, hemos escrito nueva-
mente el número x2 como un múltiplo de 3 más 1.
Demostramos la propiedad en cada uno de los dos casos posibles, lo que permite afirmar que el
teorema está demostrado en general.
Demostración por contrarrecíproco
En este método se usa la equivalencia lógica entre la proposición directa y su contrarrecíproca. Es

decir, en lugar de demostrar ∀ x ∈ A : p(x) ⇒ q(x), se demuestra ∀ x ∈ A : ¬q(x) ⇒ ¬p(x), lo
que puede resultar más fácil de verificar.
Ejemplo 1.24 Si el producto de dos números naturales es par, entonces alguno de los números
es par.
Con p(x, y) := x · y es par, q(x) := x es par, r(y) := y es par el teorema se escribiría como
∀ x ∈ N, ∀ y ∈ N : p(x, y) ⇒ [q(x) ∨ r(y)]
Para escribir y leer el contrarrecíproco hacemos:
∀ x ∈ N, ∀ y ∈ N : ¬[q(x) ∨ r(y)] ⇒ p(x, y) ≡ [¬q(x) ∧ ¬r(y)] ⇒ ¬p(x, y)
Esta última proposición se leería, en lenguaje natural como: Si dos números son impares, entonces
su producto es impar.
La última afirmación es verdadera, es fácil verificarlo de manera directa. Si ∃ k, j ∈ N tales que

x = 2k − 1, y = 2 j − 1, entonces x · y = (2k − 1)(2 j − 1) = 4k j − 2k − 2 j + 1 = 2(2k j − k − j) + 1.
Como la expresión entre paréntesis es un número natural cuando k y j son naturales, hemos escrito
el producto x · y como un número impar, lo que demuestra la proposición contrarrecíproca. Esto
equivale a demostrar el teorema directo.
Demostración por reducción al absurdo
Comprobar que ∀ x ∈ A : p(x) ⇒ q(x) es verdadero es equivalente, usando las propiedades de la

implicación, a verificar que ∀ x ∈ A : ¬p(x) ∨ q(x) es verdadero. En este método, en lugar de de-
mostrar lo anterior, probaremos que ∀ x ∈ A : ¬[¬p(x) ∨ q(x)] es una proposición falsa. Es decir, el
método de reducción al absurdo consiste en probar que ∀ x ∈ A : p(x) ∧ ¬q(x) es una contradicción.
Ejemplo 1.25 Si un número real es positivo, entonces su recíproco es positivo.
1
En lenguaje proposicional escribimos: ∀ x ∈ R : x > 0 ⇒ > 0.
x
1 1
Al demostrar por el absurdo hacemos p(x) := x > 0, q(x) := > 0, por lo que ¬q(x) := ≤ 0.
x x
Debemos verificar que

1
[p(x) ∧ ¬q(x)] := (x > 0) ∧ ≤0 es una contradicción.
x
1
En efecto, si x > 0 y ≤ 0, al multiplicarlos, el resultado será menor o igual que cero.
x
1
x· ≤ 0
x
pero el lado izquierdo es igual a 1, luego tendremos 1 ≤ 0 lo que es una contradicción.
Ha quedado demostrado el teorema original.
Demostración por contraejemplo
Este caso se utiliza para demostrar que una proposición con la estructura anterior es falsa. Diremos
que ∀ x ∈ A : p(x) ⇒ q(x) es falsa si encontramos un elemento del conjunto A para el que se tiene
que p(x) es verdadera, pero q(x) es falsa.
Ejemplo 1.26 Si un número es primo, entonces es impar.
En lenguaje proposicional escribimos: ∀ x ∈ N : x es primo ⇒ x es impar.
Esta proposición es falsa, no constituye un teorema. Para verificarlo, bastará encontrar un número
natural que sea primo y no sea impar. Efectivamente, 2 es ese número. Se llama contraejemplo y
hace falsa la proposición enunciada para todo elemento del conjunto.

1.5 Algoritmos 39
Ejercicios 1.4
1. Sean a y b números reales, demuestre que si 9. Demuestre por casos que |xy| = |x||y|, donde
a = 0 o b = 0, entonces a · b = 0. x e y son números reales.
2. Demuestre que si m es par y n es impar, 10. Demuestre que ∀n ∈ N, si n es impar en-

entonces m + n es impar. n3 − n
tonces es par.
2
3. Demuestre que el producto de un número
par y un número impar es un número par. 11. Demuestre que ∀a ∈ N; ∀b ∈ N, si ab es par
entonces, a es par o b es par.
4. Demuestre que para cada natural n, si 5n + 3
es par, entonces n es impar. 12. Demuestre que no existen naturales a y
b tales que sean múltiplos de 7 y que
5. Determine si la siguiente proposición es (a + b)2 = 100.
verdadera o falsa
∀a, b ∈ R : |a + b| = |a| + |b| 13. Demuestre que ∀a ∈ N, si a2 es divisible por
3, entonces a es divisible por 3.
6. Demuestre que si n ∈ N, entonces n2 + n + 1
es impar. 14. Demuestre que para todo a, b, c ∈ R+ , se
cumple que
7. Demuestre por casos que si n es un número ab(a + b) + bc(b + c) + ca(c + a) ≥ 6abc.
entero, entonces n2 ≥ n. √
15. Demuestre que 3 es irracional.
8. Demuestre que para todo par x, y de números
reales positivos, si x > y entonces x2 > y2 . 16. Demuestre que hay una cantidad infinita de
números primos.
1.5 Algoritmos
Un algoritmo es una secuencia finita de instrucciones organizadas de manera que su ejecución, a
partir de ciertos datos ingresados, permite resolver un problema. No es necesario que el problema
sea de naturaleza matemática, por lo que podemos encontrar algoritmos en una receta de cocina o
en las instrucciones de armado de un mueble. Sin embargo, los algoritmos son muy utilizados en
matemáticas y en ciencias de la computación, donde se han convertido en la manera más natural de
interactuar con las máquinas para producir resultados usando la programación.
El origen de la palabra está asociado con el nombre del matemático persa al-Juarismi conocido
como el padre del álgebra e introductor del sistema arábigo de numeración y que desarrolló sus
trabajos en la Bagdad del siglo IX.
Un algoritmo permite ejecutar una tarea para una clase amplia de estados iniciales y de forma
rutinaria e independiente de quien lo ejecuta. Algoritmos matemáticos básicos y conocidos son
la división de dos enteros, la llamada Criba de Eratóstenes para la determinación de los números
primos, la división de un segmento en una razón dada o el método de Gauss para resolver sistemas
de ecuaciones lineales. Los algoritmos pueden ser descritos de diversas formas: en lenguaje natural,
en lenguajes de programación, en pseudocódigo o también en diagramas de flujo. Utilizaremos
estas dos últimas dado que son más precisas y no requieren conocimientos sobre la sintaxis de
ningún lenguaje de programación en particular.
Un diagrama de flujo representa gráficamente la secuencia y el tipo de instrucciones que componen

un algoritmo. Existen formas estandarizadas de representar distintos tipos de acciones. Hay un
conjunto de figuras geométricas, conectadas usualmente por flechas, que se utilizan para indicar los
diferentes tipos de pasos o acciones en un algoritmo. Las más usuales se muestran en la siguiente
tabla.
Símbolo Figura Nombre Función
Abrir y cerrar la secuencia de ins-

Elipse Inicio y final
trucciones
Representar la ejecución de un
Rectángulo Instrucción
procedimiento
Indicar la entrada y salida de

Paralelogramo Datos
datos
Hacer una pregunta y considerar

Rombo Decisión
las respuestas
Enlazar actividades dentro de un

Círculo Conector
procedimiento
Triángulo Archivo Guardar un archivo
De este modo podríamos interpretar el diagrama de flujo de la figura, que resume el algoritmo para
sumar dos números, de la manera siguiente:
→ Leer el primer número y asignarlo a A
→ Leer el segundo número y asignarlo a B
→ Sumar A y B y asignarlo a C
→ Escribir C
Mientras que este otro diagrama resume un algoritmo que escribe los primeros 20 números pares.
1.5 Algoritmos 41
→ Inicializa la variable contadora I del

número de repeticiones.
→ Inicializa la variable P que entregará los

números pares.
→ Escribe el número par almacenado en P.
→ Calcula el siguiente número par en P.
→ Aumenta en 1 el contador I.
→ Decide si se hicieron todas las iteraciones.
Otra manera de describir un algoritmo es utilizando pseudocódigo. Esta es una forma intermedia
entre el lenguaje natural y algún lenguaje de programación computacional. Permite describir con
precisión la estructura y los pasos del algoritmo. Todo pseudocódigo comienza con un encabezado
declarativo con tres partes fundamentales:
ENTRADAS: Se declaran las variables que serán utilizadas, su tipo y estructura de datos.
CONDICIONES: Restricciones que deben cumplir las variables para que el algoritmo funcione
correctamente y que deben ser testeadas antes de proceder, para que no se produzcan errores.
SALIDA: Se declaran las variables de salida del algoritmo, su tipo y estructura de datos.
A lo largo de un pseudocódigo o de un programa computacional, suelen utilizarse comentarios que

explican para qué sirve cada línea de código, de modo que cuando alguien lo lea pueda comprender
fácilmente la función de estas instrucciones dentro del algoritmo como un todo. Estos comentarios
tienen su sintaxis particular en los diferentes lenguajes de programación; cuando utilizamos pseu-
docódigo, se emplea el caracter numeral (#) antecediendo al comentario.
Hay tres tipos de estructuras de control que se utilizan al escribir pseudocódigo: las secuenciales,
las condicionales y las iterativas.
Estructuras secuenciales: Usualmente es un bloque de instrucciones, una detrás de otra y

separadas de algún modo. Suelen escribirse en un renglón cada una. Cada bloque de instrucciones
secuenciales debe tener la misma sangría.
Instrucción 1;
Instrucción 2;
...
Instrucción n
Estructuras condicionales: Son bloques de instrucciones cuya ejecución depende del cumplim-
iento de una o más condiciones. Las alternativas pueden ser una o varias. Incluye los casos de
valores de una variable. El bloque de instrucciones utiliza siempre una sangría mayor que la
condición de modo que aparezcan anidadas.
Si condición, entonces:
Instrucciones;
Fin Si
En el caso de estructuras condicionales múltiples, el pseudocódigo se escribiría como:
Si condición 1, entonces:
Instrucciones 1;
Si no si condición 2, entonces:
Instrucciones 2;
...
Si no si condición n, entonces:
Instrucciones n;
Fin Si
Estructuras iterativas: Permiten ejecutar un bloque de instrucciones más de una vez. Pueden
ser para una cantidad fija de repeticiones, mientras se cumpla una condición o hasta que una
condición se satisfaga. A continuación se muestran las estructuras Para, Mientras y Repetir.
Para i desde 1 hasta N haga lo siguiente

Instrucciones; # Repite N veces el bloque de instrucciones
Fin Para
Mientras condición haga lo siguiente

Instrucciones; # Repite las instrucciones mientras la condición sea verdadera
Fin Mientras
Repetir
Instrucciones; # Repite las instrucciones hasta que se cumpla la condición
Hasta que condición
La redacción de códigos y programas se aborda en los cursos de Ciencias de la Computación. En

este texto los usaremos para describir procedimientos numéricos relacionados con los contenidos
que estudiaremos. A continuación discutiremos un algoritmo para determinar números primos.
1.5 Algoritmos 43
La criba de Erastótenes
Este un algoritmo conocido desde la antigüedad, para determinar todos los números primos menores
que un cierto valor N. El algoritmo está basado en construir una tabla con todos los números enteros
desde 2 hasta el valor N y luego marcar todos los números que son múltiplos de algún otro menor.
Al final, los números que hayan sobrevivido a tal proceso, serán primos.
Este algoritmo puede ser descrito en pseudocódigo como
ENTRADAS: Valor máximo N.

CONDICIONES: N es un entero mayor que 1, # Verifica que el número sea entero y mayor que 1
SALIDA: P # Lista de los números primos menores o iguales que N
Para i desde 2 hasta N haga lo siguiente # Inicia un ciclo de repeticiones

El número i no está marcado # Construye el arreglo con todos los números sin marcar
Fin Para
Para i desde 2 hasta N haga lo siguiente # Inicia un ciclo de repeticiones

Si i no ha sido marcado, entonces: # Evalúa una condición
Para j desde i hasta N haga lo siguiente # Inicia otro ciclo de repeticiones
Marque el número i · j # Marca todos los múltiplos de i
Fin Para
Fin Si
Fin Para
Escriba los números sin marcar # Devuelve la lista de primos buscada
Un diagrama de flujos que explica el algoritmo anterior en detalles es:

En este diagrama se ha utilizado el arreglo P(i) como lista de números. El número i será primo si
P(i) = 1 y será compuesto cuando P(i) = 0.
Un ejercicio para el lector sería explicar los procedimientos que realiza cada parte del diagrama,
sus ciclos y condicionales, y cómo estos permiten la consecusión del algoritmo descrito.
En la siguiente tabla se muestra la aplicación sucesiva de la Criba de Eratóstenes para los primos
menores que 100. Se han tachado sucesivamente los números pares, los múltiplos de tres, los de
cinco y, así sucesivamente. Los números sin tachar son los primos menores que 100.
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40

41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60

61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80

81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 1

00

P = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97}
1.6 Ejercicios
1. Determine si las siguientes proposiciones son 6. Sean A = {1, 2, 3} y B = {−1, 0, 1}. ¿Cuál es
o no tautologías. el valor de verdad de la proposición
(a) [p ⇒ (p ⇒ q) ] ⇔ (¬p ∨ q) ∃ x ∈ A; ∀ y ∈ B : (y ≥ 0) ⇒ (x + y ≥ 3)?
(b) (p ∧ q) ⇒ (p ∨ ¬q)
(c) (p ⇒ q) ⇔ (¬q ⇒ ¬p) 7. Sean A, B y C conjuntos de números reales.
Demuestre que si A − B no es subconjunto de
2. ¿Es posible que si ¬r ∨ q, (p ∧ r) ⇒ (q ∨ r) C, entonces A no es subconjunto de C y B no
y p ∨ r son todas verdaderas, entonces p ⇒ q es subconjunto de C.
sea falsa?
8. Sea A = {x ∈ R : p(x)} el conjunto de verdad
3. Se definen los conectivos ∇ y 4 por: asociado a la función proposicional
p ∇q ≡ (¬p ∧ ¬q) p(x) := ∀y ∈ [−1; 2) : y ≤ x.
p 4 q ≡ (¬p ∨ ¬q) Determine si las siguientes afirmaciones son
Demostrar que: verdaderas o falsas. Justifique.
(a) ¬p ≡ (p ∇ p) (a) A = 0.
/
(b) (p ∧ q) ≡ ¬(p 4 q) (b) 2 ∈ A.
(c) A = R.
4. Suponga que p ⇒ q y q ⇒ r son proposiciones
verdaderas, ¿puede ser p ⇒ r falsa? Explique.
9. Dada la proposición
x+3
5. Para todo par de proposiciones r y s, definimos ∀x ∈ R − {−3} : x < 0 ⇒ = 1,
x+3
el conectivo lógico ∗ como sigue determine su valor de verdad y luego escriba
r s r∗s su negación.
V V V
V F V 10. Demuestre que si m ∈ N y no es divisible por
F V F 3, entonces su cubo tampoco lo es.
F F V
n2 + 6
(a) ¿Es p ∗ (p ∧ q) una tautología? 11. Demuestre que si es par entonces n es
2
(b) Verifique que p ∗ q ≡ ¬p ⇒ ¬q impar.

Capítulo 1 PDF

Cargado por

Copyright:

Formatos disponibles

Capítulo 1 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

Capítulo 1 PDF

Cargado por

Copyright:

Formatos disponibles

1.

1.1 Proposiciones y conectivos

∀ ε > 0, ∃ δ > 0, ∀ x ∈ Dom f : 0 < |x − a| < δ ⇒ | f (x) − L| < ε

Si para un enunciado no se puede afirmar que es verdadero o falso, no lo consideraremos proposi-

Ejemplos de enunciados que no son proposiciones son:

La primera oración no es proposición porque está expresada en modo interrogativo. Tampoco lo

La tercera no es proposición porque, como no conocemos el valor de x, no podemos afirmar si la

La proposición > siempre resulta verdadera y se llama tautología. La proposición ⊥ se llama

En cambio ¬p cambia el valor de verdad de la proposición p. Se lee “no p” y se llama negación.

El siguiente conectivo recibe el nombre de conjunción, se escribe p ∧ q y se lee “p y q”.

También se define el conectivo de disyunción, que se escribe p ∨ q y se lee “p o q”.

p es verdadera, q es falsa, r es verdadera

El conectivo condicional o implicación se escribe p ⇒ q y se lee “si p entonces q” o “p implica q”.

El siguiente ejemplo muestra cómo funciona la implicación. El conocido Teorema de Pitágoras

El conectivo bicondicional o doble implicación se lee como “p si y solo si q” y se escribe p ⇔ q.

El conectivo bicondicional también se conoce como equivalencia lógica (también se escribe p ≡ q)

[(¬q) ∨ p] ⇒ [r ∧ (¬p)] q ⇒ [(¬r) ∧ (¬p)]

Mostramos a continuación la tabla de verdad de la proposición compuesta q ⇒ [(¬r) ∧ (¬p)].

¬(p ∧ q) ≡ (¬p) ∨ (¬q) ¬(p ∨ q) ≡ (¬p) ∧ (¬q)

p ∧ (¬p) ≡ ⊥ p ∨ (¬p) ≡ >

5. En la tabla, compare las columnas 3 y 4.

6. En la tabla, compare las columnas 6 y 7.

7. En la tabla, compare las columnas 7 y 8.

p q r q∨r p∧q p∧r p ∧ (q ∨ r) (p ∧ q) ∨ (p ∧ r)

El resto de las demostraciones queda como ejercicio para el lector.

p q ¬p ¬q p⇒q q⇒ p p⇔q ¬p∨q ¬q ⇒ ¬p (p ⇒ q)∧(q ⇒ p)

que se utiliza en cada paso.

Ejemplo 1.5 Sabiendo que la proposición p ⇒ ¬( r ∧ ¬q ) es falsa, se puede determinar el valor

En efecto, teniendo en cuenta que según la Ley de De Morgan

[p ⇒ ¬(r ∧ ¬q)] ≡ [p ⇒ (¬r ∨ q)]

Si esta es falsa, necesariamente p es verdadera y (¬r) ∨ q es falsa. Luego se tiene: p es verdadera,

[(p ⇒ q) ⇔ (p ∧ q ∧ r)] ⇒ (¬p ∨ q)

Luego la proposición es falsa.

Ejemplo 1.6 La siguiente equivalencia se denomina exportación y convierte una implicación

4. Si p y q son ambas proposiciones falsas, (a) Verifique que p ? q ≡ ¬(p ⇒ q).

1.2 Funciones proposicionales y cuantificadores

Por ejemplo, denotamos la función proposicional

p(n) := n es un número primo

p(12) := 12 es un número primo

que es una proposición falsa, mientras que cuando n = 13 se lee

p(13) := 13 es un número primo

que resulta ser una proposición verdadera.

Por otro lado, la función proposicional

q(4ABC) := el triángulo 4ABC es rectángulo

es verdadera si el triángulo es el de la izquierda de la figura y resulta falsa para el triángulo de la

r(x, y) := si x > y, entonces x2 > y2

Por otro lado, r(1, 0) := (1 > 0) ⇒ (12 > 02 ) es verdadera.

Para indicar que un elemento x pertenece a un conjunto A se utiliza el símbolo x ∈ A.

Hay distintos tipos de cuantificadores:

Definición 1.2.2 — Cuantificador universal.

∀ x ∈ A : p(x) ≡ p(1) ∧ p(2) ∧ p(3)

Si el conjunto A tiene una cantidad infinita de elementos, la cuantificación universal también se

Definición 1.2.3 — Cuantificador existencial.

Por ejemplo, sea A = {1, 2, 3} y consideremos la función proposicional p(x) := x es impar. Si

∃ x ∈ A : p(x) ≡ p(1) ∨ p(2) ∨ p(3)

Si el conjunto A tiene una cantidad infinita de elementos, la cuantificación existencial también se

∃ ! x ∈ A : p(x) se lee como “existe un único elemento de A que satisface p(x)”.

1. Todo número natural es primo.

3. Hay un único número primo que es par.