www.aduni.edu.

pe
 RAZONAMIENTO
MATEMÁTICO
PROGRAMA ACADÉMICO VIRTUAL

Ciclo Anual virtual ADUNI

Docente: Oscar Acevedo Castillo
 Lógica
Proposicional
 OBJETIVO
Comprender y aplicar correctamente
las tablas de verdad de los operadores
lógicos así como también las leyes de
la lógica proposicional.
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

LÓGICA PROPOSICIONAL

Es una parte de la lógica que estudia el razonamiento humano, que se da a través del lenguaje
mediante el estudio de las proposiciones y la relación existente entre ellas.

Para poder entender mejor este tema debemos tener en cuenta los siguientes conceptos:

Cuatro es mayor a tres

ENUNCIADO Todos ellos son
La luna es un planeta
enunciados, pero
no todos ellos son
Es toda frase u oración que se utiliza en el lenguaje común. No se canta en la sala
proposiciones.
¡ Auxilio !
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

CLASES DE ENUNCIADOS
ENUNCIADO

ENUNCIADO CERRADO ENUNCIADO ABIERTO

(PROPOSICIÓN) (CUASIPROPOSICIÓN)

Es aquel enunciado que puede Es aquel enunciado que contiene

ser calificado como verdadero
(v) o falso (F) sin ambigüedad
en un determinado contexto.
Cusco es capital del Perú
2÷2+2=3
Juan trabaja y estudia
Toda proposición es
un enunciado pero
no todo enunciado
es una proposición.
una o más variables y que no son
verdaderos o falsos. Se le llama
función proposicional.
x<5 (No se sabe si es V o F )
Si x = 2, la expresión es verdadera
Si x = 7, la expresión es falsa

¿Qué día es hoy?

Además: Toda interrogación, deseo o admiración no son proposiciones
Tengo sed
………………debido a que no se les puede calificar como verdadero o falso . ¡Eureka lo logre!
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Resolución:
Aplicación 01: Importante
- Las proposiciones simples son siempre afirmativas.
¿Cuál o cuáles de los siguientes De los datos:
enunciados son proposiciones lógicas? - Las exclamaciones, órdenes, deseos o preguntas no
Analizaremos a cada uno ….son proposiciones al no poder ser evaluadas como
I. x +5 < 3 de los enunciados: ….verdaderas o falsas.

1
3 0 2
II. 27 − 2 + 2020 ≥ 6 − 16 2 I. X puede tomar cualquier valor numérico. (no es una proposición lógica)

III. El agua bulle a 120 ℃. II. Se puede saber si es verdadero o falso. (es una proposición lógica)

III. Es un enunciado aseverativo o afirmativo. (es una proposición lógica)

IV. Aquí es necesario usar mascarilla
IV. Es una orden o mandato. (no es una proposición lógica)
V. ¡Ojalá todas las mañanas salga el sol!
V. Es una exclamación. (no es una proposición lógica)
A) Solo II B) Solo III
C) Solo II y III D) Solo III y IV ∴ 𝐿𝑎𝑠 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 𝑙ó𝑔𝑖𝑐𝑎𝑠 𝑠𝑜𝑛 𝐼𝐼 𝑦 𝐼𝐼𝐼.
 C U R S O D E R A Z . M AT E M ÁT I C O
CLASES DE PROPOSICIONES
PROPOSICIÓN SIMPLE
O ATÓMICA
Es aquella proposición afirmativa
que expresa una sola idea, no
tienen conectivos lógicos.
p: Kevin estudia inglés
q: 3 es un número primo
r: − 42 = 16
C R E E M O S E N L A E X I G E N C I A
PROPOSICIÓN Las proposiciones se denotan con
LÓGICA las letras minúsculas: p, q, r, s…etc.
PROPOSICIÓN COMPUESTA
O MOLECULAR
Los conectivos lógicos Es aquella proposición que expresa mas
son símbolos que niegan de una idea, se obtienen al combinar
una proposición simple o dos o mas proposiciones simples o al
enlazan proposiciones negar una proposición simple.
simples para formar una Kevin estudia inglés y computación
proposición compuesta.
p q
y es llamado conectivo lógico
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

LÓGICA PROPOSICIONAL : Resumen teórico ENUNCIADO

ENUNCIADO CERRADO ENUNCIADO ABIERTO

(PROPOSICIÓN LÓGICA) (CUASIPROPOSICIÓN)

PROPOSICIÓN SIMPLE PROPOSICIÓN COMPUESTA

O ATÓMICA O MOLECULAR
LÓGICA
PROPOSICIONAL
Si hacemos
una analogía

Una proposición simple Los conectivos lógicos son La proposiciones compuestas son como las
es como un ladrillo como el cemento que une paredes donde descansa la lógica proposicional
las proposiciones
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

TABLAS DE VERDAD
La validez de una proposición compuesta depende de los valores de verdad de las proposiciones
simples que la componen y se puede esquematizar mediante una tabla de verdad.

Para 1 proposición Para 2 proposiciones Para 3 proposiciones

Sean las proposiciones: p p q p q r

V V V V V V
P : estoy estudiando F V F V V F
q : voy a cenar F V V F V
F F V F F
2 posibilidades
r : miro las noticias F V V
4 posibilidades F V F
F F V
Para conocer el valor de verdad de una proposición compuesta debemos
de hacer un análisis considerando los conectivos lógicos que las enlazan.
F F F
8 posibilidades
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

CONECTIVOS LÓGICOS
Son palabras que se representan por símbolos, se utilizan para negar una proposición simple o enlazan
proposiciones simples sin ser parte de ellos. Dichos símbolos también toman el nombre de operadores.

Los conectivos lógicos son OPERACIÓN

LÓGICA CONECTIVOS LÓGICOS SÍMBOLO REPRESENTACIÓN

No es cierto que jugaré fútbol NEGACIÓN No es cierto que ~ ~p

Luisa trabaja y estudia CONJUNCIÓN … y…  p  q
Miguel va a comer o beber DISYUNCIÓN … o …
 p  q
INCLUSIVA
Si me rio entonces estoy jugando p → q
CONDICIONAL Si … entonces … →
Ingresare si y solo si estudio BICONDICIONAL … si y solo si …  p  q

O me caso o me quedo soltero DISYUNCIÓN o…o …

 p  q
EXCLUSIVA
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

OPERACIONES LÓGICAS DE LAS PROPOSICIONES COMPUESTAS

Vamos a estudiar cada uno de los conectivos lógicos mas importantes.

Empezaremos con aquellas proposiciones compuestas que tienen un conectivo lógico

Sea la proposición p : Voy a obedecer

I. NEGACIÓN
La negación es una proposición cuyo valor es opuesto a la proposición original
Se lee: ~ p : No voy a obedecer
p ~p
Símbolo : ~ No p
No es cierto que p V F
Esquema : ~ p
Nunca p V
F
Es falso que p
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

II. CONJUNCIÓN III. DISYUNCIÓN DÉBIL O INCLUSIVA

Es el resultado de enlazar dos proposiciones Es el resultado de enlazar dos proposiciones
mediante el conectivo lógico “y“ o sus equivalentes. mediante el conectivo lógico “o“ o sus equivalentes.
Ricardo enseña y aprende Kiara cocina o lee Kiara puede solo cocinar,
solo leer o hacer ambas
p  q p v q cosas a la vez. Es decir:
p o q o ambos
p q p  q p q p  q
V Otras palabras que V Otras palabras que
V V V V
indican conjunción indican disyunción
V F F son: V F V débil son:
además, pero, sin V salvo que, o sino,
F V F F V
embargo, aunque, excepto que también,
F F F también, … F F F …

Solo es verdadera si sus dos componentes son Solo es falsa si sus dos componentes son falsas,
verdaderas, en otro caso será falsa. en otro caso será verdadera.
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

III. CONDICIONAL

Es el resultado de enlazar dos proposiciones mediante el conectivo lógico “ Si .. entonces…” o sus equivalentes.
Si estudias entonces triunfaras
Otras palabras que indican la condicional son:
p → q
ANTECEDENTE (CAUSA) Si p, q
p q p → q CONSECUENTE (CONSECUENCIA) p sólo si q
p es suficiente para q
V V V Cuando p, q
V F F p por lo tanto q
F V V q dado que p
q porque p
F F V
q de ahí que p
Solo es falso cuando el antecedente es verdadero y q siempre que p
el consecuente es falso, en otro caso será verdadera.
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

V. BICONDICIONAL VI. DISYUNCIÓN FUERTE O EXCLUSIVA

Es el resultado de enlazar dos proposiciones mediante Es aquella que resulta de enlazar dos ideas de
el conectivo lógico “si y solo si“ o sus equivalentes. manera exclusiva, es decir la ocurrencia de una idea
garantiza que la otra idea no va a ocurrir.
Ingresaras si y solo si estudias
Andrés solo camina o
O Andrés camina o duerme
p  q solo duerme pero no
p  q puede hacer ambas
cosas a la vez.
p q p  q p q p  q
Otras palabras que indican Otras palabras que
V V V la bicondicional indican disyunción débil
V V F
V F F son: son:
Cuando y solo cuando, es V F V salvo que solo, ...o…o,
F V F necesario y suficiente para, F V V a menos que solamente,
F F V es lo mismo que, … …
F F F
Solo es verdadera si sus dos componentes son Solo es verdadera si sus dos componentes son
iguales, en otro caso será falsa. diferentes, en otro caso será falsa.
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

TABLAS DE VERDAD : Resumen teórico

p q pq pq p→q pq p∆q

V V V V V V F
V F V F F F V
F V V F V F V
F F F F V V F
Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de verdad,
si un razonamiento es válido o no, constituye un procedimiento de decisión que en un número finito
de pasos nos dice si un esquema molecular es una tautología, una contradicción o una contingencia.
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Resolución:
APLICACION 02:
Por dato: p≡V q≡F r≡F
Sea p, q y r proposiciones cuyo
valores de verdad son V, F y F, Piden: Los valores de verdad de
respectivamente. Indique el valor de
verdad en cada uno de los siguientes
I. (∼p ∧ r) → q II. (∼r ∨ q) ∆ p III. ∼q ↔ (p ∨ (∼r → q))
casos:
I. (∼p ∧ r) → q
F V V
II. (∼r ∨ q) ∆ p
III. ∼q ↔ (p ∨ (∼r → q))
F V V V V
A) VVF B) VFV
C) VFF D) FVV V F V

∴ 𝐿𝑜𝑠 𝑣𝑎𝑙𝑜𝑟𝑒𝑠 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑 𝑠𝑜𝑛 VFV.

 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Aplicación 03:
Dadas las proposiciones:
p: 79 es un número de una cifra
q: 16 es un número cuadrado
perfecto
r: 50 es un número impar
Determine el valor de verdad de:
A) V B) F C)  r
Resolución:
Nos piden: “El valor de verdad de la expresión dada”
A partir de las siguientes proposiciones:
(F )
p: 79 es un número de una cifra.
q: 16 es un número cuadrado perfecto. (V )
r : 50 es un número impar. (F )
Entonces:
D) q [(p → q)  ( r ∆ q)]  r
[( V → V )  ( F ∆ F )]  V

[ V  F ]  V

F  V
F
∴ 𝐸𝑙 𝑣𝑎𝑙𝑜𝑟 𝑑𝑒 𝑣𝑒𝑟𝑑𝑎𝑑 𝑒𝑠 F
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Resolución:
APLICACIÓN 04
Nos piden :Determinar el valor de verdad de las proposiciones p, q, r y s
Determine el valor de verdad de las
Se sabe que las proposiciones siguientes son falsas.
proposiciones p, q, r y s,
respectivamente, si se sabe que las
proposiciones siguientes son falsas. (~ r  q ) → p ≡ F ~ p  ( ~r  s ) ≡ F
( ~r  q ) → p F
~p  (~r  s ) V
V V F
A) FVFV B) FVFF V F V F
C) FVVV D) VVVF
F F

∴ El valor de verdad de las proposiciones p, q, r y s respectivamente es: F V F F

C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

FORMACIÓN DE ESQUEMAS MOLECULARES

Con frecuencia se necesita convertir un texto largo a un texto mas pequeño que indique lo mismo.
Para ello es necesario formalizar dicho texto es decir trasladar el texto a un esquema molecular.

Para formalizar un texto se siguen los siguientes pasos:

1. Se identifican las proposiciones simples
2. Se identifican los conectivos lógicos
3. Se agrupan las proposiciones haciendo uso
….de los signos de puntuación, considerando
.…la jerarquía de los signos de puntuación
CRITERIO DE LOS CONECTIVOS LÓGICOS
CRITERIO DE LOS SIGNOS DE PUNTUACIÓN
Si no hay signos de puntuación los operadores del
La jerarquía es la siguiente mismo orden se resuelven de izquierda a derecha
considerando la siguiente jerarquía
coma Punto y Punto Punto
coma seguido aparte ~    → 
Menor Mayor
Menor Mayor
jerarquía jerarquía
jerarquía jerarquía
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Resolución:
Aplicación 05:
Nos piden el número de valores verdaderos de la matriz principal de

Determine el número de valores La matriz principal

verdaderos de la matriz principal
de
p q (∼p → q) ∆ (( ∼q ∨ p )↔ ∼p)
(∼p → q) ∆ ((∼q ∨ p) ↔ ∼p) V V F V V V F V V F F
V F F V F V V V V F F
A) 4 B) 1 C) 0 D) 3 F V V V V V F F F F V
F F V F F V V V F V V

∴ 𝐸𝑙 𝑛ú𝑚𝑒𝑟𝑜 𝑑𝑒 𝑣𝑎𝑙𝑜𝑟𝑒𝑠 𝑣𝑒𝑟𝑑𝑎𝑑𝑒𝑟𝑜𝑠 𝑒𝑠 4

CLASIFICACIÓN DE LOS ESQUEMAS MOLECULARES

TAUTOLOGIA ( T ) : Ocurre cuando todos los valores de verdad de la matriz principal son verdaderos.
CONTRADICCIÓN ( ꓕ ) : Ocurre cuando todos los valores de verdad de la matriz principal son falsos.
CONTINGENCIA ( Q ) : Ocurre cuando en los valores de verdad de la matriz principal hay por lo menos
……………………………………..uno falso y por lo menos uno verdadero.
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Aplicación 06: Resolución:

Nos pide: El resultado que se obtiene en la matriz principal
Determine la matriz principal
después de confeccionar la Elaboramos la tabla de verdad
tabla de verdad de la Luego completamos primero los valores de verdad de p y q y
proposición continuamos con los conectores de acuerdo a su jerarquía y a
los signos de agrupación, es decir:
∼(p  q)↔(∼p  q) primero el , luego el , luego la negación (∼ ), y al final el ↔
A) VFFV B) VFVF
C) FVVF D)VVFF La matriz principal

p q ∼ (pq) ↔ ( ∼p ∧ q )
V V F V V F F V
V F F V V F F F
F V F V F V V V ∴ VVFF
F F V F F V F F
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

RECONOCIENDO LOS ESQUEMAS MOLECULARES :

TAUTOLOGÍA CONTRADICCIÓN CONTINGENCIA

 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Resolución:
Aplicación 07:
Nos piden: simbolizar el enunciado
Un profesor escribe las siguientes
proposiciones De los enunciados tenemos lo siguiente:
Matías no es ingeniero: ∼q
p: Edgar es profesor, No es cierto que Edgar sea profesor: ∼ p
q: Matías es ingeniero,
r: David es médico. David es médico: r
Le pidió a su alumno Miguel hallar la Uniendo las proposiciones mediante conectores tendríamos los siguiente:
expresión simbólica del enunciado:
Si Matías no es ingeniero y no es cierto que Edgar sea profesor ,
“Si Matías no es ingeniero y no es
cierto que Edgar sea profesor, ∼q ∧ ∼p
entonces David es médico”.
entonces David es médico
A) (q ∧ p) → (p v r)
B) (∼q ∧ ∼ p) → (p v r) r
C) (∼q ∧ ∼ p) → r
D) (q v p) → r ( ∼q ∧ ∼ p ) → r ∴ 𝐴𝑙𝑡𝑒𝑟𝑛𝑎𝑡𝑖𝑣𝑎 𝐶
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

LEYES DE LA LÓGICA PROPOSICIONAL

Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos
y expresarlos en forma más sencilla.

Para un mejor entendimiento veamos el siguiente ejemplo con una ley muy conocida

Ley de la condicional p → q ≡ ~p  q
p → q ≡ ~q → ~p
Las demostraciones de dichas leyes se hacen construyendo la tabla de verdad en cada caso.

Se comprueba las
equivalencias lógicas al
tener todas la misma
V V
matriz principal.
F F
V V
V V
C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

LEYES LÓGICAS NOTABLES

1. Ley Involutiva o
…..doble negación 5. Ley distributiva 8. Ley de la condicional

(p)≡ p p(qr)≡(pq)(pr) p → q ≡ ~p  q
p(qr)≡(pq)(pr) p → q ≡ ~q → ~p
2.Ley de la idempotencia
9. Ley de la bicondicional
pp≡p pp≡p 6. Ley de D´Morgan
p q≡(p→q)(q→p)
3. Ley conmutativa ~ (p  q) ≡ ~ p  ~ q p  q ≡( p  q )  (~p  ~q )
~ (p  q) ≡ ~ p  ~q
10. Ley del complemento
p  ~p ≡ F p  ~p ≡ V
7. Ley de absorción
p  (p  q) ≡ p
4. Ley asociativa p  (p  q) ≡ p 11. Ley de la identidad
p(qr)≡(pq) r p  (~ p  q) ≡ p  q pV≡p pF≡ F
p(qr)≡(pq) r p  (~ p  q) ≡ p  q pF≡ p pV≡V
 C U R S O D E R A Z . M AT E M ÁT I C O C R E E M O S E N L A E X I G E N C I A

Resolución:
Aplicación 08:
Nos piden : simplificar la expresión
Para comunicaciones secretas en
una operación militar se utiliza
el siguiente código: ((~p → q)  q )  (( p→ q) )
Propiedad condicional Propiedad condicional
( (~p → q)  q)  ( (p → q) ) p → q ≡ ~p  q (pq)  q (~pq) p → q ≡ ~p  q

Al simplificar la operación se Propiedad absorción

 (~p q)
p  (p  q) ≡ p
q Propiedad conmutativa
obtiene pq≡qp
q  (q ~p)
A) p B) q Propiedad absorción
C) p  q D) ~p p  (p  q) ≡ p
q

∴ Luego de simplificar resulta: q

www.aduni.edu.pe