ç

ESCUELA POLITÉCNICA NACIONAL

ÁLGEBRA
LÓGICA

CURSO DE NIVELACIÓN PARA TECNOLOGÍA SUPERIOR

Semestre 2022-B

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 1 / 32

Agenda

1 Resultados aprendizaje de Lógica

2 Caracterı́sticas de Proposicioness
Ejemplos

3 Notación simbólica

4 Tautologı́as y Contradicciones
Tautologı́as relevantes
Ejemplos de Tautologı́as relevantes

5 “Forma” de una proposición

Ejemplos

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 2 / 32

 01

Clase 01
1. Introducción: Presentación y polı́ticas del curso. Forma de evaluar y de
aprobación de la asignatura y del Curso de Nivelación. Familiarización del
aula virtual del paralelo y la general.

2. Prueba de diagnóstico

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 3 / 32

 Resultados aprendizaje de Lógica

Resultados aprendizaje de Lógica

1. Identificar una proposición y operadores lógicos.
2. Reconocer una equivalencia lógica.
3. Identificar una proposición cuantificada.
4. Determinar el valor de verdad de una proposición.
5. Determinar si una proposición es una tautologı́a o no.
6. Determinar la proposición lógicamente equivalente a la negación de una
proposición cuantificada.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 4 / 32

 Clase 02

Clase 02
1. Proposición (caracterı́sticas). Proposiciones simples y compuestas.

2. Operadores lógicos (conectivas). Valor de verdad de una proposición.

3. Tautologı́a.

4. Propiedades de los operadores lógicos mediante tautologı́as.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 5 / 32

 Caracterı́sticas de Proposicioness

Caracterı́sticas de Proposiciones
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. Hay proposiciones que se expresan mediante otras proposiciones con la
ayuda de ciertas palabras, a estas se les denomina proposiciones
compuestas. En Matemática, se utilizan palabras del lenguaje español
para este fin, y representan las denominadas conectivas lógicas u
operadores lógicos. Y, también hay proposiciones que no se expresan
mediante ninguna otra; a estas se les denomina proposiciones simples.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 6 / 32

 Caracterı́sticas de Proposicioness Ejemplos

Ejemplos
Proposiciones compuestas
Dos rectas paralelas no se intersecan.

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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 7 / 32

 Caracterı́sticas de Proposicioness Ejemplos

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

Si T es triángulo equilátero, entonces T es isósceles.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 8 / 32

 Caracterı́sticas de Proposicioness Ejemplos

Ejemplos
Proposiciones simples
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.

Las siguientes no son proposiciones:

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 9 / 32

 Notación simbólica

Notación simbólica
1. Proposiones: Letras que representan proposiciones:
A , B, C , . . . , P, Q, R, . . . .
2. Conectivas: Signos que representan conectivas:
¬, ∧, ∨, ⇒ 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 10 / 32

 Notación simbólica

Notación simbólica
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 ).

ü 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”

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 11 / 32

 Notación simbólica

Notación simbólica
Conectiva Notación
Ejemplo Lectura Lenguaje natural
lógica simbólica
negación de
Negación ¬ ¬P ...no..
P
conjunción
Conjunción ∧ P ∧Q ... y ...
de P y Q
disyunción
Disyunción ∨ P ∨Q ... o ...
de P y Q
implicación
Implicación ⇒ P ⇒Q Si... , entonces ...
de P y Q
doble impli-
Doble impli-
⇔ P ⇔Q cación de P ... si y solo si ...
cación
yQ

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.
Cátedra Álgebra (EPN) Lógica Semestre 2022-B 12 / 32
 Notación simbólica

Ejercicios
¿Por qué el signo
¬A ⇒ ¬B
es una proposición? Justifique.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 13 / 32

 Notación simbólica

Valor de verdad de una proposición

Si P y Q representan proposiciones, entonces:
1. 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 14 / 32

 Notación simbólica

Valor de verdad de una proposición

2. 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 15 / 32

 Notación simbólica

Valor de verdad de una proposición

3. 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 16 / 32

 Notación simbólica

Valor de verdad de una proposición

4. 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 17 / 32

 Notación simbólica

Valor de verdad de una proposición

5. 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 18 / 32

 Notación simbólica

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 19 / 32

 Notación simbólica

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 20 / 32

 Notación simbólica

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 21 / 32

 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.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 22 / 32

 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 P es verdadera, su negación es falsa; y si P es falsa, su negación es
verdadera, luego, en ambos casos, la disyunció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 proposición es verdadera o es falsa

2
Note que no es necesario hacer una tabla de verdad para determinar que la proposición es una
tautologı́a.
Cátedra Álgebra (EPN) Lógica Semestre 2022-B 23 / 32
 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:

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 24 / 32

 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 ?

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 25 / 32

 Tautologı́as y Contradicciones Tautologı́as relevantes

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

Los números 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

Los números b y a son distintos de 0.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 26 / 32

 Tautologı́as y Contradicciones Ejemplos de Tautologı́as relevantes

Tautologı́as relevantes
1. Doble negación
¬¬P ⇔ P
2. Principio del tercero excluido
P ∨ ¬P
3. Principio de no contradicción

¬(P ∧ ¬P)

4. Conmutativa de la Disyunción

(P ∨ Q) ⇔ (Q ∨ P)

5. Conmutativa de la Conjunción

(P ∧ Q) ⇔ (Q ∧ P)

6. Asociativa de la disyunción

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 27 / 32

 Tautologı́as y Contradicciones Ejemplos de Tautologı́as relevantes

Tautologı́as relevantes
7. Asociativa de la conjunción

((P ∧ Q) ∧ R) ⇔ (P ∧ (Q ∧ R))

8. Distributiva de la conjunción respecto de la disyunción

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

9. Distributiva de la disyunción respecto de la conjunción

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

10. Ley de DeMorgan para la negación de la disyunción

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

11. Ley de DeMorgan para la negación de la conjunción

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

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 28 / 32

 Tautologı́as y Contradicciones Ejemplos de Tautologı́as relevantes

Tautologı́as relevantes
13. Implicación-Disyunción

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

14. Negación de implicación

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

15. Conmutativa de la doble implicación

(P ⇔ Q) ⇔ (Q ⇔ P)

16. Doble implicación-implicación

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 29 / 32

 Tautologı́as y Contradicciones Ejemplos de Tautologı́as relevantes

Tautologı́as relevantes
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 implicación

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

20. Silogismo hipotético disyuntivo

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

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 30 / 32

 “Forma” de una proposición

“Forma” de una proposición

Sea la proposición
P ∧ ¬Q,
donde P y Q representan proposiciones cualesquiera, la “forma” de esta
proposición es:

La conjunción de una proposición y la negación de otra proposición.

Luego, una proposición que tiene su misma “forma” es:

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

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

forma de la proposición P ∧ ¬Q. Usaremos como sinónimo de ejemplificación
las palabras caso particular.

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 31 / 32

 “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)

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 32 / 32

 “Forma” de una proposición Ejemplos

Ejercicios Valor de Verdad-Tautologı́as

Cátedra Álgebra (EPN) Lógica Semestre 2022-B 32 / 32