Semana1

Lógica proposicional
Cuantificadores universal y
existencial.

24/04/2023
1
 Introducción

Situación motivadora
TEOREMA:

El teorema del triángulo isósceles establece que

“si dos lados de un triángulo son congruentes,
entonces los ángulos opuestos a estos lados son
congruentes”.

¿Podría realizar una demostración de este teorema?

 Introducción
Situación motivadora
TEOREMA:
El teorema del triángulo isósceles establece que “si dos lados
de un triángulo son congruentes, entonces los ángulos
opuestos a estos lados son congruentes”.
Para la demostración, usaremos el postulado de la congruencia de triángulos:

⊿𝑩𝑯𝑨 ≅ ⊿𝑩𝑯𝑪 (𝑳 − 𝑨 − 𝑳)

⊿𝑨𝑯𝑩: Al la 𝐻𝐵 se le opone el ∡𝐵𝐴𝐻

⊿𝑨𝑯𝑩: Al la 𝐻𝐵 se le opone el ∡𝐵𝐶𝐻

Por lo tanto : ∡𝐵𝐴𝐻 ≅ ∡𝐵𝐶𝐻 (𝑙𝑞𝑞𝑑)

LOGRO DE LA SESIÓN

Aplica las leyes lógicas, axiomas de

los números reales y propiedades
de números complejos conectando
los conceptos teóricos y
argumentando coherentemente de
manera oral y escrita, para la
solución de problemas especifico
de su formación.

24/04/2023
4
24/04/2023
5
 Situación problemática
Enunciamos Tú saliste ayer de tu casa

¿Cual es tú respuesta?
Responde los estudiantes

Verdadero Falso

Descubrimos el tema a tratar 24/04/2023

6
Proposición
Es todo enunciado que puede ser calificado como verdadero o falso. Y se denota con
letras minúsculas
Ejemplo:
p= El triángulo equilátero tiene tres lados iguales
Cuales de los siguientes enunciado es una proposición:
¿Usted habla francés? No

En la sala de clase esta prohibido fumar Si

Cristóbal Colón descubrió América Si

Quien fue a Barranco perdió su banco. No

Gustavo salió con Julia. Si

24/04/2023
7
Proposiciones Simple
Son aquellas que tienen un solo componente, es decir, no se pueden separar en
dos proposiciones. Se les denota con las letras minúsculas p, q y r, etcétera. A la
verdad (V) o falsedad (F) de la proposición se le llama valor de verdad
Ejemplo
La escuela de Estudios Generales tiene 10 secciones del curso de Cálculo I

Proposiciones Compuestas
Formada por dos o más proposiciones simples unidas por “conectores”. De
acuerdo al tipo de conector que tienen, se clasifican en: negativas, conjuntivas,
disyuntivas, condicional, bicondicional.
Ejemplo
Mario Vargas Llosa nació en el Perú o nació en España.

24/04/2023
8
 Conectores lógicos
Proposición Conectivo Símbolo Significado

Cambia el valor de verdad de una

NEGACIÓN No ~
proposición simple

Indica que se deben dar las dos

CONJUNCIÓN y ∧
proposiciones
DISYUNCIÓN Indica que se debe dar una de ellas
O ∨
INCLUSIVA (DEBIL) o ambas proposiciones a la vez

DISYUNCIÓN Indica que se debe dar una de ellas

EXCLUSIVA O….O △ pero no ambas proposiciones a la
(FUERTE) vez

Si… Indica en las proposiciones una

CONDICIONAL ⟶
entonces relación de causa - efecto

Indica que se da una relación de

BICONDICIONAL Si y solo si ⟷
causa - efecto y viceversa.

24/04/2023
9
Existe otra connotaciones de los conectores

No p.
NEGACIÓN Es falso que p. ~p
Es absurdo que p.
p pero q.
p aunque q.
CONJUNCIÓN
p sin embargo q. p∧ 𝑞
p a la vez q

DISYUNCIÓN p a menos que q.

INCLUSIVA p salvo que q. 𝑝∨𝑞
(Débil) p excepto q.

24/04/2023
10
 DISYUNCIÓN
INCLUSIVA p o q pero no ambas
(Fuerte) 𝑝△𝑞
p entonces q.
q si p.
CONDICIONAL q porque p.
p por lo tanto q. p®q
p implica q.
p si y sólo si q.
q siempre y cuando
BICONDICIONAL
p.
q equivale a p p«q

24/04/2023
11
Valores de Verdad de los conectores

p q 𝒑∧𝒒 𝒑∨𝒒 𝒑→𝒒 𝒑∆𝒒 𝒑↔𝒒

V V V V V F V

V F F V F V F

F V F V V V F

F F F F V F V

24/04/2023
12
 Formalización de proposiciones lógicas
Utilizaremos las letras p, q, r, … para simbolizar a las
proposiciones lógicas

Ejemplos
Proposiciones Formalización
Voy a estudiar ingeniería p
No llueve esta noche. ~ p
Voy al mercado o a la pÚq
casa.
Apruebo el examen y pÙq
compro un celular.
Si voy a la fiesta, entonces p®q
duermo tarde.
24/04/2023
13
Ejemplo Formalice las siguientes proposiciones
a) Haré buenos planos si manejo el programa de
Autocad
b) Mi mascota es juguetón pero es muy rudo
Solución
a) p: Manejo el programa de Autocad.
q: Hare buenos planos
p®q

b) Tarea

24/04/2023
14
Ejemplo Formalice el siguiente enunciado: “Si apruebo el examen,
entonces iré al baile o comprare una bicicleta. Pero no voy al baile. En
consecuencia compro una bicicleta.

Solución

15
Ejemplo Formalice el siguiente enunciado: “Si apruebo el examen,
entonces iré al baile o comprare una bicicleta. Pero no voy al baile. En
consecuencia compro una bicicleta.

Solución p= Apruebo el examen

q= Voy al baile
r= Compro una bicicleta

𝑝 ⟶ 𝑞⋁𝑟
Luego

𝑝 ⟶ 𝑞⋁𝑟 ⋀ ∼ 𝑞

𝑝 ⟶ 𝑞⋁𝑟 ⋀ ∼ 𝑞 ⟶ 𝑟

24/04/2023
16
 Proposición equivalente
LEYES EQUIVALENCIAS
La negación de una disyunción (Ley de Morgan) ~ 𝒑 ∨ 𝒒 ≡∼ 𝒑 ∧∼ 𝒒
La negación de una conjunción (Ley de Morgan) ~ 𝒑 ∧ 𝒒 ≡∼ 𝒑 ∨∼ 𝒒
Ley de absorción 𝒑∧ 𝒑∨𝒒 ≡𝒑
𝒑∨ 𝒑∧𝒒 ≡𝒑
Conmutativa 𝒑∧𝒒≡𝒒∧𝒑
Asociativa 𝒑∧𝒒 ∧𝒓≡𝒑∧ 𝒒∧𝒓
Distributiva 𝒑∧ 𝒒∨𝒓 ≡ 𝒑∧𝒒 ∨ 𝒑∧𝒓
Implicación 𝒑 → 𝒒 ≡ (~𝒑 ∨ 𝒒)
Implicación 𝒑 → 𝐪 ≡ ~ 𝒑 ∧ ~𝒒
Implicación 𝒑 → 𝐪 ≡ ~𝒒 → ~𝒑
Ejemplo: Simplifique 𝑝∨𝑞 ∧ ∼𝑝∨𝑞 ∧𝑞 ∧p
Solución

24/04/2023
18
 Ejemplo: Simplifique 𝑝∨𝑞 ∧ ∼𝑝∨𝑞 ∧𝑞 ∧p
Solución
Ley de absorción
𝑝∨𝑞 ∧ 𝑞 ∧p

ordenamos 𝑞∧ 𝑞∨𝑝 ∧p

Ley de absorción
qÙp

24/04/2023
19
Tautología, contradicciones y contingencia

A toda proposición simple o compuesta cuyo valor de verdad es siempre verdadera

para toda combinaciones de valores de sus componentes se le llama tautología.

Y a toda proposición que es siempre falsa para toda combinaciones de valores de

sus componentes se le llama contradicción.
Una proposición cuya tabla de verdad contiene al menos un valor verdadero y al
menos un valor falso se le llama de contingencia.

24/04/2023
20
Ejemplo . Determine si la proposición compuesta
es tautológica ~𝑝 ∨ 𝑞 ∧ ~𝑞 → 𝑝

24/04/2023
21
 Ejemplo . Determine si la proposición compuesta
es tautológica ~𝑝 ∨ 𝑞 ∧ ~𝑞 → 𝑝

p q ~𝑝 ~𝑝 ∨ 𝑞 ~𝑝 ∨ 𝑞 ∧ ~𝑞 → 𝑝

V V F V F V V

V F F F F V V

F V V V F V F

F F V V V V V

Concluimos que es de Tautología.

24/04/2023
22
Ejemplo . Determine si las proposiciones son (~𝑞 → ~𝑝 ) ↔ (𝑝 → 𝑞)

24/04/2023
23
Ejemplo . Determine si las proposiciones son (~𝑞 → ~𝑝 ) ↔ (𝑝 → 𝑞)

p q ~𝑝 ~𝒒 𝑝→𝑞 ↔ ~𝑞 → ~𝑝

V V F F V V V

V F F V F V F

F V V F V V V

F F V V V V V

entonces es tautológico por lo tanto son

equivalentes. 24/04/2023
24
 Cuantificadores
Primero veamos:
Considera los siguientes enunciados:
a)“ X es un profesor de matemáticas”
b) “Paolo es un profesor de matemáticas”.
c)“ X es un divisor de 8”
d)“X es un divisor de Y”.
e)“2 es un divisor de Y”.
f)“3 es un divisor de 8”.

¿Qué diferencias observas entre unas y otras?

¿Cuáles son proposiciones?

24/04/2023
25
Definición de función proposicional
Una función proposicional es un enunciado que depende de una o más variables dentro de un
conjunto universo, de modo que se convierte en una proposición para cada valor o reemplazo
de la variable.

Ejemplo. P(X): “ X es un divisor de 8”

Solución

P(2) es cierta, P(5) es falsa, P(32) es falsa.

Ejemplo. Decide cuáles enunciados son proposiciones y función proposicional

a) (2n+3)2 es un número impar.

b) 1 + 3 = 5.
c) x es un número real.

Solución

24/04/2023
26
Definición de función proposicional
Una función proposicional es un enunciado que depende de una o más variables dentro de un
conjunto universo, de modo que se convierte en una proposición para cada valor o reemplazo
de la variable.

Ejemplo. P(X): “ X es un divisor de 8”

Solución

P(2) es cierta, P(5) es falsa, P(32) es falsa.

Ejemplo. Decide cuáles enunciados son proposiciones y función proposicional

a) (2n+3)2 es un número impar.

b) 1 + 3 = 5.
c) x es un número real.

Solución
!"#función proposicional $"#%&#'()')&*+*,-.
+"#función proposicional
24/04/2023
27
El cuantificador existencial,
“Para algún x se verifica p(x)”
“Existe x tal que se cumple p(x)”
“Para al menos un x se satisface p(x)”
son proposiciones que se escriben como “$x p(x) ”

El cuantificador universal,

“Para todo x se verifica p(x)”

“Para cualquier x tal que se cumple p(x)”
“Para cada x se satisface p(x)”
son proposiciones que se escriben como “"x p(x) ”

24/04/2023
28
Ejemplo: Escribe simbólicamente la proposición
r: “Para cada entero 𝑛 , si 𝑛 es par entonces 𝑛9 + 19
es primo”
Solución.

24/04/2023
29
Ejemplo: Escribe simbólicamente la proposición
r: “Para cada entero 𝑛 , si 𝑛 es par entonces 𝑛9 + 19
es primo”
Solución.

El conjunto universo son los enteros, identificamos la

función proposicional
𝑝 𝑛 : "𝑛 es par”
𝑞 𝑛 : "𝑛9 + 19 es primo”

Luego
r : "n∈ ℤ [𝑝(𝑛) → 𝑞(𝑛)]

24/04/2023
30
Ejemplo: Escribe simbólicamente la proposición
& )
s: “ Existe un número real 𝑥 tal que =
& ! '( *

Solución.

24/04/2023
31
Ejemplo: Escribe simbólicamente la proposición
& )
s: “ Existe un número real 𝑥 tal que =
& ! '( *

Solución.

El conjunto universo son los números reales, identificamos la función proposicional

𝑥 2
𝑡 𝑥 : ) =
𝑥 +1 5

Luego
s: $ 𝑥 ∈ ℝ 𝑡(𝑥)

24/04/2023
32
Negación del cuantificador universal:
La negación de "x p(x) : “Para todo x se satisface p(x)”
Es
~["x p(x)] º “NO es cierto que todo x
verifique p(x)”
º “Algún x satisface ~p(x)”
º $x ~p(x)
~ [" x p(x)] Û $x ~p(x)

Negación del cuantificador existencial:

La negación de $x p(x) : “Existe x que satisface p(x)”
es
~[$x p(x)] º “No es cierto que exista x, que verifique p(x)”
º “Ningún x satisface p(x)”
º “Todo x satisface ~p(x)”
º "x ~p(x)
~[ $x p(x)] Û "x ~p(x)
24/04/2023
33
Ejemplo: Simbolice la expresión “ Cualquier

número real cuyo cuadrado mayor que 1, es mayor

𝒑 → 𝐪 ≡ ~ 𝒑 ∧ ~𝒒

que 1”, luego exhiba la negación de las proposiciones.

Solución.

Equivale a
r: “ Para todo 𝑥 real, si 𝑥 9 > 1 entonces 𝑥 > 1 ”

La negación es
~ r : Existe algún 𝑥 real tal que 𝑥 9 > 1 y 𝑥 ≤ 1

24/04/2023
34
Ejemplo: Sea 𝑈 = −2, −1,0,1,2 . Determine si la proposición
𝑝: ∃𝑥 ∈ 𝑈, ∀𝑦 ∈ 𝑈/𝑥 + 𝑦 = 𝑥 es verdadera o falsa
Solución.

24/04/2023
35
Ejemplo: Sea 𝑈 = −2, −1,0,1,2 . Determine si la proposición
𝑝: ∃𝑥 ∈ 𝑈, ∀𝑦 ∈ 𝑈/𝑥 + 𝑦 = 𝑥 es verdadera o falsa
Solución.

Tenemos que verificar que ∀𝑦 ∈ 𝑈

𝑥 + 0 = 𝑥 ⟹ ∃𝒙 = 𝟎 ∈ 𝑈
𝑥 + −1 = 𝑥 ⟹ ∄𝒙 ∈ 𝑈
𝑥 + −2 = 𝑥 ⟹ ∄𝒙 ∈ 𝑈
𝑥+1=𝑥
⟹ ∄𝒙 ∈ 𝑈
𝑥+2=𝑥
⟹ ∄𝒙 ∈ 𝑈

La proposición es falsa

24/04/2023
36
Ejemplo: Sea 𝑈 = −2, −1,0,1,2 . Determine si la proposición
𝑝: ∃𝑥 ∈ 𝑈, ∃𝑦 ∈ 𝑈/𝑥 + 𝑦 = 𝑥 es verdadera o falsa

Solución.

24/04/2023
37
Ejemplo: Sea 𝑈 = −2, −1,0,1,2 . Determine si la proposición
𝑝: ∃𝑥 ∈ 𝑈, ∃𝑦 ∈ 𝑈/𝑥 + 𝑦 = 𝑥 es verdadera o falsa

Solución.

Basta con verificar que ∃𝑦 ∈ 𝑈 𝑦 ∃𝑥 ∈ 𝑈

talque
𝑥+0=𝑥
⟹ ∃𝒙 = 𝟎 ∈ 𝑈

La proposición es verdadera

24/04/2023
38
 Métodos de demostración

Para realizar una demostración es esencial tener en cuenta

reglas de inferencia
— Forma directa
Este es la demostración más natural, consiste en probar que
la hipótesis 𝑝 implica la tesis 𝑞

Ejemplo . Probar que si 𝑎 es un número impar, entonces 𝑎" es impar

Solución.
Como 𝑎 = 2𝑘 + 1 entonces
𝑎" = 2𝑘 + 1 "
= 2 4𝑘 " + 2𝑘 + 1
Implica que 𝑎" es impar

24/04/2023
39
— Demostración por contrarrecíproco

Si queremos demostrar que 𝑝 → 𝑞 es una implicación por contrarrecíproco, nos basamos en la ley
lógica 𝑝 → 𝑞 ≡ ∼ 𝑞 →∼ 𝑝

Ejemplo. Si 𝑎" es par entonces 𝑎 es par

Solución.

24/04/2023
40
— Demostración por contrarrecíproco

Si queremos demostrar que 𝑝 → 𝑞 es una implicación por contrarrecíproco, nos basamos en la ley
lógica 𝑝 → 𝑞 ≡ ∼ 𝑞 →∼ 𝑝

Ejemplo. Si 𝑎" es par entonces 𝑎 es par

Solución.

Tenemos 𝑝: 𝑎" 𝑒𝑠 𝑝𝑎𝑟 y 𝑞: 𝑎 𝑒𝑠 𝑝𝑎𝑟 .

Por la contrarrecíproca tenemos:

Si 𝑎 no es par entonces 𝑎" no es par ,

Si 𝑎 es impar entonces 𝑎" es impar.

Análogo al ejemplo anterior

Como 𝑎 = 2𝑘 + 1 entonces

𝑎" = 2𝑘 + 1 "
= 2 4𝑘 " + 2𝑘 + 1

Implica que 𝑎" es impar 24/04/2023

41
u Demostración por el absurdo
Llamado método de demostración por el absurdo o contradicción.
Si queremos demostrar que 𝑝 → 𝑞 negamos
∼ 𝑝 → 𝑞 = 𝑝 ∧∼ 𝑞
Y se llega a una contradicción o absurdo, esto significa contradecir algo
previamente establecido como postulado.

Ejemplo. Si 𝑎" es par entonces 𝑎 es par

Solución. Identificamos la hipótesis
𝑝: 𝑎" 𝑒𝑠 𝑝𝑎𝑟 entonces q: 𝑎 𝑒𝑠 𝑝𝑎𝑟
Negamos: 𝑝: 𝑎" 𝑒𝑠 𝑝𝑎𝑟 y q: 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
Veamos 𝑎" = 2𝑘 + 1 "
, 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
= 4𝑘 " + 4𝑘 + 1
= 2 2𝑘 " + 2𝑘 + 1
= 𝑖𝑚𝑝𝑎𝑟
lo cual es absurdo pues tenemos que 𝑎" 𝑒𝑠 𝑝𝑎𝑟
24/04/2023
42
 Proposiciones falsas
— Para demostrar que una proposición con es falsa p tenemos que demostrar que ∼ p es
verdadera, y podemos aplicar alguno de los métodos ya estudiados como Directo,
contrarrecíproco, Reducción al absurdo.

— Supongamos que queremos demostrar que p → q es falsa, esto se da cuando el valor de

verdad es p ≡ V; q ≡ F esto implica encontrar un ejemplo con esas condiciones

Ejemplo. Todo p primo es impar

Ejemplo. Si 𝑛 es un entero entonces 𝑛" − 𝑛 + 12 es un número primo

Solución.
Tenemos el contraejemplo 𝑛 = 1 es un entero, 𝑛" − 𝑛 + 12 = 12 no es
primo.

Por lo tanto la afirmación es falsa.

24/04/2023
43
BIBLIOGRAFÍA
Ø Chávez C. (2005). Matemática Básica. 3ª ed .Lima: UNMSM
Ø Chavez C. (2012) Notas de Algebra.1ra Ed. Perú: Moshera
Ø Chávez C. (2005). Matemática Básica. Perú: UNMSM
Ø EspinozaE (2005) Matemática Básica. 2ra Ed. Perú: Moshera
Ø Grossman S.I., Flores, G & Damy, S, Álgebra lineal. (2008). México: McGraw-Hill
Ø Grimaldi R. (1998) .Matemática discreta y combinatoria. Ed.3 USA:Weles Iberoamericana.
Ø Hasser N., La Salle J. y Sullivan J. (2001)
Ø Rojo A. Algebra I. (1998). Buenos Aires: Eudeba
Ø Stewart J., Redlin L. & Watson S. (2012). Precálculo. Matemáticas para el cálculo (6 Ed).
México. Cengage Learning.
Ø Lehmann, C. (1994). Geometría Analítica. México: Limusa.
Ø Leithold, L. El Cálculo con Geometría Analítica. México: Harla
Ø Venero, A. (2012 ) Matemática Básica. Lima: Gemar
Ø Venero A. (2005). Introducción al análisis matemático. Perú: Gemar.

24/04/2023
44
24/04/2023
45