01 Slides Logica

ESCUELA POLITÉCNICA NACIONAL
Fundamentos de Matemática
LÓGICA MATEMÁTICA
ESCUELA POLITÉCNICA NACIONAL
Semestre 2021-B
Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 1 / 73

Agenda
1 Introducción
2 Teorı́as Matemáticas
Conceptos
3 Proposiciones
4 Axioma de los Principios Fundamentales
Ejemplos
5 Sintaxis de la Lógica
6 Tablas de verdad
7 Tautologı́as y Contradicciones
Tautologı́as relevantes
Lo que “nos dice” algunas tautologı́as relevantes
Ejemplos de Tautologı́as relevantes
8 “Forma” de una proposición
Ejemplos
Forma de algunas tautologı́as de uso frecuente
9 Deducción Lógica
Definición
Ejemplos
Reglas de inferencia
Agenda
Observaciones sobre el concepto “deducción lógica”
10 Equivalencia lógica
Definición
Algunas Equivalencias Lógicas
Conclusiones

Clase 02
Clase 02
1. Teorı́a Matemática
2. Caracterı́sticas de las proposiciones
3. Axioma de los Principios fundamentales
4. Sintaxis de la lógica Proposicional
5. Axioma de Valor de verdad de una proposición.

Introducción
Introducción
estudia concepto fundamentales
Conjuntos Número reales Número complejos Funciones

Introducción
Introducción
estudia concepto fundamentales
Conjuntos Número reales Número complejos Funciones
Estas y otras teorı́as conforman la Matemática.

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

Teorı́as Matemáticas
Teorı́as Matemáticas o axiomáticas
Conceptos
primitivos Axiomas
Teorı́as
axiomáticas
conceptos|proposiciones
Conceptos
Teoremas
definidos

Teorı́as Matemáticas Conceptos
Conceptos I
Conceptos primitivos
Un concepto primitivo no se define explı́citamente. Se los define IMPL ÍCI -

TAMENTE mediante axiomas.

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

TAMENTE mediante axiomas.
Axiomas
Los axiomas son proposiciones aceptadas sin más como verdaderas. Y,

1. De estas proposiciones se deducen todas las demás proposiciones
de una teorı́a axiomática. (TEOREMAS)
2. Estas proposiciones describen las propiedades o caracterı́sticas
básicas o fundamentales de los conceptos primitivos. (DEFINICIÓN
IMPLÍCITA)

Conceptos II
Conceptos definidos
Un concepto definido es todo concepto que se define únicamente me-

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

Conceptos II
Conceptos definidos
Un concepto definido es todo concepto que se define únicamente me-

diante los conceptos primitivos o mediante cualquier concepto previa-
mente definido a través de otros conceptos o los conceptos primitivos,
siempre y cuando dentro de esos conceptos previos no conste el que se
está definiendo.
Teoremas
Un teorema es toda proposición que se deduce ú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 está deduciendo.

Axioma de los Principios Fundamentales

Los axiomas que definen los conceptos primitivos son:
1. Principio del tercero excluido:
El valor de verdad de toda proposición o bien es verdadero o bien es falso.
2. Principio de no contradicción:
Si el valor de verdad de una proposición es verdadero, no puede ser
tambié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 más de las siguientes palabras (a las que se les denomina conectivas):
negación, conjunción, disyunción, implicación o doble implicación.


4. Proposiciones simples:
Hay proposiciones (denominadas simples) que no se expresan mediante
otras proposiciones.
5. Proposiciones:
Toda proposición es, o bien simple, o bien se expresa únicamente
mediante otras proposiciones y una o varias de las conectivas negación,
conjunción, disyunción, implicación o doble implicación.

Axioma de los Principios Fundamentales Ejemplos
Ejemplos
Proposiciones expresadas mediante otras proposiciones
Si el producto de dos números reales es igual a 0, entonces uno de los dos
es igual a 0.
Si una figura geométrica es una recta, entonces existen dos puntos tales
que son distintos y están en la recta.
Una función biyectiva es inyectiva y sobreyectiva.

Ejemplos
El cuadrado de un número real es igual a 0 si y solo si el número es igual a
0.
Si T es triángulo equilátero, entonces T es isósceles.

Ejemplos
Proposiciones que no se expresan mediante otras
Una recta es un conjunto de puntos.
Un plano es un conjunto de puntos.
El número 0 es el elemento neutro de la suma.
Las siguientes no son proposiciones:

1. El conjunto vacı́o.
2. La clase universal.
3. La intersección de dos clases.
4. La unión de dos conjuntos.
5. El número cero.

Sintaxis de la Lógica
1. Para representar proposiciones usaremos las letras A, B, C, . . . , P , Q, R,
etcé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 negación se escribe como prefijo de un signo que
representa una proposición.
¬P
2) Las conectivas conjunción, disyunción, implicación y doble
implicación se escriben entre dos signos que representan
proposiciones1 . Por ejemplo:
P ∧ Q, P ∨ Q, P ⇒Q y P ⇔ Q.

4. Utilizaremos los signos v y f para representar valor de verdad verdadero y
valor de verdad falso, respectivamente.
5. Utilizaremos los paréntesis ( y ) como signos de agrupación, con el fin de
evitar ambigüedades.
ü Abuso de lenguaje
Aunque P no es una proposición, abusaremos del lenguaje y diremos
con frecuencia
“P es una proposición” o
“la proposición P ”
en lugar de decir
“P representa una proposición” o
“la proposición representada por P ”
1
En el caso de la implicación P ⇒ Q, la proposición P es denominada antecedente y la
proposición Q, consecuente de la implicación.
Axioma del valor de verdad de una proposición

Si P y Q representan proposiciones, entonces:
1. Axioma de la negación: El valor de verdad de la negación de una
proposición es el valor de verdad opuesto de dicha proposición.
Ası́, el valor de verdad de ¬P es el valor de verdad opuesto al de P .


2. Axioma de la conjunción: El valor de verdad de la conjunción de dos
proposiciones es verdadero únicamente si el valor de verdad de ambas
proposiciones es verdadero.
Ası́, el valor de verdad de P ∧ Q es verdadero únicamente si los valores de

verdad de P y Q son ambos verdadero.


3. Axioma de la disyunción: El valor de verdad de la disyunción de dos
proposiciones es falso únicamente si el valor de verdad de ambas
proposiciones es falso.
Luego, el valor de verdad de P ∨ Q es falso únicamente si los valores de

verdad de P y Q son ambos falso.


4. Axioma de la implicación: El valor de verdad de implicación de dos
proposiciones es falso ú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 únicamente si el valor de

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


5. Axioma de la doble implicación: El valor de verdad de la doble
implicación de dos proposiciones es verdadero únicamente si las dos
proposiciones tienen el mismo valor de verdad.
Luego, el valor de verdad de P ⇔ Q es verdadero únicamente si los valores

de verdad de P y Q son iguales.


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

Tablas de verdad
Tablas de verdad
Realizar una tabla de verdad de:
P ∨ ¬P

Tablas de verdad
Tablas de verdad
((P ∨ Q) ∧ P ) ⇒ Q

Tablas de verdad
Tablas de verdad
((P ∨ ¬Q) ∧ R) ⇔ Q

Tablas de verdad
Ejercicios
¿Por qué el signo
¬A ⇒ ¬B
es una proposición? Justifique.

Tablas de verdad
Ejercicios
Escriba la lectura de la proposición
¬(¬P ⇒ (Q ∨ P )).

Tablas de verdad
Ejercicios
Dadas las proposiciones P , Q, R y de acuerdo con la reglas de sintaxis de la
Lógica, escriba los signos que representan la siguiente proposición:
La doble implicación de la negación de Q y la conjunción de la nega-
ción de la conjunción de P y Q; y R.

Tablas de verdad
Ejercicios
Si P es f y Q es v,
a) ¿cuál es el valor de verdad de ¬Q ∨ P ?
b) ¿cuál es el valor de verdad de (P ∧ Q) ∨ ¬Q?

Tablas de verdad
Ejercicios
Si P , Q y R representan proposiciones, determine el valor de verdad de la
proposición
P ⇒ (Q ∨ ¬R)
si P es falsa.

Clase 03
Clase 03
1. Tautologı́as
2. Forma de una proposición

Tautologı́as y Contradicciones
Tautologı́as y Contradicciones
Tautologı́a
Una proposició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.
Contradicción
Una proposición que se expresa mediante otras proposiciones se deno-

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

Tautologı́as y Contradicciones Tautologı́as relevantes
La proposición
P ∨ ¬P
es verdadera, independientemente de qué proposición represente P ; puesto
que,
si P es verdadera, su negación es falsa; y si P es falsa, su negación es
verdadera, luego, en ambos casos, la disyunción de P y ¬P es verda-
dera 2
Esta tautologı́a se denomina P RINCIPIO DEL TERCERO EXCLUIDO pues expresan lo

mismo que
una proposición es verdadera o es falsa
2
Note que no es necesario hacer una tabla de verdad para determinar que la proposición es una
tautologı́a.
Y Ejemplo
¿Se puede determinar el valor de verdad de las siguientes de las siguien-
tes proposiciones?
a.) El conjunto A es conjunto vacı́o o no.
b.) (P ⇒ Q) ∨ ¬(P ⇒ Q)

Y Ejemplo
¿Es la proposición (P ∧ Q) ⇔ (Q ∧ P ) una tautologı́a?a
a
Una manera sencilla de contestar esta pregunta es a través de la elaboración de una
tabla de verdad de la proposición:

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 ÓN .
Por el axioma de la doble implicación, ¿qué sucede con los valores de verdad
de P ∧ Q y Q ∧ P ?

Por ejemplo, si la proposición
a y b son distintos de 0
o lo que es lo mismo
a es distinto de 0 y b es distinto de 0
es verdadera, sin más que por la apelación a la tautologı́a

PROPIEDAD CONMUTATIVA DE LA CONJUNCI ÓN ,
aseguramos que también es verdadera la proposición
b es distinto de 0 y a es distinto de 0
o lo que es lo mismo
b y a son distintos de 0

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 implicación
((P ⇒ Q) ∧ P ) ⇒ Q
es verdadera independientemente de los valores de verdad de P y de Q.
[2.] El antecedente de esta implicación es
(P ⇒ Q) ∧ P.
Si este antecedente fuera una proposición verdadera, el consecuente de

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

[3.] Bajo el supuesto de que el antecedente de [1.] es una proposición
verdadera, por el axioma de la conjunción, las dos proposiciones
P ⇒Q y P
tambié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 únicamente porque ((P ⇒ Q) ∧ P ) ⇒ Q es una

tautologı́a.
3
lo cual es fácil verificar mediante una tabla de verdad de la proposición
Tautologı́as y Contradicciones Lo que “nos dice” algunas tautologı́as relevantes
Lo que “nos dice” algunas tautologı́as relevantes

Principio de no contradicción
¬(P ∧ ¬P )
Transitiva de la implicación
((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R).

Si P ⇒ Q y Q ⇒ R son verdaderas, necesariamente P ⇒ R es verdade-
ra.
Doble negación
P ⇔ ¬¬P
P y ¬¬P , aunque proposiciones diferentes, tienen el mismo valor de
verdad para los mismos valores de verdad de P .

Tautologı́as y Contradicciones Ejemplos de Tautologı́as relevantes
1. Doble negación
¬¬P ⇔ P
2. Principio del tercero excluido
P ∨ ¬P
3. Principio de no contradicción
¬(P ∧ ¬P )
4. Conmutativa de la Disyunción
(P ∨ Q) ⇔ (Q ∨ P )
5. Conmutativa de la Conjunción
(P ∧ Q) ⇔ (Q ∧ P )
6. Asociativa de la disyunción
((P ∨ Q) ∨ R) ⇔ (P ∨ (Q ∨ R))

7. Asociativa de la conjunción
((P ∧ Q) ∧ R) ⇔ (P ∧ (Q ∧ R))
8. Distributiva de la conjunción respecto de la disyunción
(P ∧ (Q ∨ R)) ⇔ ((P ∧ Q) ∨ (P ∧ R)))
9. Distributiva de la disyunción respecto de la conjunción
(P ∨ (Q ∧ R)) ⇔ ((P ∨ Q) ∧ (P ∨ R)))
10. Ley de DeMorgan para la negación de la disyunción
¬(P ∨ Q) ⇔ (¬P ∧ ¬Q)
11. Ley de DeMorgan para la negación de la conjunción
¬(P ∧ Q) ⇔ (¬P ∨ ¬Q)
12. Contrapositiva
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P )

13. Implicación-Disyunción
(P ⇒ Q) ⇔ (¬P ∨ Q)
14. Negación de implicación
¬(P ⇒ Q) ⇔ (P ∧ ¬Q)
15. Conmutativa de la doble implicación
(P ⇔ Q) ⇔ (Q ⇔ P )
16. Doble implicación-implicación
(P ⇔ Q) ⇔ ((P ⇒ Q) ∧ (Q ⇒ P ))

17. Modus Ponens
((P ⇒ Q) ∧ P ) ⇒ Q
Asegura que:
Si P ⇒ Q y P son verdaderas,
necesariamente Q es verdadera.
18. Modus Tollens
((P ⇒ Q) ∧ ¬Q) ⇒ ¬P
Asegura que:
Si P ⇒ Q es verdadera y Q es falsa,
necesariamente P es falsa.
19. Transitiva de la implicación
((P ⇒ Q) ∧ (Q ⇒ R)) ⇒ (P ⇒ R)
20. Silogismo hipotético disyuntivo
(((P ∨ Q) ∧ (P ⇒ R)) ∧ (Q ⇒ R)) ⇒ R

“Forma” de una proposición

Sea la proposición
P ∧ ¬Q,
donde P y Q representan proposiciones cualesquiera, la “forma” de esta
proposición es:
La conjunción de una proposición y la negación de otra proposición.
Luego, una proposición que tiene su misma “forma” es:
(R ⇒ Q) ∧ ¬(R ∨ T ).
Cada caso particular de esta forma será denominado ejemplificación de la

forma de la proposición P ∧ ¬Q. Usaremos como sinónimo de ejemplificación
las palabras caso particular.


Podemos probar que
((P ⇒ Q) ∧ P ) ⇒ Q
es una tautologı́a. Ası́,
((¬Q ⇒ ¬P ) ∧ ¬Q) ⇒ ¬P
también es una tautologı́a.
Cualesquiera de las dos representaciones (independientemente de la(s)

letra(s) que utilicemos y de los valores de verdad de las proposiciones) expresa
que:
la implicación de la conjunción de una implicación de dos proposicio-

nes y el antecedente de esta, y el consecuente de esta es verdadera
independientemente de las proposiciones mediante las que se expre-
sa.


Ası́, por ejemplo, la proposición
((R ∨ P ) ⇒ Q) ∧ (R ∨ P )) ⇒ Q
tiene la misma “forma” que las proposiciones
((¬P ⇒ Q) ∧ ¬P ) ⇒ Q,
((R ⇒ Q) ⇒ P ∧ (R ⇒ Q)) ⇒ P o que

((Q ⇒ P ) ∧ Q) ⇒ P
(entre muchas otras). Y todas estas proposiciones son verdaderas porque son
ejemplificaciones de la tautologı́a Modus Pones.

“Forma” de una proposición Ejemplos
Ejemplo de la “forma” de una proposición

La Propiedad Reflexiva de Implicació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 )


Y Ejemplo
Escriba una ejemplificación de la proposición
¬(P ∨ Q) ⇔ (¬P ∧ ¬Q)


Y Ejemplo
La proposición
¬¬¬R ⇔ ¬R
es un caso particular de la tautologı́a:

“Forma” de una proposición Forma de algunas tautologı́as de uso frecuente

1. La Doble negación es:
¬¬P ⇔ P.
Su “forma” es:
La doble implicación de:
I . la negación de la negación de una proposición; y
II. la proposición.
2. La Ley de De Morgan para la negación de la disyunción es:
¬(P ∨ Q) ⇔ (¬P ∧ ¬Q).
Su “forma” es:
I . la negación de la disyunción de dos proposiciones; y
II. la conjunción de las negaciones de las proposiciones.

“Forma” de una proposición Forma de algunas tautologı́as de uso frecuente

3. La Contrapositiva es:
(P ⇒ Q) ⇔ (¬Q ⇒ ¬P ).
Su “forma” es:
I . la implicación de dos proposiciones; y
II. la implicación de la negación del consecuente y la negación del
antecedente de la primera implicación.
Y Ejemplo
La forma de la proposición
(S ∧ T ) ⇒ S
es:

Clase 04
Clase 04
1. Deducción lógica
2. Equivalencia lógica

Deducción Lógica Definición
Deducción
Deducción lógica
Se dice que la proposición Q se deduce lógicamente de la proposición

P si la implicación de P y Q es una tautologı́a.
Utilizaremos el signo
P ⊧Q
para indicar que Q se deduce lógicamente de P .
Son sinónimos de “Q se deduce lógicamente de P ”:

1. De P se deduce lógicamente Q.
2. P implica lógicamente Q.
3. Q se infiere de P .
4. De P se infiere Q.
El hecho de deducir una proposición a partir de otras por la aplicación de una
tautologı́a (de una implicación de dos proposiciones) denominaremos regla
de inferencia.

Deducción Lógica Ejemplos
Ejemplos
1. Decimos que
la proposición Q se deduce de las proposiciones P ⇒ Q y P
porque la proposición
((P ⇒ Q) ∧ P ) ⇒ Q
es una tautologı́a.
Podemos, entonces, tambié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.
Cuando se deduce la proposición Q de P ⇒ Q y de P diremos que
Q se ha deducido por la aplicación de Modus Ponens a P ⇒ Q y P .
El hecho de deducir una proposición a partir de otras por la aplicación de
la tautologı́a Modus Ponens se denomina
regla de inferencia Modus Ponens

Deducción Lógica Ejemplos
Ejemplos
y puede leerse ası́:
De la implicación de dos proposiciones y del antecedente de esta im-
plicación, se deduce el consecuente la misma.
Dicho de otro modo,
si la implicación de dos proposiciones y su antecedente son verdade-
ras, el consecuente de la implicación también es verdadera.
Se suele representar a la regla de inferencia Modus Ponens de la siguiente
manera:
P ⇒Q
P
Q
Notemos que esta representación es solo una manera alternativa de escribir
P ⇒ Q, P ⊧ Q.

Deducción Lógica Reglas de inferencia
Modus Ponens Modus Tollens

P ⇒Q P ⇒Q
P ¬Q
Q ¬P
Introducción de la conjunción Introducción de la conjunción

P P
Q Q
P ∧Q Q∧P
Eliminación de la conjunción Eliminación de la conjunción

P ∧Q P ∧Q
P Q

Deducción Lógica Reglas de inferencia
Introducción de la disyunción Introducción de la disyunción
P P
P ∨Q Q∨P
Eliminación de la disyunción Eliminación de la disyunción

P ∨Q P ∨Q
¬P ¬Q
Q P
Dilema constructivo Transitiva de la implicación

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

Deducción Lógica Observaciones sobre el concepto “deducción lógica”
Observaciones sobre el concepto “deducción lógica”

1. La deducción lógica es una relación entre dos proposiciones. ¿Cuál? La
siguiente: “la implicación entre las proposiciones es una tautologı́a”.
2. El sı́mbolo P ⊧ Q no representa una proposición. Una vez más: ¡representa

una relación entre las proposiciones P y Q! Lo mismo aplica a la
representación de una regla de inferencia.
3. P implica lógicamente Q y Q se deduce de P representan el mismo

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

Deducción Lógica Observaciones sobre el concepto “deducción lógica”
Ejemplos
1. Podemos afirmar que la proposición ¬P se deduce de las proposiciones
P ⇒ Q y ¬Q, puesto que la proposición ((P ⇒ Q) ∧ ¬Q) ⇒ ¬P es una
tautologı́a que lleva el mismo nombre.
Es decir,
(P ⇒ Q), ¬Q ⊧ ¬P
ya que,
((P ⇒ Q) ∧ ¬Q) ⇒ ¬P
2. El siguiente razonamiento es ”válido”
(P ∧ Q) ⇒ R ⊧ P ⇒ (Q ⇒ R)
ya que,
((P ∧ Q) ⇒ R) ⇒ (P ⇒ (Q ⇒ R))
3. Puesto que,
(S ⇒ (Q ⇒ R)) ⇒ ((S ∧ Q) ⇒ R))
es una tautologı́a, tenemos que
(S ⇒ (Q ⇒ R)) ⊧ ((S ∧ Q) ⇒ R)).
Equivalencia lógica
Ejemplos previos a la definición de Equivalencia Lógica
Y Ejemplo
Por el axioma de la doble implicación, tenemos que
P ⇔ ¬¬P
Cuando esto ocurre diremos que:
P y ¬¬P son equivalentes lógicamente.
o Importante
P y ¬¬P ¡no son iguales!

Ejemplos previos a la definición de Equivalencia Lógica
Y Ejemplo
Sean las proposiciones
P ∨Q y ¬P ⇒ Q
notemos que:
1. P ∨ Q es falsa ú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.

Equivalencia lógica Definición
Definición
Se dice que una proposición P es equivalente lógicamente a Q si la do-

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

Equivalencia lógica Algunas Equivalencias Lógicas
Algunas Equivalencias Lógicas

● Equivalencia Lógica: Doble Negación
Si P es una proposición, entonces
¬¬P ≡ P.
Es fá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
Como vemos, tiene el mismo nombre que el de su tautologı́a.

● Tenemos que
P ∧ (P ∨ Q) ≡ P,
lo que significa
(P ∧ (P ∨ Q)) ⇔ P.
Observación: la mayorı́a de equivalencias lógicas relevantes tienen una denominación
especı́fica.

Propiedades de la Equivalencia Lógica

1. Reflexiva: si P es una proposición, entonces
P ≡P
2. Simé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. Negación: si P y Q son proposiciones, entonces
si P ≡ Q, entonces ¬P ≡ ¬Q.
5. Principio de sustitución por equivalentes lógicos

Equivalencias Lógicas
Doble negación Contrapositiva

¬¬P ≡ P P ⇒ Q ≡ ¬Q ⇒ ¬P
Conmutativa de la conjunción Conmutativa de la disyunción

P ∧Q≡Q∧P P ∨Q≡Q∨P
Asociativa de la conjunción Asociativa de la disyunción

P ∧ (Q ∧ R) ≡ (P ∧ Q) ∧ R P ∨ (Q ∨ R) ≡ (P ∨ Q) ∨ R
Conmutativa de la doble Doble implicación - implicación

implicación
P ⇔Q≡Q⇔P P ⇔ Q ≡ (P ⇒ Q) ∧ (Q ⇒ P )

Equivalencias Lógicas
Implicación-disyunción Negación de la implicación

P ⇒ Q ≡ ¬P ∨ Q ¬(P ⇒ Q) ≡ P ∧ ¬Q
De Morgan: negación de la De Morgan: negación de la

conjunción disyunción
¬(P ∧ Q) ≡ ¬P ∨ ¬Q ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
Distributiva: conjunción respecto Distributiva: disyunción respecto de

de disyunción conjunción
P ∧ (Q ∨ R) ≡ (P ∧ Q) ∨ (P ∧ R) P ∨ (Q ∧ R) ≡ (P ∨ Q) ∧ (P ∨ R)

Equivalencia lógica Uso Proposiciones Equivalentes
Ejemplo del uso de Proposiciones Equivalentes
Y Ejemplo
Teorema de la Teorı́a de Números Reales Para demostrar la siguiente pro-
posición donde a y b representan números reales,
(a ≠ 0 ∧ b ≠ 0) ⇒ ab ≠ 0
se puede probar que

ab = 0 ⇒ (a = 0 ∨ b = 0)
ya que, son proposiciones equivalentes lógicamente.

Equivalencia lógica Conclusiones
Conclusiones
1. La doble implicación de dos proposiciones es la base del concepto de
Equivalencia Lógica.
2. Se dice que “P es equivalente lógicamente a Q”si la doble implicació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 Lógica es una relación entre dos proposiciones, mas no
una proposición.
4. Redundancia: aunque encontremos escrito o digamos
“la equivalencia lógica P ≡ Q es válida”
esto no es necesario. ¿Por qué?

Clase 05
Ejercicio Taller
1. Dadas las siguientes expresiones, ¿cuáles representan proposiciones?
1) P ⊧ Q
2) P Ô⇒ Q
P ∧Q
3)
Q
4) P ⇔ Q
2. Identifique las proposiciones mediante las cuales se expresa la siguiente
proposición y realice una representación simbólica de la misma.
Si 0 no es un conjunto unitario, entonces 0 es un conjunto unitario o
vacı́o.
3. Si los valores de verdad de P, Q y R son v, f y f, respectivamente,
determine los valores de verdad de las siguientes proposiciones sin el uso
de una tabla de valor de verdad. Justifique con el axioma de valor de
verdad.
1) ¬P ∨ ¬S
2) ¬P ∧ ¬S
3) (P ∨ Q) ∨ (R ∧ X)
4) ¬P ∨ (Q ∧ T )

Clase 05
Ejercicio Taller
5) (P ∧ Q) ∨ (¬P ∨ ¬Q)
4. Si ¬P ⇒ R es f, y (¬P ⇒ R) ⇔ (Q ∨ S) es v, determine el valor de verdad
de P, R, Q y S.
5. Determine el valor de verdad de a través de una tabla de verdad.
(S ⇒ L) ⇔ (¬S ∨ L)
6. Escriba los nombres las siguientes tautologı́as:
1) ((¬P ⇒ Q) ∧ ¬P ) ⇒ Q
2) ((P ⇒ ¬Q) ∧ Q) ⇒ ¬P
3) (P ⇒ Q) ⇔ (¬Q ⇒ ¬P )
4) ¬(P ∧ Q) ⇔ (¬P ∨ ¬Q)
7. ¿Por qué las siguientes proposiciones son verdaderas?
1) ((P ∧ ¬Q) ∧ R) ⇒ (P ∧ ¬Q)
2) Si m = n, entonces m = n o m > n. (donde, m = n y m > n son
proposiciones)

Clase 05
Ejercicio Taller
8. La proposición
(((P ⇒ ¬Q) ∧ (¬R ⇒ P )) ∧ Q) ⇒ (R ∨ X)
Es decir,
P ⇒ ¬Q, ¬R ⇒ P, Q ⊧ R ∨ X
Luego, podemos decir y escribir lo siguiente (complete):
(1).
Se deduce por la aplicación de Modus Tollens aplicado a P ⇒ ¬Q y
.
(2). ¬P ⇒ R
Por las equivalencias lógicas y Doble Negación
aplicadas a la proposición ¬R ⇒ P .
(3).
Se deduce por la aplicación de Modus Ponens entre (2) y (1)
(4). R ∨ X
Se deduce por la aplicación de aplicado a (3).

Clase 05
Ejercicio Taller
9. Sean P, Q y R proposiciones. Complete con la respectiva proposición o su
justificación según corresponda.
¬(¬P ∨ Q) ∨ (P ∧ ¬R) ≡ Ley de DeMorgan para la
negación de la disyunción
≡ Doble negación
≡ P ∧ (¬Q ∨ ¬R)
≡ P ∧ ¬(Q ∧ R)
≡ ¬(P ⇒ (Q ∧ R))
10. Si el valor de verdad de la proposición (P ∧ Q) ⇒ (R ∨ ¬S) es falso,
seleccione el enunciado incorrecto. Justifique.
1) El valor de verdad de la P es verdadero.
2) El valor de verdad de la proposición P ∧ ¬R es verdadero.
3) El valor de verdad de R es falso.
4) El valor de verdad de la proposición Q ⇒ R es verdadero.
11. Si
(R ⇒ T ) ≡ ¬(R ∧ ¬T ),
seleccione la o las afirmaciones correctas. Justifique.
1) La proposición (R ⇒ T ) ≡ ¬(R ∧ ¬T ) es verdadera.
2) La proposición (R ⇒ T ) ≡ ¬(R ∧ ¬T ) es falsa.

Clase 05
Ejercicio Taller
3) Las proposiciones (R ⇒ T ) y ¬(R ∧ ¬T ) son iguales.
4) (R ⇒ T ) ≡ ¬(R ∧ ¬T ), representa una relación, no una proposición
5) Si la proposición R ⇒ T es falsa, también la proposición ¬(R ∧ ¬T ) es
falsa.
12. ¿Qué es una tautologı́a?
13. La deducción lógica es una relación entre dos proposiciones. ¿Cuál es
esa relación?
14. La equivalencia lógica es una relación entre dos proposiciones. ¿Cuál es
esa relación?

01 Slides Logica

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

01 Slides Logica

Cargado por

Copyright:

Formatos disponibles

ESCUELA POLITÉCNICA NACIONAL

ESCUELA POLITÉCNICA NACIONAL

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 1 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 3 / 73

2. Caracterı́sticas de las proposiciones

3. Axioma de los Principios fundamentales

4. Sintaxis de la lógica Proposicional

5. Axioma de Valor de verdad de una proposición.

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 4 / 73

estudia concepto fundamentales

Conjuntos Número reales Número complejos Funciones

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 5 / 73

estudia concepto fundamentales

Conjuntos Número reales Número complejos Funciones

Estas y otras teorı́as conforman la Matemática.

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 5 / 73

Teorı́as Matemáticas o axiomáticas

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 6 / 73

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

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 7 / 73

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

Los axiomas son proposiciones aceptadas sin más como verdaderas. Y,

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 7 / 73

Un concepto definido es todo concepto que se define únicamente me-

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 8 / 73

Un concepto definido es todo concepto que se define únicamente me-

Un teorema es toda proposición que se deduce únicamente de los axio-

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 8 / 73

Axioma de los Principios Fundamentales

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 9 / 73

Axioma de los Principios Fundamentales

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 10 / 73

Una función biyectiva es inyectiva y sobreyectiva.

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 11 / 73

Si T es triángulo equilátero, entonces T es isósceles.

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 12 / 73

Las siguientes no son proposiciones:

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 13 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 14 / 73

Axioma del valor de verdad de una proposición

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

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 16 / 73

Axioma del valor de verdad de una proposición

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

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 17 / 73

Axioma del valor de verdad de una proposición

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

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 18 / 73

Axioma del valor de verdad de una proposición

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

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 19 / 73

Axioma del valor de verdad de una proposición

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

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 20 / 73

Axioma del valor de verdad de una proposición

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 21 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 22 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 23 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 24 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 25 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 26 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 27 / 73

Curso virtual Fundamentos de Matemática (EPN) Lógica Matemática Semestre 2021-B 28 / 73