MATEMÁTICA BÁSICA

Semana 1:
• Lógica proposicional.
• Equivalencias lógicas.
• Funciones proposicionales
• Cuantificador Universal y Existencial

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 1

 La Cena de
Guille
1 2 3

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 2

 La Cena de
Guille
La madre de Guille dijo:
Lo dicho por la
?
mamá de Guille, es
lo mismo que
Si no te acabas la cena, no
verás la tele antes de irte a
la cama
entendió Gille

Lo que entendió Guille:

Si te acabas la cena, verás la
tele antes de irte a la cama

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 3

 LOGRO DE LA SESIÓN

“Al finalizar la sesión, el estudiante

aplica las leyes lógicas conectando la
argumentación con la inferencia para
así validar la veracidad del
razonamiento planteado”.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 4

CONTENIDO SEMANA 1

Proposición Lógica

Conectivos Lógicos-
Tablas de verdad
Tautología, Contradicción y
Contingencia
Cuantificador Existencial y
Universal

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 5

 ¿QUÉ ES LA LÓGICA PROPOSICIONAL?
La lógica proposicional es el nivel más básico de la lógica,
se encarga de analizar las relaciones entre proposiciones,
así como la verdad o la falsedad de estas.
Enunciamos:
Tú saliste ayer de tu casa
¿Cual es tú
respuesta?
Verdadero Falso

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 6

 Expresiones no proposicionales
“Son aquellos enunciados que indican una pregunta, una orden o
una exclamación”
También podemos decir que los enunciados que utilizan
las palabras “él”, “ella” y que utilizan las variable x; y; z.

Ejemplo 3:
- ¿Cuántos años tienes?
- Silencio
- ¡Arriba el Perú!
- Ella está mirando el mar.
- x+2>6
28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 7
Proposición Lógica
Es todo enunciado que puede ser calificado como verdadero o falso (sólo uno). 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

Silencio No

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

Quien fue a Barranco perdió su banco. No

Si
Gustavo salió con Julia.
28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 8
 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.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 9

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 10
 Conectivos 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.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 11

Revisemos algunas expresiones informales para los conectores lógicos

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.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 12

 DISYUNCIÓN
INCLUSIVA p o q pero no ambas
(Fuerte)
p entonces q.
q si p.
CONDICIONAL q porque p. p
p por lo tanto q.
p implica q.
p si y sólo si q.
q siempre y cuando
BICONDICIONAL
p.
q equivale a p

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 13

Formalización de proposiciones lógicas
Utilizaremos las letras p, q, r, … para simbolizar a las
proposiciones lógicas

Ejemplo
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.
28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 14
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
p: Hare buenos planos
a)
q: Manejo el programa de Autocad.
qp

b) ______________________
_______________

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 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. p= Apruebo el examen
q= Voy al baile
Solución
r= Compro una bicicleta
i)Si apruebo el examen , entonces iré al baile o comprare una bicicleta :

ii)Si apruebo el examen , entonces iré al baile o comprare una bicicleta. Pero no voy al baile:

iii)Si apruebo el examen , entonces iré al baile o comprare una bicicleta. Pero no voy al baile. En
consecuencia compro una bicicleta:

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 16

 Tablas de Verdad
Para construir una tabla de verdad es imprescindible tomar en
cuenta el número de enunciados simples que forman el
compuesto, entonces si existe un solo enunciado éste podrá
ser, bien verdadero o bien falso.

Ahora que sucede si el enunciado compuesto cuenta con dos

simples. Para construir la tabla de verdad se deberían hacer
combinaciones de valores de verdad con cada enunciado
simple, lo que resultaría bastante impreciso, para resolver
aquello contamos con la siguiente fórmula:

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 17

 TABLA DE VALORES DE VERDAD

p q ~~ p pvq pq p→q p↔q p∆q

V V F V V V V F

V F F V F F F V

F V V V F V F V

F F V F F V V F

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 18

 SIGNOS DE
Se utilizan para agrupar las AGRUPACIÓN
proposiciones, en lenguaje lógico corresponden
o sustituyen a los signos de puntuación del lenguaje natural. Hay que
adecuarlos acorde a las proposiciones y su sentido. En otras palabras:
 Los signos de agrupación permiten dar sentido a las expresiones que se
desean
simbolizar.
 Limitan el alcance de los conectores (conectivos u operadores) lógicos que unen las
proposiciones simples (atómicas) para formar proposiciones compuestas (moleculares).
 Son elementos básicos de la lógica proposicional.
 Evitan la ambigüedad de las expresiones.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 19

 Ejemplos:
𝑝𝑞 ; 𝑟 ∨ 𝑠 ; (𝑝 → ~𝑟)
 Las expresiones de tamaño medio se encierran entre corchetes (incluyen al menos dos
expresiones pequeñas).
;
 Las expresiones de mayor tamaño se encierran entre llaves.
↔ (~𝑟 𝑠)
 La expresiones mas grandes se encierran entre barras.

 Los signos de agrupación se pueden repetir, pero siempre delimitando el

carácter de los conectores o conectivos (operadores lógicos)
 A las expresiones similares no es necesario colocarles varios paréntesis.
𝑝 𝑞 𝑟 ; (𝑞 ∨ 𝑟 ∨ 𝑝)
 Las proposiciones simples no es necesario encerrarlas entre paréntesis.
𝑝; ∼ 𝑞; 𝑝 (𝑞 ∨ 𝑟) ; 𝑝 → 𝑞
 En un polinomio proposicional el conectivo principal (CP) u operador lógico
principal, es aquel que une a la primera componente del polinomio con la segunda
componente del polinomio. → (𝑞 ∨ 𝑟) 𝐶𝑃: → (𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙)
𝐶𝑃: (𝑐𝑜𝑛𝑗𝑢𝑛𝑐𝑖𝑜𝑛)

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 20

 Equivalencia e Implicación Lógicas
Proposiciones equivalentes:
Dos fórmulas proposicionales P (p, q,…) y Q (p, q,…) son equivalentes si sus
funciones veritativas son idénticas entre ambas expresiones. Es decir, son
equivalentes si sus matrices o tablas de verdad son iguales y
se simboliza por ⇔ o ≡.
En otras palabras: P es equivalente a Q, solamente cuando P ↔ Q es una
tautología.
P ≡ Q ⇔ P ↔ Q es una tautología
Implicación Lógica:
Se dice que una proposición P implica lógicamente a Q y se escribe P
⇒ Q si y solo si la condicional P → Q es una tautología, es decir, en ningún
caso P es verdadera y Q es falsa.
Se distingue un condicional de una implicación usando los siguientes símbolos:
P implica lógicamente a Q: P ⇒ Q
Mientras que el condicional será: P → Q
28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 21
 Proposiciones lógicamente equivalentes
Decimos que dos proposiciones son lógicamente equivalentes (  ) si
tienen la misma secuencia de valores de verdad en su matriz principal.

Ejemplo: (p→q) (~p q)

V V V F V V
V F F F F F
V V V V V
F V V F
V F

Por lo tanto: ( 𝒑  𝒒F) ≡  𝒑  𝒒 Ley de la Condicional

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 22

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 23
 Ejemplo: Simplifique

Solución
{ ( 𝐩 → 𝐪) ∧ [ ( 𝐩 → 𝐪 ) ∧ 𝐪 ] } ( 𝒑 𝒒 ) ≡  𝒑  𝒒
]} 𝒑 ∧ ( 𝒑 ∨ 𝒒) ≡ 𝒑 ∧ 𝒒
]} 𝒑 ∧ ( 𝒒 ∧𝒓 ) ≡(𝒑 ∧𝒓 )∧ 𝒒
]} 𝒑 ∧ ( 𝒑 ∨ 𝒒) ≡ 𝒑
} ∼ ( 𝒑 ∧ 𝒒 ) ≡∼ 𝒑 ∨∼ 𝒒

Finalmente:

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 24

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 25
Tautología:

Se llama así a toda proposición simple o compuesta cuyo valor

de verdad es siempre verdadera para toda combinaciones de
valores de sus componentes.

Contradicción:
Es el caso de toda proposición que es siempre falsa para toda
combinaciones de valores de sus componentes.

Contingencia:
Sucede cuando una proposición simple o compuesta presenta
en su tabla de verdad al menos un valor verdadero y al menos
un valor falso.
28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 26
Ejemplo . Determine si la proposición compuesta es tautológica
p q

V V F V F V V

V F F V
F F V

F V
V V F V F

F F
V V V F F
∴ ( 𝑝∨𝑞 ) ∧ ∼𝑞 𝑁𝑂 𝑒𝑠 𝑇𝐴𝑈𝑇𝑂𝐿𝑂𝐺 Í 𝐴

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 27

 Cuantificador Existencial y Universal

Considera los siguientes enunciados:

¿Qué diferencias observas entre unas y otras?
a)“ X es un profesor de matemáticas”

b) “Paolo es un profesor de matemáticas”. ¿Cuáles son proposiciones?

c)“ X es un divisor de 8”
Se dan enunciados que no son
d)“X es un divisor de Y”.
proposiciones pero que pueden
convertirse en proposiciones si se
e)“2 es un divisor de Y”.
da un valor a las variables X ó Y.
f)“3 es un divisor de 8”.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 28

 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”

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.

a) función proposicional
b) 1 + 3 = 5.
b) Es proposición.
c) x es un número real
c) función proposicional

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 29

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

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 30

Ejemplo: Escribe simbólicamente la proposición
r: “Para cada entero , si es par entonces es primo”
Solución.

El conjunto universo son los enteros, identificamos la función

proposicional
es par”
es primo”

Luego
r : n]

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 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

Luego
s: 

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 32

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 33
EJEMPLO 1:
Simbolice la expresión: “ cualquier número real cuyo cuadrado es
mayor que 1, es mayor que 1”, luego exhiba la negación de las
proposiciones.
Solución:
Equivale a
r: “ Para todo 𝑥 real, si 𝑥 2 > 1 entonces 𝑥 > 1 ”
𝑝: 𝑥 2 > 1; 𝑞: 𝑥 > 1
∼ (𝑝 → 𝑞) ≡∼ (~𝑝 ∨ 𝑞) ≡ 𝑝 𝖠∼ 𝑞
∼ 𝑞: 𝑥 ≤ 1
La negación es
~ r : Existe algún 𝑥 real tal que 𝑥 2 > 1 y 𝑥 ≤ 1

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 34

 Ejemplo 2:
Negación de las siguientes proposiciones:

1. Para el conjunto de todos los números primos por lo menos un

número primo es par.
𝑝(𝑥) : 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑡𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑛𝑢𝑚𝑒𝑟𝑜𝑠 𝑝𝑟𝑖𝑚𝑜𝑠
∃𝑥, 𝑝(𝑥); 𝑥 𝑒𝑠 𝑢𝑛 𝑛𝑢𝑚𝑒𝑟𝑜 𝑝𝑟𝑖𝑚𝑜 𝑝𝑎𝑟
∀𝑥, ~𝑝(𝑥)
2. Para dos números enteros positivos, su suma es 12.
∃𝑥, 𝑦 ∈ 𝑍 + : 𝑥 + 𝑦 = 12
∀𝑥, 𝑦 ∈ 𝑍 + : 𝑥 + 𝑦 ≠ 12
Ejemplo 3:
Exprese las proposiciones siguientes utilizando cuantificadores y
predicados. Traduzca las proposiciones a símbolos.
a. Todo estudiante en esta clase ha estudiado pre cálculo.
𝑝(𝑥) : ℎ𝑎 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑑𝑜 𝑝𝑟𝑒 𝑐𝑎𝑙𝑐𝑢𝑙𝑜
∀𝑥 ∈ 𝐴, 𝑝(𝑥)
b. Algún estudiante en esta clase ha visitado México.∃𝑥 ∈ 𝐴, 𝑞(𝑥)

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 35

 ¡Ahora todos a practicar!

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 36

 Ejercicio Nº 1: Reconocimiento
de proposiciones

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 37

 Ejercicio Nº 2: Clases de
proposiciones

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 38

 Ejercicio Nº 3:Clasificación de
proposiciones moleculares

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 39

 CONCLUSIONES
 La lógica formaliza nuestro razonamiento, estableciendo qué es y qué no
es correcto.

 En situaciones reales de la vida cotidiana, considerar una equivalencia de

forma errada nos puede llevar a falacias o errores graves.

 Las equivalencias lógicas son válidas independientemente de cuáles son las

proposiciones involucradas, sólo dependen del valor de verdad de ellas.

 El uso de cuantificadores establece propiedades válidas sobre un conjunto de

datos o elementos

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 40

 La Cena de
Guille
Ayudemos a Guille a resolver su confusión:

 Utilizando el lenguaje proposicional, formaliza lo dicho por

Guille y su mamá.
 Aplica las leyes lógicas, y concluye si la mamá de Guille le
mintió o él hizo un mal razonamiento.

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 41

28/03/2024 UNMSM 2024-I - Mg Delia E. Hancco H 42