ESCUELA POLITÉCNICA NACIONAL

Fundamentos de Matemática
PROPOSICIONES Y PREDICADOS DE PRIMER ORDEN

ESCUELA POLITÉCNICA NACIONAL

28 de mayo de 2021

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 1 / 96
 Agenda
1 Introducción
2 Teorı́as Matemáticas
Ejemplo
Conceptos
3 Proposiciones
Ejemplos
4 Conceptos primitivos de la Lógica
5 Axioma de los Principios Fundamentales
6 Sintaxis de la Lógica
7 Tablas de verdad
8 Tautologı́as y Contradicciones
Tautologı́as relevantes
Lo que “nos dice” algunas tautologı́as relevantes
9 Ejemplos de uso de tautologı́as relevantes
10 “Forma” de una proposición
Ejemplos
Forma de algunas tautologı́as de uso frecuente
11 Deducción lógica
12 Deducción
Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 2 / 96
 Agenda
Reglas de inferencia
Ejemplos
Observaciones sobre el concepto “deducción lógica”

13 Equivalencia lógica
Ejemplos previos
Motivación

14 Definición

15 Algunas Equivalencias Lógicas

Equivalencias Lógicas

16 Conclusiones

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 3 / 96
 Clase 02

Clase 02
1. Teorı́a Matemática
2. Tres caracterı́sticas de las proposiciones
3. Conceptos primitivos de la Lógica
4. Axioma de los Principios fundamentales
5. Sintaxis de la lógica Proposicional
6. Axioma de Valor de verdad de una proposición.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 4 / 96
 Introducción

Introducción

Fundamentos de Matemática

estudia concepto fundamentales

Conjuntos Número reales Número complejos Funciones

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 5 / 96
 Introducción

Introducción

Fundamentos de Matemática

estudia concepto fundamentales

Conjuntos Número reales Número complejos Funciones

Estas y otras teorı́as confirman la Matemática.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 5 / 96
 Introducción

Introducción

Fundamentos de Matemática

estudia concepto fundamentales

Conjuntos Número reales Número complejos Funciones

Estas y otras teorı́as confirman la Matemática.

Cada una de estas teorı́as es una colección de conceptos y
proposiciones (sobre tales conceptos); estas proposiciones se relacionan
entre sı́ mediante la Lógica.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 5 / 96
 Introducción

Teorı́as Matemáticas
La Lógica estudia el concepto básico de proposición mediante dos teorı́as:
1. Lógica de proposiciones
“El número 1 es mayor que 0”
“La suma de 3 y 0 es igual a 3”

2. Lógica de predicados
“Para todo número real x, se tiene que x + 0 = x”
“Para toda función g, si g es biyectiva, entonces g es invertible”

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 6 / 96
 Teorı́as Matemáticas

Teorı́as Matemáticas o axiomáticas

Conceptos
primitivos Axiomas

Teorı́as
axiomáticas
conceptos|proposiciones

Conceptos
Teoremas
definidos

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 7 / 96
 Teorı́as Matemáticas Ejemplo

Ejemplo
Algunos conceptos de la teorı́a de Conjuntos:

clase, diferencia,
conjunto, complemento,
elemento, conjunto unitario,
relación igualdad,
par desordenado,
relación subconjunto.
conjunto vacı́o, par ordenado,
unión, producto cartesiano,
intersección, grafo.

De estos conceptos, algunos se definen exclusivamente mediante uno o varios

de los denominados primitivos.

Conceptos primitivos son:

clase y relación pertenencia.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 8 / 96
 Teorı́as Matemáticas Ejemplo

Ejemplo
Algunos conceptos definidos de la Teorı́a de Conjuntos:
C1 : Una clase A es igual a la clase B si una clase pertenece a A si y solo si
pertenece a B.
C2 : Una clase es un conjunto si esta clase pertenece a otra clase.
Los conceptos igual y conjunto se definen exclusivamente mediante los
conceptos primitivos clase y pertenece.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 9 / 96
 Teorı́as Matemáticas Ejemplo

Ejemplo
Las siguientes proposiciones son algunos de los axiomas de la teorı́a de
Conjuntos:
A1 : Si A, B y C son clases tales que A = B y A ∈ C , entonces B ∈ C .
Este axioma define implı́citamente los conceptos primitivos pertenencia y
clase. Recordemos que el concepto definido igual se define únicamente
mediante los conceptos clase y pertenencia.
A2 : Dado un predicado P (x), existe la clase cuyos elementos son todos los
conjuntos a tales que P (a) es una proposición verdadera.
A3 : Si a y b son conjuntos, el par desordenado de a y de b también es un
conjunto.
A4 : Si A es un conjunto y B es una clase tal que B ⊆ A, entonces B también es
un conjunto.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 10 / 96
 Teorı́as Matemáticas Ejemplo

Ejemplo
Los siguientes son algunos de los teoremas de la teorı́a de Conjuntos. Es decir,
estas proposiciones se deducen de los axiomas.
T1 : Si A es un conjunto, entonces A = A.
Este teorema se deduce del axioma de la doble implicación. Recordemos
que toda teorı́a matemática tiene también como axiomas todos los de la
Lógica.
T2 : Si A y B son conjuntos tales que A = B, entonces B = A.
Este teorema se deduce del axioma de la doble implicación.
T3 : Si A, B y C son conjuntos tales que A = B y B = C, entonces A = C.
Este teorema se deduce del axioma de la doble implicación.
T4 : Si A y B son conjuntos tales que A ⊆ B y B ⊆ A, entonces A = B.
T5 : El conjunto vacı́o es subconjunto de todo conjunto.
T6 : La intersección de dos conjuntos es un subconjunto de cada uno de los
conjuntos.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 11 / 96
 Teorı́as Matemáticas Ejemplo

Ejemplo
Las siguientes proposiciones son falsas en esta teorı́a:
F1 : La clase universal es un conjunto.
F2 : La unión de dos conjuntos dados es subconjunto de cada uno de los
conjuntos dados.
F3 : Si dos conjuntos son disjuntos, hay un elemento en la intersección de
dichos conjuntos.
F4 : Todo conjunto se pertenece a sı́ mismo.
F5 : El conjunto vacı́o pertenece a todo conjunto.

Las siguientes no son proposiciones:

1. El conjunto vacı́o.
2. La clase universal.
3. La intersección de dos clases.
4. La unión de dos conjuntos.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 12 / 96
 Teorı́as Matemáticas Conceptos

Conceptos I

 Conceptos primitivos

Un concepto primitivo no se define explı́citamente. Se los define IMPL ÍCI -

TAMENTE mediante axiomas.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 13 / 96
 Teorı́as Matemáticas Conceptos

Conceptos I

 Conceptos primitivos

Un concepto primitivo no se define explı́citamente. Se los define IMPL ÍCI -

TAMENTE mediante axiomas.

 Axiomas

Los axiomas son proposiciones aceptadas sin más como verdaderas. Y,

1. De estas proposiciones se deducen todas las demás proposiciones
de una teorı́a axiomática. (TEOREMAS)
2. Estas proposiciones describen las propiedades o caracterı́sticas
básicas o fundamentales de los conceptos primitivos. (DEFINICIÓN
IMPLÍCITA)

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 13 / 96
 Teorı́as Matemáticas Conceptos

Conceptos II

 Conceptos definidos

Un concepto definido es todo concepto que se define únicamente me-

diante los conceptos primitivos o mediante cualquier concepto previa-
mente definido a través de otros conceptos o los conceptos primitivos,
siempre y cuando dentro de esos conceptos previos no conste el que se
está definiendo.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 14 / 96
 Teorı́as Matemáticas Conceptos

Conceptos II

 Conceptos definidos

Un concepto definido es todo concepto que se define únicamente me-

diante los conceptos primitivos o mediante cualquier concepto previa-
mente definido a través de otros conceptos o los conceptos primitivos,
siempre y cuando dentro de esos conceptos previos no conste el que se
está definiendo.

 Teorema

Un teorema es toda proposición que se deduce únicamente de los axio-

mas o de teoremas previamente deducidos a partir de los axiomas o de
otros teoremas, siempre y cuando dentro de esos teoremas previos no
conste el que se está deduciendo.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 14 / 96
 Proposiciones

Proposiciones
Es un concepto básico de la Lógica donde sobresalen dos caracterı́sticas
fundamentales:

1. Una proposición tiene que ser o verdadera o falsa.

Principio del tercer excluido
2. Una proposición no puede ser verdadera y falsa.
Principio de no contradicción

Una última caracterı́stica es el hecho de que una proposición se puede

expresar mediante otras proposiciones.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 15 / 96
 Proposiciones Ejemplos

Ejemplos
Proposiciones expresadas mediante otras proposiciones
Si el producto de dos números reales es igual a 0, entonces uno de los dos
es igual a 0.

Si una figura geométrica es una recta, entonces existen dos puntos tales
que son distintos y están en la recta.

Una función biyectiva es inyectiva y sobreyectiva.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 16 / 96
 Proposiciones Ejemplos

Ejemplos
El cuadrado de un número real es igual a 0 si y solo si el número es igual a
0.

Todo triángulo equilátero es isósceles.

En una recta, hay al menos dos puntos distintos.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 17 / 96
 Proposiciones Ejemplos

Ejemplos
Proposiciones que no se expresan mediante otras
Una recta es un conjunto de puntos.
Un plano es un conjunto de puntos.
El número 0 es el elemento neutro de la suma.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 18 / 96
 Conceptos primitivos de la Lógica

Conceptos primitivos de la lógica

proposición,
verdadero,
falso,
valor de verdad de una proposición,
negación,
conjunción,
disyunción,
implicación y
doble implicación

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 19 / 96
 Axioma de los Principios Fundamentales

Axioma de los Principios Fundamentales

Los axiomas que definen los conceptos primitivos son:
1. Principio del tercero excluido:
El valor de verdad de toda proposición o bien es verdadero o bien es falso.

2. Principio de no contradicción:
Si el valor de verdad de una proposición es verdadero, no puede ser
también falso; y si es falso, su valor de verdad no puede ser verdadero.

3. Conectivas:
Hay proposiciones que se expresan mediante otras proposiciones y de una
o más de las siguientes palabras (a las que se les denomina conectivas):
negación, conjunción, disyunción, implicación o doble implicación.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 20 / 96
 Axioma de los Principios Fundamentales

Axioma de los Principios Fundamentales

4. Proposiciones simples:
Hay proposiciones (denominadas simples) que no se expresan mediante
otras proposiciones.

5. Proposiciones:
Toda proposición es, o bien simple, o bien se expresa únicamente
mediante otras proposiciones y una o varias de las conectivas negación,
conjunción, disyunción, implicación o doble implicación.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 21 / 96
 Sintaxis de la Lógica

Sintaxis de la Lógica
1. Para representar proposiciones usaremos las letras A, B, C, . . . , P , Q, R,
etcétera.
2. Para las conectivas utilizaremos los siguientes signos:
¬, ∧, ∨, ⇒ y ⇔.
3. Las reglas para el uso de las letras que representan las proposiciones y los
signos para las conectivas son las siguientes:
1) La conectiva negación se escribe como prefijo de un signo que
representa una proposición.

¬P
2) Las conectivas conjunción, disyunción, implicación y doble
implicación se escriben entre dos signos que representan
proposiciones1 . Por ejemplo:

P ∧ Q, P ∨ Q, P ⇒Q y P ⇔ Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 22 / 96
 Sintaxis de la Lógica

Sintaxis de la Lógica
4. Utilizaremos los signos v y f para representar valor de verdad verdadero y
valor de verdad falso, respectivamente.
5. Utilizaremos los paréntesis ( y ) como signos de agrupación, con el fin de
evitar ambigüedades.

ü Abuso de lenguaje
Aunque P no es una proposición, abusaremos del lenguaje y diremos
con frecuencia
“P es una proposición” o
“la proposición P ”
en lugar de decir
“P representa una proposición” o
“la proposición representada por P ”

1
En el caso de la implicación P ⇒ Q, la proposición P es denominada antecedente y la
proposición Q, consecuente de la implicación.
Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 23 / 96
 Sintaxis de la Lógica

Axioma del valor de verdad de una proposición

Si P y Q representan proposiciones, entonces:
1. Axioma de la negación: El valor de verdad de la negación de una
proposición es el valor de verdad opuesto de dicha proposición.

Ası́, el valor de verdad de ¬P es el valor de verdad opuesto al de P .

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 24 / 96
 Sintaxis de la Lógica

Axioma del valor de verdad de una proposición

2. Axioma de la conjunción: El valor de verdad de la conjunción de dos
proposiciones es verdadero únicamente si el valor de verdad de ambas
proposiciones es verdadero.

Ası́, el valor de verdad de P ∧ Q es verdadero únicamente si los valores de

verdad de P y Q son ambos verdadero.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 25 / 96
 Sintaxis de la Lógica

Axioma del valor de verdad de una proposición

3. Axioma de la disyunción: El valor de verdad de la disyunción de dos
proposiciones es falso únicamente si el valor de verdad de ambas
proposiciones es falso.

Luego, el valor de verdad de P ∨ Q es falso únicamente si los valores de

verdad de P y Q son ambos falso.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 26 / 96
 Sintaxis de la Lógica

Axioma del valor de verdad de una proposición

4. Axioma de la implicación: El valor de verdad de implicación de dos
proposiciones es falso únicamente si el valor de verdad del antecedente
es verdadero y el del consecuente, falso.

Es decir, el valor de verdad de P ⇒ Q es falso únicamente si el valor de

verdad de P es verdadero y el de Q es falso.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 27 / 96
 Sintaxis de la Lógica

Axioma del valor de verdad de una proposición

5. Axioma de la doble implicación: El valor de verdad de la doble
implicación de dos proposiciones es verdadero únicamente si las dos
proposiciones tienen el mismo valor de verdad.

Luego, el valor de verdad de P ⇔ Q es verdadero únicamente si los valores

de verdad de P y Q son iguales.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 28 / 96
 Sintaxis de la Lógica

Axioma del valor de verdad de una proposición

Para resumir:
P Q P ∧Q P Q P ∨Q
P ¬P v v v v v v
v f v f f v f v
f v f v f f v v
f f f f f f

P Q P ⇒Q P Q P ⇔Q
v v v v v v
v f f v f f
f v v f v f
f f v f f v

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 29 / 96
 Tablas de verdad

Tablas de verdad
Realizar una tabla de verdad de:

P ∨ ¬P

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 30 / 96
 Tablas de verdad

Tablas de verdad
Realizar una tabla de verdad de:

((P ∨ Q) ∧ P ) ⇒ Q

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 31 / 96
 Tablas de verdad

Tablas de verdad
Realizar una tabla de verdad de:

((P ∨ ¬Q) ∧ R) ⇔ Q

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 32 / 96
 Clase 03

Clase 03
1. Tautologı́as
2. Formas de una proposición

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 33 / 96
 Clase 03

Introducción a las tautologı́as

Hemos visto proposiciones que son verdaderas o falsas independientemente
del valor de verdad de las proposiciones de las que se expresa, por ejemplo:
P ∨ ¬P
P ∧ ¬P
¿Qué nos quiere decir esto?
Lo importante es identificar las caracterı́sticas que tienen estas proposiciones
para identificar su valor de verdad sin más.

Algunas, las más relevantes, tendrán un nombre propio.

Mientras que, otras dependen del valor de verdad de las que se expresa, por
ejemplo:
((P ⇒ Q) ∧ Q) ⇒ P
P ∧Q

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 34 / 96
 Tautologı́as y Contradicciones

Tautologı́as y Contradicciones

 Tautologı́a

Una proposición que se expresa mediante otras proposiciones se deno-

mina tautologı́a si su valor de verdad es verdadero independientemente
de los valores de verdad de las otras proposiciones.

 Contradicción

Una proposición que se expresa mediante otras proposiciones se deno-

mina contradicción si su valor de verdad es falso independientemente
de los valores de verdad de las otras proposiciones.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 35 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes
La proposición
P ∨ ¬P
es verdadera, independientemente de qué proposición represente P ; puesto
que,
si la proposición es verdadera, su negación es falsa; y si es falsa, su ne-
gación es verdadera, luego, en ambos casos, la disyunción de P y ¬P
es verdadera2

Esta tautologı́a se denomina P RINCIPIO DEL TERCERO EXCLUIDO pues expresan lo

mismo que
una proposición es verdadera o es falsa

2
Nota que no es necesario hacer una tabla de verdad de la proposición para que es un
tautologı́a.
Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 36 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes
Y Ejemplo
¿Qué sucede con las siguientes proposiciones?
a.) Un número real es racional o irracional.
b.) El conjunto A es conjunto vacı́o o no.
c.) (P ⇒ Q) ∨ ¬(P ⇒ Q)
d.) ¬P ∨ ¬(P ⇒ Q)

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 37 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes
Y Ejemplo
¿Es la proposición (P ∧ Q) ⇔ (Q ∧ P ) una tautologı́a?a
a
Una manera sencilla de contestar esta pregunta es a través de la elaboración de una
tabla de verdad de la proposición:

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 38 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes

P Q P ∧Q Q∧P (P ∧ Q) ⇔ (Q ∧ P )
v v v v v
v f f f v
f v f f v
f f f f v
Esta tautologı́a se denomina PROPIEDAD CONMUTATIVA DE LA CONJUNCI ÓN .

Por el axioma de la doble implicación, ¿qué sucede con los valores de verdad
de P ∧ Q y Q ∧ P ?

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 39 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes
Por ejemplo, si la proposición

a y b son distintos de 0

es verdadera, sin más que por la apelación a la tautologı́a

PROPIEDAD CONMUTATIVA DE LA CONJUNCI ÓN ,

aseguramos que también es verdadera la proposición

b y a son distintos de 0

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 40 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes
Otra tautologı́a relevante es M ODUS P ONENS3 :

((P ⇒ Q) ∧ P ) ⇒ Q. (1)
Una manera de “entender” lo que “nos dice” esta tautologı́a es la siguiente:
[1.] La implicación
((P ⇒ Q) ∧ P ) ⇒ Q
es verdadera independientemente de los valores de verdad de P y de Q.
[2.] El antecedente de esta implicación es

(P ⇒ Q) ∧ P.

Si este antecedente fuera una proposición verdadera, el consecuente de

la implicación en [1.] tendrı́a que ser verdadera necesariamente por el
axioma de la implicación. Y como Q es ese consecuente, entonces Q serı́a
una proposición verdadera necesariamente.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 41 / 96
 Tautologı́as y Contradicciones Tautologı́as relevantes

Tautologı́as relevantes
[3.] Bajo el supuesto de que el antecedente de [1.] es una proposición
verdadera, por el axioma de la conjunción, las dos proposiciones

P ⇒Q y P

también serı́an verdaderas.

Con base en [3.] y en [2.], diremos “que la tautologı́a Modus Ponens asegura
que”:

Si P ⇒ Q y P son verdaderas, necesariamente Q es verdadera. (2)

Y esto lo podemos decir únicamente porque ((P ⇒ Q) ∧ P ) ⇒ Q es una

tautologı́a.

3
lo cual es fácil verificar mediante una tabla de verdad de la proposición
Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 42 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes I

Doble negación
P ⇔ ¬¬P
P y ¬¬P , aunque proposiciones diferentes, tienen el mismo valor de
verdad independientemente del valor de verdad de P .

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 43 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes I

Doble negación
P ⇔ ¬¬P
P y ¬¬P , aunque proposiciones diferentes, tienen el mismo valor de
verdad independientemente del valor de verdad de P .
Ley de De Morgan para la negación de la conjunción

¬(P ∧ Q) ⇔ (¬P ∨ ¬Q).

La negación de la conjunción de dos proposiciones tiene el mismo va-

lor de verdad que la disyunción de la negación de dichas proposicio-
nes, y viceversa.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 43 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes I

Doble negación
P ⇔ ¬¬P
P y ¬¬P , aunque proposiciones diferentes, tienen el mismo valor de
verdad independientemente del valor de verdad de P .
Ley de De Morgan para la negación de la conjunción

¬(P ∧ Q) ⇔ (¬P ∨ ¬Q).

La negación de la conjunción de dos proposiciones tiene el mismo va-

lor de verdad que la disyunción de la negación de dichas proposicio-
nes, y viceversa.
Ley de De Morgan para la negación de la disyunción

¬(P ∨ Q) ⇔ (¬P ∧ ¬Q).

La negación de la disyunción de dos proposiciones tiene el mismo valor

de verdad que la conjunción de la negación de dichas proposiciones,
y viceversa.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 43 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes II

Contrapositiva
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P ).

Una implicación y su contrapositiva tienen el mismo valor de verdad.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 44 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes II

Contrapositiva
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P ).

Una implicación y su contrapositiva tienen el mismo valor de verdad.

Implicación-disyunción

(P ⇒ Q) ⇔ (¬P ∨ Q).

La implicación de dos proposiciones tiene el mismo valor de verdad

que la disyunción de la negación del antecedente y del consecuente.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 44 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes II

Contrapositiva
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P ).

Una implicación y su contrapositiva tienen el mismo valor de verdad.

Implicación-disyunción

(P ⇒ Q) ⇔ (¬P ∨ Q).

La implicación de dos proposiciones tiene el mismo valor de verdad

que la disyunción de la negación del antecedente y del consecuente.
Negación de la implicación Es el nombre de la tautologı́a

¬(P ⇒ Q) ⇔ (P ∧ ¬Q).

El valor de verdad de la negación de la implicación de dos proposicio-

nes es igual al valor de verdad de la conjunción del antecedente y la
negación del consecuente.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 44 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes III

Transitiva de la implicación

((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R).

Si P ⇒ Q y Q ⇒ R son verdaderas, necesariamente P ⇒ R es verdade-
ra.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 45 / 96
 Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes

Lo que “nos dice” algunas tautologı́as relevantes III

Transitiva de la implicación

((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R).

Si P ⇒ Q y Q ⇒ R son verdaderas, necesariamente P ⇒ R es verdade-
ra.
Silogismo hipotético disyuntivo

(((P ∨ Q) ∧ (P ⇒ R)) ∧ (Q ⇒ R)) ⇒ R

Principio de no contradicción
¬(P ∧ ¬P )
Asociativa de la disyunción

(P ∨ Q) ∨ R ⇔ P ∨ (Q ∨ R)

Debido al uso de las tautologı́as relevantes es esencial identificar la F ORMA de

las dichas proposiciones.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 45 / 96
 Ejemplos de uso de tautologı́as relevantes

Ejemplos de uso de tautologı́as relevantes

1. Principio de no contradicción

¬(P ∧ ¬P )

2. Idempotencia
1) Disyunción
(P ∨ P ) ⇔ P
2) Conjunción
(P ∧ P ) ⇔ P
3. Propiedades Conmutativas
1) Disyunción
(P ∨ Q) ⇔ (Q ∨ P )
2) Conjunción
(P ∧ Q) ⇔ (Q ∧ P )
3) Doble implicación
(P ⇔ Q) ⇔ (Q ⇔ P )
4. Asociativas

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 46 / 96
 Ejemplos de uso de tautologı́as relevantes

Ejemplos de uso de tautologı́as relevantes

1) Disyunción
((P ∨ Q) ∨ R) ⇔ (P ∨ (Q ∨ R))
2) Conjunción
((P ∧ Q) ∧ R) ⇔ (P ∧ (Q ∧ R))
5. Contrapositiva
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P )
6. Ley de DeMorgan
1) Negación de la disyunción

¬(P ∨ Q) ⇔ (¬P ∧ ¬Q)

2) Negación de la conjunción

¬(P ∧ Q) ⇔ (¬P ∨ ¬Q)

7. Doble negación
¬¬P ⇔ P
8. Implicación-Disyunción
(P ⇒ Q) ⇔ (¬P ∨ Q)

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 47 / 96
 Ejemplos de uso de tautologı́as relevantes

Ejemplos de uso de tautologı́as relevantes

9. Negación de implicación

¬(P ⇒ Q) ⇔ (P ∧ ¬Q)

10. Doble implicación-implicación

(P ⇔ Q) ⇔ ((P ⇒ Q) ∧ (Q ⇒ P ))

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 48 / 96
 Ejemplos de uso de tautologı́as relevantes

Ejemplos de uso de tautologı́as relevantes

11. Modus Ponens
((P ⇒ Q) ∧ P ) ⇒ Q
Asegura que:
Si P ⇒ Q y P son verdaderas,
necesariamente Q es verdadera.
12. Modus Tollens
((P ⇒ Q) ∧ ¬Q) ⇒ ¬P
Asegura que:
Si P ⇒ Q es verdadera y Q es falsa,
necesariamente P es falsa.
13. Transitiva de la implicación

((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R)

Asegura que:
Si P ⇒ Q y Q ⇒ R son verdaderas,
necesariamente P ⇒ R es verdadera.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 49 / 96
 “Forma” de una proposición

“Forma” de una proposición

Sea la proposición
P ∧ ¬Q,
donde P y Q representan proposiciones cualesquiera, luego, una proposición
que tiene su misma “forma” es:

(R ⇒ Q) ∧ ¬(R ∨ T ).

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 50 / 96
 “Forma” de una proposición

“Forma” de una proposición

Hemos probado que la proposición

P ∨ ¬P

es una tautologı́a. Ası́,

(P ⇒ R) ∨ ¬(P ⇒ R)
también es una tautologı́a.

Cualesquiera de las dos representaciones (independientemente de la(s)

letra(s) que utilicemos) expresa que:

la disyunción de una proposición y su negación es verdadera indepen-

dientemente de la proposición.

Es decir,
la disyunción de una proposición y su negación es verdadera para to-
da (o cualesquier) proposición.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 51 / 96
 “Forma” de una proposición

“Forma” de una proposición

Ası́, por ejemplo, la proposición

(P ∧ Q) ∨ ¬(P ∧ Q)

tiene la misma “forma” que las proposiciones

P ∨ ¬P, que Q ∨ ¬Q o que (R ⇒ ¬Q) ∨ ¬(R ⇒ ¬Q)

(entre muchas otras). Y todas REPRESENTAN la tautologı́a Principio del Tercero

Excluido.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 52 / 96
 “Forma” de una proposición

“Forma” de una proposición

En este sentido, la proposición
T ∨ ¬T,
donde T representa una proposición cualesquiera, se denomina forma de
dicha proposición.

Cada caso particular de esta forma será denominado ejemplificación de la

forma de la proposición T ∨ ¬T .

Por esta razón, diremos que:

la disyunción de cualquier proposición y su negación es verdadera
pues es una ejemplificación de la forma del Principio del Tercero Ex-
cluido.

Usaremos como sinónimo de ejemplificación las palabras caso particular.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 53 / 96
 “Forma” de una proposición Ejemplos

Ejemplo de la “forma” de una proposición

La Propiedad Reflexiva de Implicación es la tautologı́a

P ⇒P

por lo que, las siguientes proposiciones son tautologı́as:

1. (Q ∧ R) ⇒ (Q ∧ R)
2. ¬¬P ⇒ ¬¬P
3. (P ⇒ P ) ⇒ (P ⇒ P )

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 54 / 96
 “Forma” de una proposición Ejemplos

Ejemplo de la “forma” de una proposición

Y Ejemplo
Escriba una ejemplificación de la proposición

¬(P ∨ Q) ⇔ (¬P ∧ ¬Q)

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 55 / 96
 “Forma” de una proposición Ejemplos

Ejemplo de la “forma” de una proposición

Y Ejemplo
La proposición
¬¬¬R ⇔ ¬R
es un caso particular de:

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 56 / 96
 “Forma” de una proposición Forma de algunas tautologı́as de uso frecuente

Forma de algunas tautologı́as de uso frecuente

1. La Doble negación es:
¬¬P ⇔ P.
Su “forma” es:
La doble implicación de:
I . la negación de la negación de una proposición; y
II. la proposición.

2. La Ley de De Morgan para la negación de la disyunción es:

¬(P ∨ Q) ⇔ (¬P ∧ ¬Q).

Su “forma” es:
La doble implicación de:
I . la negación de la disyunción de dos proposiciones; y
II. la conjunción de las negaciones de las proposiciones.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 57 / 96
 “Forma” de una proposición Forma de algunas tautologı́as de uso frecuente

Forma de algunas tautologı́as de uso frecuente

3. La Contrapositiva es:
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P ).
Su “forma” es:
La doble implicación de:
I . la implicación de dos proposiciones; y
II. la implicación de la negación del consecuente y la negación del
antecedente de la primera implicación.

Y Ejemplo
La forma de la proposición

(S ∧ T ) ⇒ S

es:

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 58 / 96
 CLASE 04

Clase 04
1. Deducción lógica

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 59 / 96
 Deducción lógica

Deducción lógica: ejemplo

 Introducción
Utilizaremos letras minúsculas del alfabeto español para representar
números reales.
Las siguientes proposiciones son axiomas en la teorı́a de los números
reales
A1 : s = s.
A2 : Si s = t es verdadera, entonces en cualquier proposición en la que
aparezca s, podemos sustituirle por t. La proposición resultante de
la sustitución tiene el mismo valor de verdad que la proposición ori-
ginal.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 60 / 96
 Deducción lógica

Deducción lógica: ejemplo

Y Ejemplo
Demostrar que la proposición

a=b⇒b=a

es un teorema.

Utilicemos:
P: a = b
Q: b = a
R: a = a

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 61 / 96
 Deducción lógica

Deducción lógica: ejemplo

Demostración I:
I. Suponemos que
P
es verdadera. Nuestra intención es mostrar que Q también lo es.
II. La proposición
R
representa el axioma A1 ; luego, es verdadera.
III. La proposición
(P ∧ R) ⇒ Q
representa el axioma A2 ; por tanto, es verdadera.
IV. La proposición
P ∧R
es verdadera por la aplicación de la regla de inferencia Introducción de
la conjunción a las proposiciones en [i.] y [ii.].
V . La proposición
Q
es verdadera por la aplicación de la regla de inferencia Modus Ponens a
las proposiciones en [iii.] y [iv.], que es lo que se querı́a demostrar.
Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 62 / 96
 Deducción lógica

Deducción lógica: ejemplo

Justificación:
I. La proposición
Q
se ha deducido de
A1 , A2 y P .
II. El paso I asegura que la proposición

P ⇒Q

se ha deducido de los axiomas

A1 y A2 .

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 63 / 96
 Deducción lógica

Deducción lógica: ejemplo

Demostración II:
I. Suponemos que la proposición a = b es verdadera. El objetivo es establecer
que b = a también es verdadera.
II. Por el axioma A1 , la proposición a = a es verdadera.
III. Como a = b es verdadera (por [i.]), gracias al axioma A2 , podemos sustituir,
en la proposición en [ii.], el número a que aparece en el lado izquierdo del
signo = por b; el resultado es la proposición

b = a.

Y esta proposición es verdadera ya que tiene el mismo valor de verdad

que la proposición en [ii.] (que es verdadera), gracias al axioma A2 .

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 64 / 96
 Deducción

Deducción

 Deducción lógica

Se dice que la proposición Q se deduce lógicamente de la proposición

P si la implicación de P y Q es una tautologı́a.
Utilizaremos el signo
P ⊧Q
para indicar que Q se deduce lógicamente de P .

Son sinónimos de “Q se deduce lógicamente de P ”:

1. De P se deduce lógicamente Q.
2. P implica lógicamente Q.
3. Q se infiere de P .
4. De P se infiere Q.
El hecho de deducir una proposición a partir de otras por la aplicación de una
tautologı́a (de una implicación de dos proposiciones) denominaremos regla
de inferencia.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 65 / 96
 Deducción Reglas de inferencia

Reglas de inferencia

Modus Ponens Modus Tollens

P ⇒Q P ⇒Q
P ¬Q
Q ¬P

Introducción de la conjunción Introducción de la conjunción

P P
Q Q
P ∧Q Q∧P

Eliminación de la conjunción Eliminación de la conjunción

P ∧Q P ∧Q
P Q

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 66 / 96
 Deducción Reglas de inferencia

Reglas de inferencia
Introducción de la disyunción Introducción de la disyunción
P P
P ∨Q Q∨P

Dilema constructivo Transitiva de la implicación

P ∨Q
P ⇒Q
P ⇒R
Q⇒R
Q⇒R
P ⇒R
R

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 67 / 96
 Deducción Ejemplos

Ejemplos
1. Decimos que
la proposición Q se deduce de las proposiciones P ⇒ Q y P
porque la proposición

((P ⇒ Q) ∧ P ) ⇒ Q
es una tautologı́a.

Podemos, entonces, también decir y escribir lo siguiente:

1) Q se deduce de (P ⇒ Q) ∧ P .

2) Q se deduce de P ⇒ Q y de P .

3) De P ⇒ Q y de P , se deduce Q.

4) P ⇒ Q, P ⊧ Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 68 / 96
 Deducción Ejemplos

Ejemplos
Cuando se deduce una proposición Q de P ⇒ Q y de P diremos que
Q se ha deducido por la aplicación de Modus Ponens a P ⇒ Q y P .
El hecho de deducir una proposición a partir de otras por la aplicación de
Modus Po-
nens denominaremos regla de inferencia Modus Ponens y puede leerse ası́:
De la implicación de dos proposiciones y del antecedente de esta im-
plicación, se deduce el consecuente la misma.
Dicho de otro modo,
si la implicación de dos proposiciones y su antecedente son verdade-
ras, el consecuente de la implicación también es verdadera.
Se suele representar a la regla de inferencia Modus Ponens de la siguiente
manera:
P ⇒Q
P
Q
Notemos que esta representación es solo una manera alternativa de escribir

P ⇒ Q, P ⊧ Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 69 / 96
 Deducción Observaciones sobre el concepto “deducción lógica”

Observaciones sobre el concepto “deducción lógica”

1. La deducción lógica es una relación entre dos proposiciones. ¿Cuál? La
siguiente: “la implicación entre las proposiciones es una tautologı́a”.

2. El sı́mbolo P ⊧ Q no representa una proposición. Una vez más: ¡representa

una relación entre las proposiciones P y Q! Lo mismo aplica a la
representación de una regla de inferencia.

3. P implica lógicamente Q y Q se deduce de P representan el mismo

concepto: la implicación de P ⇒ Q es una tautologı́a.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 70 / 96
 CLASE 05

Clase 04
1. Equivalencia lógica

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 71 / 96
 Equivalencia lógica

Conocimientos Previos
Teorı́as Matemáticas
Proposiciones
• Conceptos primitivos
• Valor de verdad
Tautologı́as
Deducción

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 72 / 96
 Equivalencia lógica

Preguntas
¿Qué es una tautologı́a?
La deducción lógica es una relación entre dos proposiciones. ¿Cuál es esa
relación?
Dadas las siguientes expresiones, ¿cuáles representan proposiciones?
1. P ⊧ Q
2. P Ô⇒ Q
P ∧Q
3.
Q
4. P ⇔ Q

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 73 / 96
 Equivalencia lógica

Resultados y Destrezas
1. Resultados de aprendizaje
1) Explicar la diferencia entre tautologı́a y equivalencia lógica.
2) Explicar la diferencia entre deducción lógica y equivalencia lógica.
2. Destrezas
1) Enunciar las propiedades de las conectivas mediante equivalencias
lógica.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 74 / 96
 Equivalencia lógica Ejemplo 1

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo

Si P es verdadera , ¬P es falsa ; luego, ¬¬P es verdadera . Es decir,

las proposiciones P y ¬¬P tienen siempre el mismo valor de ver-
dad

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 75 / 96
 Equivalencia lógica Ejemplo 1

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Por el axioma de la doble implicación, tenemos que

P ⇔ ¬¬P

es una tautologı́a.
Cuando esto ocurre diremos que:
P y ¬¬P son equivalentes lógicamente.

o Importante
P y ¬¬P ¡no son iguales!

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 76 / 96
 Equivalencia lógica Ejemplo2

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Ej. 2 En el ejemplo 9 de la página 26, demostramos que

(P ⇒ Q) ⇔ (¬Q ⇒ ¬P )

es una tautologı́a. Es decir,

P ⇒Q y ¬Q ⇒ ¬P

tienen el mismo valor de verdad, dados los valores de verdad de P y de

Q. Ası́, diremos que
P ⇒ Q y ¬Q ⇒ ¬P son equivalentes lógicamente.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 77 / 96
 Equivalencia lógica Ejemplo3

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Ej. 3 Notemos que la proposición

¬(P ∧ Q) ⇔ (¬P ∨ ¬Q)

es una tautologı́a. Por tanto, estas dos proposiciones son equivalentes

lógicamente.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 78 / 96
 Equivalencia lógica Ejemplo4

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Ej. 4 Sean las proposiciones

P ∨Q y ¬P ⇒ Q

notemos que:
1. P ∨ Q es falsa únicamente si P y Q son falsas.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 79 / 96
 Equivalencia lógica Ejemplo4

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Ej. 4 Sean las proposiciones

P ∨Q y ¬P ⇒ Q

notemos que:
1. P ∨ Q es falsa únicamente si P y Q son falsas.
2. Si P y Q son falsas, ¬P ⇒ Q es falsa.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 80 / 96
 Equivalencia lógica Ejemplo4

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Ej. 4 Sean las proposiciones

P ∨Q y ¬P ⇒ Q

notemos que:
1. P ∨ Q es falsa únicamente si P y Q son falsas.
2. Si P y Q son falsas, ¬P ⇒ Q es falsa.
3. Si P y Q son falsas, P ∨ Q y ¬P ⇒ Q son falsas.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 81 / 96
 Equivalencia lógica Ejemplo4

Ejemplos previos a la definición de Equivalencia Lógica

Y Ejemplo
Ej. 4 Sean las proposiciones

P ∨Q y ¬P ⇒ Q

notemos que:
1. P ∨ Q es falsa únicamente si P y Q son falsas.
2. Si P y Q son falsas, ¬P ⇒ Q es falsa.
3. Si P y Q son falsas, P ∨ Q y ¬P ⇒ Q son falsas.
4. Para cualquier otro caso, P ∨ Q y ¬P ⇒ Q son verdaderas.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 82 / 96
 Equivalencia lógica Motivación

Motivación:

Uso fundamental de las proposiciones equivalentes

Para las demostraciones en cualquier teorı́a matemática.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 83 / 96
 Equivalencia lógica Uso Proposiciones Equivalentes

Ejemplo del uso de Proposiciones Equivalentes

Y Ejemplo
Teorema de la Teorı́a de Números Reales

ab = 0 ⇒ (a = 0 ∨ b = 0)

Al tratarse de una implicación, para asegurarnos que la propo-

sición
ab = 0 ⇒ (a = 0 ∨ b = 0)
es verdadera, debemos suponer que su antecedente ab = 0 es
verdadero y debemos demostrar que su consecuente

a=0∨b=0

también es verdadero.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 84 / 96
 Equivalencia lógica Uso Proposiciones Equivalentes

Ejemplo del uso de Proposiciones Equivalentes

Y Ejemplo
Teorema de la Teorı́a de Números Reales Sean
P : ab = 0;
Q: a = 0; y
R: b = 0,
entonces la proposición que hay mostrar que es verdadera se represen-
ta ası́:
P ⇒ (Q ∨ R).

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 85 / 96
 Equivalencia lógica Uso Proposiciones Equivalentes

Ejemplo del uso de Proposiciones Equivalentes

Y Ejemplo
Teorema de la Teorı́a de Números Reales Del ejemplo 4, tenemos que
Q ∨ R y ¬Q ⇒ R son equivalentes lógicamente.
Ası́, es suficiente, entonces, mostrar que ¬Q ⇒ R es verdadera para saber
que Q ∨ R es verdadera.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 86 / 96
 Equivalencia lógica Uso Proposiciones Equivalentes

Y Ejemplo
Teorema de la Teorı́a de Números Reales Por lo tanto, para mostrar que

a=0∨b=0

es verdadera, mostramos que

a≠0 ⇒b=0

es una proposición verdadera.

Procedimiento: sustituir una proposición por una equivalente

Principio de sustitución por equivalentes lógicos.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 87 / 96
 Definición

Definición

 Equivalencia lógica

Se dice que una proposición P es equivalente lógicamente a Q si la do-

ble implicación de P y Q es una tautologı́a; es decir, si P ⇔ Q es una
proposición verdadera, independientemente de los valores de verdad
de P y de Q.
Utilizaremos el signo
P ≡Q
para indicar que P es equivalente lógicamente a Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 88 / 96
 Algunas Equivalencias Lógicas

Algunas Equivalencias Lógicas

Doble Negación
Si P es una proposición, entonces

¬¬P ≡ P.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 89 / 96
 Algunas Equivalencias Lógicas

Algunas Equivalencias Lógicas

Doble Negación
Si P es una proposición, entonces

¬¬P ≡ P.

Es fácil ver esto si realizamos la tabla de verdad de ¬¬P ⇔ P :

P ¬P ¬¬P ¬¬P ⇔ P
v f v v
f v f v

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 90 / 96
 Algunas Equivalencias Lógicas

Algunas Equivalencias Lógicas

Ley de De Morgan: negación de la disyunción

¬(P ∨ Q) ≡ ¬P ∧ ¬Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 91 / 96
 Algunas Equivalencias Lógicas

Algunas Equivalencias Lógicas

Absorción

P ∧ (P ∨ Q) ≡ P

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 92 / 96
 Algunas Equivalencias Lógicas

Propiedades de la Equivalencia Lógica

1. Reflexiva: si P es una proposición, entonces

P ≡P

2. Simétrica: si P y Q son proposiciones, entonces

si P ≡ Q, entonces Q ≡ P .
3. Transitiva: si P , Q y R son proposiciones, entonces
si P ≡ Q y Q ≡ R, entonces P ≡ R.
4. Negación: si P y Q son proposiciones, entonces
si P ≡ Q, entonces ¬P ≡ ¬Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 93 / 96
 Algunas Equivalencias Lógicas Equivalencias Lógicas

Equivalencias Lógicas

Doble negación Contrapositiva

¬¬P ≡ P P ⇒ Q ≡ ¬Q ⇒ ¬P

Conmutativa de la conjunción Conmutativa de la disyunción

P ∧Q≡Q∧P P ∨Q≡Q∨P

Asociativa de la conjunción Asociativa de la disyunción

P ∧ (Q ∧ R) ≡ (P ∧ Q) ∧ R P ∨ (Q ∨ R) ≡ (P ∨ Q) ∨ R

Conmutativa de la doble Doble implicación - implicación

implicación
P ⇔Q≡Q⇔P P ⇔ Q ≡ (P ⇒ Q) ∧ (Q ⇒ P )

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 94 / 96
 Algunas Equivalencias Lógicas Equivalencias Lógicas

Equivalencias Lógicas

Implicación - disyunción Negación de la implicación

P ⇒ Q ≡ ¬P ∨ Q ¬(P ⇒ Q) ≡ P ∧ ¬Q

De Morgan: negación de la De Morgan: negación de la

conjunción disyunción
¬(P ∧ Q) ≡ ¬P ∨ ¬Q ¬(P ∨ Q) ≡ ¬P ∧ ¬Q

Distributiva: conjunción respecto Distributiva: disyunción respecto de

de disyunción conjunción
P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R) P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 95 / 96
 Conclusiones

Conclusiones
1. La doble implicación de dos proposiciones es la base del concepto de
Equivalencia Lógica.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 96 / 96
 Conclusiones

Conclusiones
1. La doble implicación de dos proposiciones es la base del concepto de
Equivalencia Lógica.
2. Se dice que “P es equivalente lógicamente a Q”si la doble implicación de
P y Q es una tautologı́a; es decir, ambas proposiciones tienen el mismo
valor de verdad dados los valores de verdad de P y Q.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 96 / 96
 Conclusiones

Conclusiones
1. La doble implicación de dos proposiciones es la base del concepto de
Equivalencia Lógica.
2. Se dice que “P es equivalente lógicamente a Q”si la doble implicación de
P y Q es una tautologı́a; es decir, ambas proposiciones tienen el mismo
valor de verdad dados los valores de verdad de P y Q.
3. La Equivalencia Lógica es una relación entre dos proposiciones, mas no
una proposición.

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 96 / 96
 Conclusiones

Conclusiones
1. La doble implicación de dos proposiciones es la base del concepto de
Equivalencia Lógica.
2. Se dice que “P es equivalente lógicamente a Q”si la doble implicación de
P y Q es una tautologı́a; es decir, ambas proposiciones tienen el mismo
valor de verdad dados los valores de verdad de P y Q.
3. La Equivalencia Lógica es una relación entre dos proposiciones, mas no
una proposición.
4. Redundancia: aunque encontremos escrito o digamos
“la equivalencia lógica P ≡ Q es válida”
esto no es necesario. ¿Por qué?

Curso virtual Fundamentos de Matemática (EPN) Proposiciones y Predicados de Primer Orden 28 de mayo de 2021 96 / 96