SEMANA 2 - ISIS1104 - SECCIONES 1 Y 5

202210

DANIEL R. BARRERO R.

1. proposiciones ii
Una tautologı́a es una fórmula que siempre es verdadera. Una contradicción es
una fórmula que siempre es falsa. Una contingencia es una fórmula que puede ser
tanto verdadera como falsa.

Ejemplo 1. Las fórmulas p, p ∧ q, p ↔ q son contingencias. La fórmula p ∨ ¬p

es una tautologı́a:

p ¬p p ∨ ¬p
V F V .
F V V

La fórmula p ∧ ¬p es una contradicción:

p ¬p p ∧ ¬p
V F F .
F V F

Teorema. Dos fórmulas f y g son equivalentes si y sólo si la fórmula f ↔ g es

una tautologı́a. ⇝ Demostraremos este teorema más adelante, por ahora veámoslo
en un ejemplo:

Ejemplo 2. Anteriormente hemos visto que las fórmulas ¬p ∨ q y p → q son

equivalentes, pues tienen la misma tabla de verdad. Recordemos la tabla de verdad
del operador ↔:

p q p↔q
V V V
V F F
F V F
F F V.
Ahora veamos la tabla de verdad de (¬p ∨ q) ↔ (p → q):

p q ¬p ∨ q p→q (¬p ∨ q) ↔ (p → q)
V V V V V
V F F F V
F V V V V
F F V V V
1
2 DANIEL R. BARRERO R.

Vemos que en efecto (¬p ∨ q) ↔ (p → q) es una tautologı́a, como dice el teorema.

Convención. Podemos usar operadores lógicos para operar los valores de verdad
V y F con proposiciones, la idea es que V y F son las constantes de la lógica
proposicional. Veamos algunos ejemplos:
1.
p p∨V
V V
F V
2.
p p∧F
V F
F F
Vemos que la fórmula p∨V es una tautologı́a, y lo denotamos mediante p∨V ≡ V .
También vemos que la fórmula p ∧ F es una contradicción, y lo denotamos con
p ∧ F ≡ F.

Observe que esto es análogo a operar variables con constantes en álgebra y

cálculo: si f (x) = 4x y g(x) = x + 3, calculamos los valores de las funciones f (x) y
g(x) primero dando un valor a la variable x y después operando con las respectivas
constantes:
f (−2) = 4(−2) = −8
f (0) = 4(0) = 0
f (1/5) = 4(1/5) = 4/5 = 0,8
g(−2) = −2 + 3 = 1
g(0) = 0 + 3 = 3
g(1/5) = 1/5 + 3 = 16/5 = 3,2

Otro par de ejemplos:

1.
p p∧V
V V
F F
2.
p p∨F
V V
F F

Vemos que p ∧ V ≡ p y que p ∨ F ≡ F . Terminamos esta sección con la

Tabla de equivalencias lógicas. (ver Figura 1)

La manera de demostrar la validez de estas equivalencias lógicas es calculando
tablas de verdad. Mostremos la validez de la primera ley de De Morgan:

p q ¬p ¬q ¬p ∨ ¬q p∧q ¬(p ∧ q)
V V F F F V F
V F F V V F V
F V V F V F V
F F V V V F V
SEMANA 2 - ISIS1104 - SECCIONES 1 Y 5 202210 3

Figura 1
4 DANIEL R. BARRERO R.

Con esta tabla hemos mostrado la validez de la primera ley de De Morgan pues
las columnas 5 y 7 son iguales. Las otras equivalencias lógicas se demuestran análo-
gamente. Pongamos en práctica esta lista de equivalencias lógicas:

Ejercicio 1. Muestre que las fórmulas ¬(p∨(¬p∧q)) y ¬(p∨q) son equivalentes.

Solución.
¬(p ∨ (¬p ∧ q)) ≡
¬((p ∨ ¬p) ∧ (p ∨ q)) ≡
¬(V ∧ (p ∨ q)) ≡
¬(p ∨ q)
Ejercicio 2. Muestre que la fórmula (p ∧ q) → (p ∨ q) es una tautologı́a.

Solución.
(p ∧ q) → (p ∨ q) ≡
¬(p ∧ q) ∨ (p ∨ q) ≡
(¬p ∨ ¬q) ∨ (p ∨ q) ≡
(¬p ∨ p) ∨ (¬q ∨ q) ≡
V ∨V ≡
V

2. predicados.
Definición. Un dominio de discurso (abrev. dominio) es un conjunto no vacı́o D.

Un dominio es cualquier conjunto sobre cuyos elementos nos interesa afirmar

algo. Listamos algunos dominios que usaremos en ejemplos y ejercicios:

Ejemplo.
D = estudiantes en la primera fila del salón.
D = estudiantes de ISIS1104.
D = estudiantes de nuestra universidad.
Los dominios también pueden ser conjuntos infinitos:
D = N, los números naturales.
D = Z, los números enteros.
D = Q, los números racionales.
D = cadenas de caracteres en el alfabeto latino.
D = cadenas de caracteres en el conjunto de sı́mbolos {a, #, $}.

Definición. Dado un dominio D, un predicado o función proposicional es una

frase declarativa sobre una o más variables que se convierte en una proposición
cuando se le asigna un valor del dominio a las variables.
 SEMANA 2 - ISIS1104 - SECCIONES 1 Y 5 202210 5

Ejemplo 1.
1. Dominio: D = Z. Sea P (x) el predicado x + 1 = 2. Al sustituir x por
algún número entero, obtenemos una proposición. P (0) : 0 + 1 = 2 (falso),
P (1) : 1 + 1 = 2 (verdadero).
2. Dominio: D = Z. Sea P (x) el predicado x > 3. Vemos que P (1) : F, P (3) :
F, P (4) : V, P (5) : V , etc.

Ejemplo 2. D = estudiantes de nuestra universidad. Sea P (x) el predicado ((x

sabe programar en Python)). Si x es algún estudiante de nuestro curso, digamos de
nombre “Ana”, entonces P (Ana) : V . Si de otro modo x es algún estudiante de
arte, digamos de nombre “Martı́n”, entonces P (Martı́n) : F .

Ejemplo 3. Un predicado puede tener más de una variable, cada una con su
dominio.
1. P (x, y, z) : x + y = z. Dominio para x, y, z: D = Z.
2. Q(x, y, z) : ((x vio el curso ISIS1104 con y y el curso ISIS1106 con z)). Do-
minio para x: D1 = estudiantes del departamento, dominio para y, z: D2 =
profesores del departamento.

3. cuantificadores.
Hemos visto que una forma de convertir un predicado en una proposición es
asignando un valor del dominio a la variable. Otra forma de convertir predicados
en proposiciones es mediante cuantificadores.

3.1. Cuantificación Universal.

Definición. Dado un dominio D, la cuantificación universal de P (x) es la pro-

posición que se escribe ∀x P (x) y se lee (( P (x) es verdadera para todos los elementos
x del dominio)). Al sı́mbolo ∀ se le llama “cuantificador universal”.

Ejemplo 1. Dominio: D = estudiantes de ISIS1104.

1. P (x) : ((x sabe programar en Python)). Tenemos que ∀x P (x) es verdadera
pues un requisito para ver ISIS1104 es haber visto ISIS1221, donde se aprende
a programar en Python.
2. P (x) : ((x sabe programar en C)). De acuerdo a las manos levantadas en clase,
tenemos que ∀x P (x) es falsa pues sólo unos pocos se consideran competentes
en dicho lenguaje.

Ejemplo 2. D = Z.
1. P (x) : x + 1 > x. Tenemos que ∀x P (x) es verdadera, abrev. ∀x P (x) : V .
2. P (x) : x > 2. En este caso ∀x P (x) : F pues P (x) es falsa para x =
2, 1, 0, −1, −2, . . .
3. P (x) : x2 > 0. ¡En este caso ∀x P (x) : F , pues P (x) es falsa para x = 0!
6 DANIEL R. BARRERO R.

La proposición ∀x P (x) es falsa cuando P (x) es falsa para algún x ∈ D. En tal

caso, dicho x se llama un contraejemplo de la sentencia ∀x P (x). En el ejemplo 2.3,
el valor x = 0 es un contraejemplo de ∀x (x2 > 0).

Ejemplo 3. D = Q, P (x) : x2 ≥ x. Tenemos que ∀x P (x) : F , contraejemplos:

x = 1/2, 1/3, . . . etc.

3.2. Cuantificación Existencial.

Definición. Dado un dominio D, la cuantificación existencial de P (x) es la pro-

posición que se escribe ∃x P (x) y se lee ((Existe un elemento x tal que P (x))). Al
sı́mbolo ∃ se le llama “cuantificador existencial”.

Ejemplo 1. D = Z.
1. P (x) : x > 3. Tenemos que ∃x P (x) : V pues P (x) es verdadera para varios
x del dominio, a saber x = 4, 5, 6, . . .
2. P (x) : x = x + 1. Tenemos que ∃x P (x) : F pues ningún número entero es
igual a su sucesor.
3. P (x) : 3x = 1. Tenemos que ∃x P (x) : F pues la única solución de la
ecuación 3x = 1 es x = 1/3, que no es un número entero.

Ejemplo 2. D = {0, 1, 2, 3, 4}. Sean los predicados P (x) : x2 > 10 y Q(x) :

2
x ≤ 10. Tenemos que
∃x P (x) : V pues P (4) es verdadera.
∀x Q(x) : F ¡por la misma razón! Q(4) es falsa.
Observe que en este ejemplo, P (x) = ¬Q(x), y tenemos un ejemplo de una
equivalencia que vale para cualquier predicado Q(x):
¬∀x Q(x) ≡ ∃x ¬Q(x).
Observe que podemos leer la equivalencia de la siguiente manera: “la cuantificación
universal es falsa si existen contraejemplos”.

Ahora recordemos los ejemplos 1.2 y 1.3: D = Z,

P (x) : x = x + 1. Tenemos que ∃x P (x) : F .
P (x) : 3x = 1. Tenemos que ∃x P (x) : F .
En ambos casos, ¡la cuantificación existencial es falsa porque el predicado es falso
para todo elemento del dominio! Es decir, tenemos un ejemplo de que
¬∃x P (x) ≡ ∀x ¬P (x).

Ahora veamos un último cuantificador, el motivo es que aparece frecuentemente

en sentencias matemáticas:

Definición. Dado un dominio D, la cuantificación de existencia única del predi-

cado P (x) se escribe ∃!x P (x) y se lee ((Existe un único x tal que P (x) es verdadera)).

Ejemplo 3. D = Z.
 SEMANA 2 - ISIS1104 - SECCIONES 1 Y 5 202210 7

1. ∃!x (x > 1) es falsa pues el predicado x > 1 es verdadero para más de un

número entero: x = 2, 3, 4, . . .
2. ∃!x (x2 = 1) es falsa pues el predicado x2 = 1 es verdadero para x = 1 y
x = −1.
3. ∃!x (x+3 = 2x) es verdadera pues la única solución de la ecuación x+3 = 2x
es x = 3, qu es un número entero.

Ejemplo 4. D = Q.
1. ∃!x (3x = 2) : V pues la única solución de la ecuación 3x = 2 es x = 2/3,
que es un número racional.
2. ∃!x (0 < x < 1) : F pues existen varios números racionales que satisfacen el
predicado 0 < x < 1, por ejemplo x = 1/2, 1/3, 4/5, 3/8, . . .

3.3. Traducción de lenguaje natural a lenguaje formal con predicados

y cuantificadores.

Ejemplo 1. Traduzca la sentencia ((Todo estudiante de esta clase sabe preparar

arroz)) a una proposición que use predicados y cuantificadores.

Solución. Empezamos por definir el dominio: D = estudiantes de isis1104. Aho-

ra sea A(x) el predicado ((x sabe preparar arroz)). Entonces la sentencia se puede
denotar con ∀x A(x).

Ejemplo 2. Mismo ejercicio para ((Algún estudiante de esta clase ha visitado Me-
dellı́n)) y ((Todo estudiante de esta clase ha visitado bien sea Medellı́n o Cartagena)).

Solución. Dominio: D = estudiantes de isis1104. Sean los predicados M (x) : ((x

ha visitado Medellı́n)) y C(x) : ((x ha visitado Cartagena)). Entonces la primera
sentencia se deja expresar como ∃x M (x) y la segunda sentencia se deja expresar
como ∀x (M (x) ∨ C(x).

Ejemplo 3. Sea la sentencia ((Algún estudiante de la facultad sabe programar en

Java, Prolog y C)). ¿Podemos expresarla usando predicados de más de una variable?

Solución. Podemos estar en un contexto donde ser competente en cualquiera de

esos tres lenguajes es importante, luego podemos tener una variable x que toma
valores en el dominio D1 = estudiantes de la facultad de ingenierı́a y una variable y
que toma valores en el dominio D2 = {Java, Prolog, C}. Si Q(x, y) es el predicado
((x sabe programar en y)), la sentencia se deja expresar como
∃x (∀y Q(x, y))