UNIVERSIDAD NACIONAL

FACULTAD DE CIENCIAS MATEMÁTICAS

MAYOR DE SAN MARCOS

MATEMÁTICA BÁSICA
UNIDAD I

Lógica proposicional

Prof. EVER CRUZADO

SEMESTRE 2022 - II

Semestre 2022-II La Decana de América Prof. Ever Cruzado

 CONTENIDOS

• Proposiciones lógicas
• Conectivos lógicos
• Equivalencias lógicas
• Funciones proposicionales
• Cuantificadores
• Métodos de demostración
 UNMSM FCM

LOGRO DE LA SESIÓN

Al finalizar la sesión el estudiante estará en la

capacidad de usar la lógica proposicional, para
resolver ejercicios y/o problemas que impliquen
formalizar proposiciones, simplificar
proposiciones, construir tablas de verdad y usos de
cuantificadores.

2022-II Matemática Básica

 UNMSM FCM
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

2022-II Matemática Básica
 UNMSM FCM

Proposición lógica
Es toda expresión 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

Cristobal Colón descubrió América Si

Quien fue a Barranco perdió su banco. No

Gustavo salió con Julia. Si

2022-II Matemática Básica
 UNMSM FCM

Expresiones no proposicionales
Los enunciados que indican una pregunta, una orden,
una exclamación, un deseo y en los que se emite un
juicio de valor no son proposiciones.

También podemos decir que los enunciados que utilizan

variable x; y; z; etc. no son proposiciones.

Ejemplo 3:
- ¿Cuántos años tienes?
- Silencio
- ¡Arriba el Perú!
- x+2>6
- Ojalá llueva.
- Juan es bueno.
2022-II Matemática Básica
 UNMSM FCM

Proposiciones simples, atómicas o elementales

Son aquellas que tienen un solo componente, es decir, no se
pueden separar en dos proposiciones o más. Se les denota con
las letras minúsculas p, q y r, etc. A la verdad (V) o falsedad
(F) de la proposición se le llama valor de verdad de la
proposición.
Las proposiciones simples se clasifican en predicativas y
relacionales. Las predicativas constan de sujeto y predicado y
las relacionales constan de 2 o mas sujetos vinculados entre si.
Ejemplos
 La escuela de Matemática tiene 8 secciones del curso de
Matemática Básica.
 El número 2 es par.
 Silvia es hermana de Rocío.
 5 > 3.
 Sansón y Dalila son hermanos.
2022-II Matemática Básica
 UNMSM FCM

Proposiciones compuestas o moleculares

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.
• Este número es par si y solo si es divisible por 2.

2022-II Matemática Básica

 UNMSM FCM

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
INCLUSIVA O ∨
o ambas proposiciones a la vez
(DÉBIL)
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.

2022-II Matemática Básica

 UNMSM FCM

Existe otras connotaciones de los conectores

No p.
Es falso que p.
NEGACIÓN Es absurdo que p. p
No es cierto.
No es el caso.
pyq
p pero q.
CONJUNCIÓN p aunque q. p∧ 𝑞
p sin embargo q.
p a la vez q
poq
DISYUNCIÓN
p a menos que q.
INCLUSIVA 𝑝∨𝑞
p salvo que q.
(Débil)
p excepto q.

2022-II Matemática Básica 10

 UNMSM FCM

p o q pero no ambas
DISYUNCIÓN
EXCLUSIVA (Fuerte)
p o solo q p q
p o solamente q

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.
BICONDICIONAL q siempre y cuando p. pq
q equivale a p

2022-II Matemática Básica

 UNMSM FCM

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

2022-II Matemática Básica 12

 UNMSM FCM

Nota: Para construir una tabla de verdad es imprescindible

tomar en cuenta el número de proposiciones simples que
forman a la compuesta.
• Si existe una sola proposición, esta podrá
ser, bien verdadero o bien falso.

• Si la proposición compuesta consta de 2

proposiciones simples.

• En general si hay n proposiciones simples,

la tabla de verdad tendrá 2𝑛
combinaciones posibles de valores de
verdad para las proposiciones simples.

2022-II Matemática Básica

 UNMSM FCM
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.
2022-II Matemática Básica
 UNMSM FCM

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: Haré buenos planos

p→q
b) Tarea

2022-II Matemática Básica

 UNMSM FCM
Ejemplo Formalice el siguiente enunciado: “Si apruebo el
examen, entonces iré al baile o compraré 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

𝑝 ⟶ 𝑞∨𝑟 ∧∼ 𝑞

𝑝 ⟶ 𝑞∨𝑟 ∧∼ 𝑞 ⟶ 𝑟

2022-II Matemática Básica

 UNMSM FCM

Ejemplo

2022-II Matemática Básica

 UNMSM FCM

Tautología, contradicción 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.
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.

2022-II Matemática Básica

 UNMSM FCM
Ejemplo. Determine si la proposición compuesta es tautología,
contradicción o contingencia.
~𝑝 ∨ 𝑞 ∧ ~𝑞 → 𝑝

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 F F

Concluimos que es contingencia.

2022-II Matemática Básica
 UNMSM FCM

Equivalencia e Implicación Lógicas

Proposiciones equivalentes:
Dos proposiciones simples o compuestas son equivalentes si sus
matrices o tablas de verdad son iguales y se simboliza por ⇔ o ≡.
En otras palabras: P≡Q, solamente cuando 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.

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

2022-II Matemática Básica

 UNMSM FCM

Ejemplo. Determine si las proposiciones son equivalentes

~𝑞 → ~𝑝 y 𝑝→𝑞

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 tautología por lo tanto son equivalentes.

2022-II Matemática Básica
 UNMSM FCM

Observación:
La implicación cumple las propiedades:
1. Reflexiva P ⇒ P
2. Antisimétrica [(P ⇒ Q)∧(Q ⇒ P)]→(P ⇔ Q)
3. Transitiva [(P ⇒ Q)∧(Q ⇒ R)]→(P ⇒ R)
P ⇒ Q se denomina Teorema donde P es condición suficiente para
Q o Q es condición necesaria para P
Teorema directo: P ⇒ Q
Teorema recíproco: Q ⇒ P
Teorema contrario: ∼P ⇒ ∼Q
Teorema contrarrecíproco: ∼Q ⇒∼P
2022-II Matemática Básica
 UNMSM FCM

Álgebra de proposiciones
Álgebra de proposiciones es un sistema axiomático consistente,
completo e independiente; se utiliza básicamente para
construir y simplificar proposiciones complejas, siempre que
cumplan determinadas propiedades.

Leyes del álgebra de proposiciones

Las leyes del álgebra de proposiciones conforman la parte

fundamental para demostrar la equivalencia entre
proposiciones o construir y simplificar proposiciones
compuestas complejas; más adelante se utilizará para construir
circuitos digitales óptimos a partir del álgebra booleana.

2022-II Matemática Básica

 UNMSM FCM
Ejemplo Simplifique ( p q)  
( 
p  q)  q
 p
Solución

Ley de absorción
 
 
( p q)  
( p  q)  q   p

 q


ordenamos q  ( q  p )  p

Ley de absorción q  ( q  p )  p
qp

Idempotencia qpp
p

Finalmente qp
2022-II Matemática Básica
 UNMSM FCM

Cuantificadores
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?

Se dan enunciados que no son proposiciones pero que pueden

convertirse en proposiciones si se da un valor a las variables x ó
y.
2022-II Matemática Básica
 UNMSM FCM

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) Existe un x tal que x < .
d) x es un número real.
Solución

a) función proposicional b) Es proposición.

c) Es proposición. d) función proposicional
2022-II Matemática Básica
 UNMSM FCM

Cuantificadores
Al referirnos de cuantificadores con respecto a la lógica y teoría de
conjuntos, diremos que son los símbolos que determinan la cantidad
de una proposición o los tipos de elementos de un conjunto dado y
que cumplen con dicha propiedad.

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) ”
2022-II Matemática Básica
 UNMSM FCM

Ejemplo: Escribe simbólicamente la proposición

r: “Para cada entero 𝑛 , si 𝑛 es par entonces 𝑛2 + 19
es primo”
Solución.

El conjunto universo son los enteros, identificamos la

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

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

2022-II Matemática Básica

 UNMSM FCM

Ejemplo: Escribe simbólicamente la proposición

𝑥 2
s: “ Existe un número real 𝑥 tal que =
𝑥 2 +1 5

Solución.
El conjunto universo son los números reales,
identificamos la función proposicional
𝑥 2
𝑡 𝑥 : 2 =
𝑥 +1 5

Luego
s:  𝑥 ∈ ℝ / 𝑡(𝑥)

2022-II Matemática Básica

 UNMSM FCM

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)
2022-II Matemática Básica
 UNMSM FCM

Ejemplo: Simbolice la expresión r:“ 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 ”

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

2022-II Matemática Básica

 UNMSM FCM

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

2022-II Matemática Básica

 UNMSM FCM

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

2022-II Matemática Básica

 UNMSM FCM

Métodos de demostración

Para realizar una demostración es esencial tener

en cuenta reglas de inferencia
 Forma directa
Esta 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 𝑎2 es impar
Solución.
Como 𝑎 = 2𝑘 + 1 entonces
𝑎2 = 2𝑘 + 1 2
= 2 2𝑘 2 + 2𝑘 + 1
Implica que 𝑎2 es impar

2022-II Matemática Básica

 UNMSM FCM

 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 𝑎2 es par entonces 𝑎 es par
Solución.
Tenemos 𝑝: 𝑎2 𝑒𝑠 𝑝𝑎𝑟 y 𝑞: 𝑎 𝑒𝑠 𝑝𝑎𝑟 .
Por la contrarrecíproca tenemos:
Si 𝑎 no es par entonces 𝑎2 no es par, o
Si 𝑎 es impar entonces 𝑎2 es impar.
Análogo al ejemplo anterior
Como 𝑎 = 2𝑘 + 1 entonces
𝑎2 = 2𝑘 + 1 2
= 2 2𝑘 2 + 2𝑘 + 1
Implica que 𝑎2 es impar

2022-II Matemática Básica

 UNMSM FCM
 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 𝑎2 es par entonces 𝑎 es par
Solución. Identificamos la hipótesis
𝑝: 𝑎2 𝑒𝑠 𝑝𝑎𝑟 entonces q: 𝑎 𝑒𝑠 𝑝𝑎𝑟
Negamos: 𝑝: 𝑎2 𝑒𝑠 𝑝𝑎𝑟 y ∼ q: 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
Veamos 𝑎2 = 2𝑘 + 1 2 , 𝑎 𝑒𝑠 𝑖𝑚𝑝𝑎𝑟
= 4𝑘 2 + 4𝑘 + 1
= 2 2𝑘 2 + 2𝑘 + 1
= 𝑖𝑚𝑝𝑎𝑟
lo cual es absurdo pues tenemos que 𝑎2 𝑒𝑠 𝑝𝑎𝑟
2022-II Matemática Básica