E SCUELA P OLITÉCNICA N ACIONAL
D EPARTAMENTO DE F ORMACIÓN B ÁSICA
C URSO DE NIVELACIÓN PARA I NGENIERÍA , C IENCIAS Y
A DMINISTRACIÓN DE EMPRESAS
Fundamentos de Matemática Semestre 2023-A
C APÍTULO 1: L ÓGICA
1. T EMA : E QUIVALENCIA Y SUSTITUCIÓN
2. O BJETIVOS :
Reconocer una deducción lógica.
Reconocer una equivalencia lógica.
Demostrar que dos proposiciones son lógicamente equivalentes.
3. C ONTENIDO
E QUIVALENCIAS LÓGICAS Y EL P RINCIPIO DE SUSTITUCIÓN
Definición 1 – Equivalencia lógica
Se dice que una proposición A es equivalente lógicamente a B si la doble implicación de A y
B es una tautología; es decir, si A ⇔ B es una proposición verdadera, independientemente de
los valores de verdad de A y de B.
Utilizaremos el signo
A ≡B
para indicar que A es equivalente lógicamente a B.
Es claro, del axioma de la doble implicación que si dos proposiciones son equivalentes lógicamen-
te, tienen el mismo valor de verdad independientemente de los valores de verdad de las proposicio-
nes mediante las cuales se expresan. Las equivalencias lógicas suelen identificarse con los mismos
nombres que las tautologías correspondientes.
E QUIVALENCIAS L ÓGICAS
En la sección anterior revisamos algunas tautologías relevantes, de las cuales varias serán llama-
das equivalencias lógicas.
Guía Académica 4 1
Fundamentos de Matemática
Doble negación Contrapositiva
¬¬A ≡ A A ⇒ B ≡ ¬B ⇒ ¬A
Conmutativa de la conjunción Conmutativa de la disyunción
A ∧B ≡ B∧A A ∨B ≡ B∨A
Implicación-disyunción Doble implicación - implicación
A ⇒ B ≡ ¬A ∨ B A ⇔ B ≡ (A ⇒ B ) ∧ (B ⇒ A )
De Morgan: negación de la conjunción De Morgan: negación de la disyunción
¬(A ∧ B ) ≡ ¬A ∨ ¬B ¬(A ∨ B ) ≡ ¬A ∧ ¬B
Observaciones
1. El signo A ≡ B no representa una proposición sino una relación entre proposiciones: la doble
implicación de A y B es una tautología.
2. Si A ≡ B no significa que A sea igual a B; únicamente significa que tienen el mismo valor de
verdad independientemente de los valores de verdad de las proposiciones mediante las cuales
se expresan.
3. Si dos proposiciones son equivalente lógicamente, o ambas son verdaderas o ambas son falsas,
debido al axioma de la doble implicación.
P ROPIEDADES DE LA EQUIVALENCIA LÓGICA
1. Reflexiva: toda proposición es equivalente lógicamente consigo misma.
Es decir, si A es una proposición, entonces A ≡ A , como lo hemos visto en los ejemplos
anteriores.
2. Simétrica: si una proposición es equivalente lógicamente a otra proposición, la segunda también
es equivalente lógicamente a la primera proposición.
En otras palabras, si A ≡ B, entonces B ≡ A .
3. Transitiva: si una proposición es equivalente lógicamente a otra proposición y esta segunda es
equivalente lógicamente a una tercera proposición, entonces la primera proposición es equiva-
lente lógicamente a la tercera.
Dicho de otra manera, si A ≡ B y B ≡ C , entonces A ≡ C .
4. Negación: si dos proposiciones son equivalentes lógicamente, entonces sus negaciones también
son equivalentes lógicamente.
De otra forma: si A ≡ B, entonces ¬A ≡ ¬B.
2 Guía Académica 4
Fundamentos de Matemática
5. Principio de sustitución por equivalentes lógicos: Dada la proposición C en la que aparece la pro-
posición A lo que se representa por
C (A ).
Si A ≡ B, entonces la proposición
C (B )
que es la proposición C donde se han sustituido una o más de las apariciones de A por B (no
necesariamente todas) tiene el mismo valor de verdad que C (A ). Es decir,
C (A ) ≡ C (B )
Ejemplo 1
Un ejemplo de la propiedad transitiva de la equivalencia lógica en la teoría Números reales es el
siguiente:
I. Se tiene que
( x − 1)2 = 0 ≡ x − 1 = 0.
II . También se tiene que
x − 1 = 0 ≡ x = 1.
III . Por tanto, por la Propiedad transitiva de la equivalencia lógica aplicada a (a) y (b), se tiene que
( x − 1)2 = 0 ≡ x = 1.
Ejemplo 2
Utilizar la equivalencia lógica Ley de De Morgan: negación de la disyunción en la siguiente proposición
para determinar otra proposición que tenga el mismo valor de verdad.
¬(¬R ∨ Q )
Por lo tanto,
¬(¬R ∨ Q ) ≡ ¬(¬R ) ∧ ¬Q
Además utilizando la equivalencia lógica Doble negación se tiene
¬(¬R ) ∧ ¬Q ≡ R ∧ ¬Q
Finalmente por la Propiedad transitiva de la equivalencia lógica, se conoce que
¬(¬R ∨ Q ) ≡ R ∧ ¬Q.
Guía Académica 4 3
Fundamentos de Matemática
4. P REGUNTAS , PROBLEMAS Y EJERCICIOS RESUELTOS
1. Utilizar la equivalencia lógica Implicación-disyunción en la siguiente proposición para determi-
nar otra proposición que tenga el mismo valor de verdad.
(Q ∧ ¬P ) ⇒ A
2. Si
x2 − x − 6 = 0 ≡ ( x − 3)( x + 2) = 0 y
( x − 3)( x + 2) = 0 ≡ x = 3 ∨ x = −2
¿Entonces podemos decir que x2 − x − 6 = 0 ≡ x = 3 ∨ x = −2?
3. Sean Q, R, P y T proposiciones, tales que
¬T ∨ P ≡ R ⇔ Q
¿Qué valor de verdad tienen las proposiciones T y P si se conoce que Q ⇒ R es f.
4. Identificar las equivalencias lógicas utilizadas para determinar otras proposiciones que tienen
el mismo valor de verdad de:
¬(¬Q ⇒ (P ∧ R ))
Desarrollo
¬(¬Q ⇒ (P ∧ R )) ≡ ¬(¬(¬Q ) ∨ (P ∧ R )) ..............................................
≡ ¬(Q ∨ (P ∧ R )) ..............................................
≡ De Morgan: negación de la disyunción
≡ ¬Q ∧ (¬P ∨ ¬R ) ..............................................
5. C LAUSURA Y CIERRE DE LA CLASE
En este capítulo se han aprendido las ideas iniciales de Lógica, pues se busca proveer de un meca-
nismo general para deducir proposiciones en cualquier teoría matemática. Y esto es posible, porque
la Lógica de proposiciones se ocupa de la “forma” de una proposición y no de qué proposiciones podría
representar en una teoría en particular.
6. B IBLIOGRAFÍA
Cátedra: Fundamentos de Matemática. (2022). Notas de Clase Fundamentos de Matemática DFB-EPN
2022-B. Capítulo 1: Lógica.
4 Guía Académica 4
