¡BIENVENIDOS!

Matemática

Docente: Amelia Rosa Mendoza Rejas

[Link]@[Link]
 Sesión N°1
LÓGICA PROPOSICIONAL
Contenido general

• Definición Lógica
• Enunciados
• Proposiciones Lógicas
• Proposiciones NO lógicas
• Tabla de Verdad
• Conectivos y operaciones Lógicas
• Problemas
.
Logro de Sesión

Al término de la sesión, el estudiante

identifica, diferencia un enunciado de una
proposición lógica y Formaliza las
proposiciones lógicas a un lenguaje
simbólico, en la cual previamente
identifica los conectivos lógicos, así como
también determina el valor de verdad de un
esquema lógico por medio de la tabla de
verdad.
Saberes previos….
 El pago de utilidades
Dos empleados conversan sobre el pago de utilidades que perciben por prestar servicios
en una empresa.

El primero dice: Las El segundo dice: No es cierto

utilidades serán que, las utilidades no serán
mayores mientras más mayores mientras más alto
alto sea el sueldo y sea el sueldo salvo que no
mayor sea el tiempo de sea mayor el tiempo de
servicio que se tenga servicio que se tenga en el
en el periodo pagado. periodo pagado.

¿Ambos empleados tienen la misma opinión?

¿Cuándo se dice que una expresión es equivalente a otra?
 Recordemos
algunos conceptos

¿ Qué es un enunciado?
¿Qué es una proposición?
¿ Qué es lógica proposicional?
 LÓGICA

Lengua Española:

“Disciplina que estudia los principios formales del conocimiento humano”

La Lógica es la ciencia que estudia los mecanismos del pensamiento lógico y
su representación mediante un lenguaje, con su vocabulario, sintaxis y
semántica.

“Ciencia de
las leyes
del
pensamiento”
 Enunciado

Es toda expresión gramatical y/o matemática, oración

o frase que expresa algo
Ejemplos:

a) 8 es un número par.

b) El tigre es herbívoro.
c) La luna es un satélite del planeta Tierra.

d) x > 6

e) Miguel Grau nació en Piura.

¿Cuál de ellos es verdadero o falso? Marque su respuesta

 Es aquel enunciado que tiene la posibilidad
Enunciado de convertirse en proposición lógica, al
Abierto asignar un valor o valores a la variable o
variables que posee.

Ejemplos :
Él es un escritor peruano : es un enunciado abierto

Se observa : “ ÉL ” es la variable y si le damos nombres:

p : Nicolás Copérnico es un escritor peruano V (p) = F

q : Julio Ramón Ribeyro es un escritor peruano V(q) = V

2x + 4 y = 12 : es otro ejemplo de un enunciado abierto

Pero, ¿ si x = 8 y el valor de y = -1 es un enunciado abierto ? ( … )
 PROPOSICIÓN Es toda expresión declarativa que tiene un valor
LOGICA de verdad : o bien es Verdadero (V ) o bien es
falso ( F )

De los siguientes ejemplos ¿ Cuales de

los enunciados son proposiciones
lógicas?

Él es un muñeco de madera …….. ( )

Perú es anfitrión de III Cumbre del ASPA … ( )
Quito es la capital de Venezuela ………... ( )

Las proposiciones lógicas se representan mediante letras minúsculas del

abecedario: p , q , r , s, … , a las cuales se les denomina variables proposicionales

Ejemplo : p : el río amazonas es el río más largo del mundo V ( p) = V

SON PROPOSICIONES:
• Las fórmulas científicas ya demostradas.
• Las Leyes o hipétesis cientificas aceptadas.
• Enunciados cerrados o definidos:
 +  +  = 180º , si ,  , = ángulos de un mismo triángulo.

Las Oraciones:
• Informativas (información).
• Descriptivas (características de algún sujeto)
Explicativas ( Causa-efecto)

¡Si!
•
SON PROPOSICIONES:

✓ p: Miguel Grau murió en el combate de Abtao.

✓ q: La economía se divide en microeconomía y macroeconomía
✓ r : La Psicología es una ciencia que estudia la conducta
✓ s: Los mamíferos son vertebrados.
✓ t : 9 +5 = 10
✓ u: 32 + 42 = 52
✓ v: Si el precio del producto es mayor al precio de equilibrio, entonces
hay exceso de oferta.
 [Link]

NO SON
PROPOSICIONES:
• Las creencias, mitos o leyendas.
• Las metáforas o refranes.
• Las supersticiones.
• Los hechos de la literatura o personajes ficticios
• Enunciados abiertos o indefinidos: + + = 180°.
• Las oraciones:
- Exclamativas (admiración, sorpresa)
- Dubitativas (dudas)
- Desiderativas (deseos)
- Interrogativas (preguntas)
- Imperativas (órdenes, súplicas, prohibiciones)
• Enunciados de valoración u opinión.
 NO SON PROPOSICIONES LÓGICAS

• La Virgen de la Puerta es milagrosa.

• El rio suena cuando piedras trae.
• ¡Siéntate!
• ¿Cuándo sale el autobús? [Link]

• Debemos honrar a nuestros héroes.

• Pedro es buen alumno.
 Practicando….
Determinar si los siguientes enunciados son proposiciones lógicas e
indicar su valor de verdad
1. ¡El clima está nublado! ( NO) ( )
2. -4 es un número natural ( SI ) ( F )
3. Quizá llueva mañana ( NO ) ( )
4. 5+1<6 ( SI ) ( F )
5. A quien madruga Dios lo ayuda. ( NO ) ( )
6. Prohibido estacionar ( NO ) ( )
7. La lógica es una ciencia formal ( SI ) ( V )
8. 7x+1 > 2 ( NO ) ( )
9. Sólo sé que nada sé ( NO ) ( )
10. 7 es mayor que 8 o es un número primo ( SI ) ( V )
 Clases de Proposiciones

SIMPLE o COMPUESTA o
atómica Molecular

Es aquel que tiene un Son aquellos que tienen

solo elemento, sin dos o más proposiciones
CONECTIVOS simples unidos por
conectivo lógico LÓGICOS conectores

P : Dos es un número par

q : Perú es un país de América del Sur p Λ q : Dos es un número par y tres es impar
r : 5 es un número primo ˜ p : No es cierto que tres sea un número par
 Practicando….
Determinar si los siguientes enunciados son proposiciones lógicas e
indicar su valor de verdad
Proposición Simple o
(Si/No) compuesta

1. Lima esta en la costa Peruana ( Si ) ( S )

2. 9 es un número natural ( SI ) ( S )
3. ¡Que lindo dia! ( NO ) ( )
4. Estudias en la UNICA y trabajas en Tumisac ( SI ) ( C )
5. Las gallinas nacen de huevos pero son granívoras. ( Si ) (C )
6. Prohibido estacionar ( NO ) ( )
7. París es la capital de Francia ( SI ) ( S )
8. ¿Cómo te llamas? ( NO ) ( )
9. Si Jerry se queda, entonces Danitza se va ( Si ) (C )
10. Karol es estudiante de Economía o de negocios ( SI ) ( C )
 Conectores Lógicos
Sirven para formar proposiciones más complejas

El negador: “ ............ no ............. .” ⌐

El conjuntor: “ ............ y .............. ” ^

El disyuntor inclusivo : “ ............ o .............. ” ν
El disyuntor exclusivo: “o…….o…..”
El condicional: “Si ....... entonces .........” →
El bicondicional: “.......... si y sólo si ..........”
El inalterador: “ ni ............ ni ..............”
El Incompatibilizador: “ no ............ o no ....”
 ¿Qué es la lógica proposicional ?

Es la ciencia del razonamiento que analiza la forma de un argumento para determinar si la verdad de la
conclusión se desprende necesariamente de la verdad de las premisas sin tomar en cuenta el valor
intrínseco del contenido. Proposición simple, proposición compuesta (condicional, bicondicional) se
formaliza y se aplican leyes lógicas.

La lógica proposicional es una parte de la lógica que estudia la formación

de proposiciones complejas, a partir de proposiciones simples.
Conectivos lógicos
Son palabras que se representan por símbolos, se utilizan para negar
una proposición simple o enlazan proposiciones simples
FORMALIZACION

p: Cusco era la capital del Imperio Incaico

q: el Inti era la representación Divina del Sol

pq
Ejemplo:
 FORMALIZACION

Si Pablo no atiende en clase o no estudia en casa , fracasará en los exámenes y

no será aplaudido

p = Pablo atiende en clase

q= Pablo estudia en casa

r = Pablo fracasará en los exámenes

s = Pablo será aplaudido

( p  q ) → (r  s )
 CONJUNCIÓN ()

Está formada por dos proposiciones simples, unidas por el

conectivo “ y “, cuyo símbolo es “”.

Ejemplo: “7 es un número impar y es primo”

p q

p : 7 es un número impar P Q P  Q
q : 7 es un número primo V V V
V F F
Formalizando: F V F
pq F F F
 DISYUNCIÓN INCLUSIVA ()

Está formada por dos proposiciones simples, unidas por el

conectivo “ o “, cuyo símbolo es “”.

Ejemplo: “Viajaré a Cusco o a Cajamarca”

p q

p : Viajaré a Cusco P Q P  Q
q : Viajaré a Cajamarca V V V
V F V
Formalizando: F V V
pq F F F
 DISYUNCIÓN EXCLUSIVA ()

Está formada por dos proposiciones simples, unidas por la

expresión“ o… o… “, cuyo símbolo es “”.

Ejemplo: “o voy al cine con Teresa o voy con Rosa”

p q

p : Voy al cine con Teresa P Q P  Q

q : Voy al cine con Rosa V V F
V F V
Formalizando: F V V
pq F F F
 CONDICIONAL (→)

Está formada por dos proposiciones simples, unidas por la

expresión“ si… entonces… “, cuyo símbolo es “→”.

Ejemplo:
“si 12 es un número par entonces es divisible entre 2”
p q

p : 12 es número par P Q P→Q

q : 12 es divisible entre 2 V V V
V F F
Formalizando: F V V
p→q F F V
 BICONDICIONAL ()

Está formada por dos proposiciones simples, unidas por la

expresión“ si y sólo si“, cuyo símbolo es “”.

Ejemplo:
“Sicilia es una isla si y sólo si está rodeada de agua”
p q

p : Sicilia es una isla P Q PQ

q : Sicilia está rodeada de agua V V V
V F F
Formalizando: F V F
pq F F V
 NEGACIÓN ()
Cuando una expresión contradice a una proposición simple se
obtiene una negación, su símbolo es “”.

Ejemplo: p : El hombre es mortal P P

V F De: Su negación, es:
Negación: p : El hombre no es mortal
F V
= ≠
Cuando se niega una proposición compuesta, se niega al > ≤
operador de mayor jerarquía en dicha proposición.
≥ <
< ≥
No es cierto que Pablo fue al banco y retiró el dinero.
≤ >
p q
Formalizando: ( p  q )
 2. CONECTIVOS LÓGICOS

Son símbolos que sirven de nexos o enlaces entre las

proposiciones simples, a excepción del negador.
~
BICONDICIONAL
NEGADOR ˄ →
Δ
CONJUNCIÓN ˅ DISYUNCIÓN CONDICIONAL
DISYUNCIÓN FUERTE Expresiones
Expresiones equivalentes
equivalentes DÉBIL
Expresiones
Expresiones equivalentes
Expresiones
equivalentes
Expresiones equivalentes
•no equivalentes
•ni
•Si y solo si
•nunca • Por ello
•Es una condición
•jamás • Por lo tanto
necesaria y
•Tampoco •y • si ...entonces ...
•No es cierto que • pero •o suficiente
•O . . . o . . . • es una condición
• Sin embargo •Salvo que •Equivalente
•Es falso que suficiente para
• Tanto como •a menos que •o solamente •siempre y cuando
•Es mentira que • Es una condición
• también •o incluso •o únicamente
•Es inaceptable que necesaria para
•No es verdad que •Excepto que
• En consecuencia
 TABLAS DE VERDAD

A continuación se presenta el cuadro resumen de las tablas de verdad de

los conectores lógicos:

Obsérvese que cada conector tiene ciertas particularidades que

resaltaremos para una mejor comprensión.
 ESQUEMA MOLECULAR

Es aquella expresión que resulta ser la combinación de variables

proposicionales, conectivos lógicos y signos de colección

Ejemplos
Un esquema molecular posee un
(  p → q )  (  q  r)
correspondiente valor de verdad y este
(  r  s ) →  s  ( r  w) dependerá de los valores de verdad
dados a cada variable proposicional
   p→  (q  p)  →  p
P P q P q r

El número de posibilidades para V V V V V

V
asignar valores de verdad a las V F V V F
variables proposicionales F V V F V
F V F F
dependerá de cuántos sean estos. F F
F V V
F V F
F F V
F F F
Ejemplo: Construya una tabla de verdad para la fórmula lógica 𝑝 ∧ 𝑞 ∨ ∼ 𝑟

¿Cuántas combinaciones existe en una tabla para tres

variables?
 TABLAS DE VERDAD

➢ La ta bla d e v e r d a d p a ra u n a fórmula l ó g i c a d a d a presenta los

valores d e ve rd a d q u e corresponden a todas las posibles
combina ciones de los valores d e v e rd a d d e sus respectivas
variables lógicas. Se clasifican en:

Los valores de verdad de su matriz

Tipos de fórmula

Tautología principal son todos verdaderos.

Los valores de verdad de su matriz

Contradicción principal son todos falsos.

Consistente o Existen valores verdaderos y falsos

contingente en su matriz principal.
 TABLAS DE VERDAD

TIPOS DE ESQUEMAS MOLECUALRES

Cuando en el resultado final, todos

TAUTOLOGÍA los valores de verdad son
Verdaderos

p q ( p v q ) (~ p → q )

V V V V V
V F V V V
F V V V V
F F F V F
 TABLAS DE VERDAD

Cuando en el resultado final, todos

CONTRADICCIÓN los valores de verdad son
FALSEDADES
p q [ ( p  q ) V q]  ~q
V V V F F
V F F F V
F V F F F
F F F F V

CONTINGENCIA Cuando en el arreglo

Verdaderos y Falsos
final hay

p q ( p→ q) v (p q)
V V V V V
V F F F F
F V V V F
F F V V V
 TABLAS DE VERDAD

Ejemplo: Determinar la tabla d e verdad d e la siguiente fórmula lógica

(p → q)→ (¬p v q)
Solución
 TABLAS DE VERDAD

Ejemplo: Determinar la tabla d e verdad d e la siguiente fórmula lógica

¬(p ^ q)→ (¬p v ¬q)
Solución
APLICACIÓN TECNOLÓGICA

[Link]
verdad-logica-proposicional-algebra-booleana/
 MÉTODO DE LA TABLA DE VERDAD
Si Juan esta bien informado del acontecer nacional
entonces tendrá tema de conversación. Pero Juan no
tiene tema de conversación. Por lo tanto no está bien
informado del acontecer nacional.

FORMALIZACIÓN: [( p → q ) ᴧ ¬q ] → ¬p

[ (p → q) ˄ ¬ q] → ¬ p
V V V F F V F
V F F F V V F
F V V F F V V
F V F V V V V

Por tanto, es una tautología.

1. Formalice las siguientes proposiciones:

a) Es mentira que Santiago no irá hoy a la universidad.

b) Ni Raúl ni Rolando son Psicólogos, pero son
estudiantes.
c) Pedro y Raúl no son aficionados al cine.
d) Carlos así como Andrea son estudiantes de
cinematografía y publicidad.

2. Formalice el siguiente enunciado y realiza su tabla de verdad:

Si no me esfuerzo entonces no aprobaré el examen T1, pero

no aprobé el examen T1. Por lo tanto no me esforcé”.
 a) Es mentira que Santiago no irá hoy a la universidad.
- Definir la proposición básica: Sea P la proposición: "Santiago irá hoy a la universidad“
la proposición:
La doble negación en lógica proposicional se simplifica, es decir, ¬(¬P) es equivalente a 𝑃
.En resumen, usando lógica proposicional, la afirmación “Es mentira que Santiago no irá hoy a
la universidad” es equivalente a la proposición 𝑃P, que es “Santiago irá hoy a la universidad”.

Desarrollo
b) . Ni Raúl ni Rolando son Psicólogos, pero son estudiantes.
Sea 𝑃 la proposición: "Raúl es psicólogo“
.Sea Q la proposición: "Rolando es psicólogo".
Sea 𝑅 la proposición: "Raúl es estudiante".
Sea 𝑆 la proposición: "Rolando es estudiante".
La expresión lógica completa sería:(¬𝑃∧¬𝑄) ∧ (R∧S)
 c) . Pedro y Raúl no son aficionados al cine.
Sea 𝑃 la proposición: "Pedro es aficionado al cine".
Sea 𝑅 la proposición: "Raúl es aficionado al cine".

La expresión Lógica seria : ¬P∧¬R

d) Carlos así como Andrea son estudiantes de cinematografía y publicidad.

Sea 𝐶 la proposición: "Carlos es estudiante de cinematografía".

Sea 𝐴 la proposición: "Andrea es estudiante de cinematografía".
Sea 𝑃 la proposición: "Carlos es estudiante de publicidad".
Desarrollo Sea Q la proposición: "Andrea es estudiante de publicidad".

La expresión Lógica seria : (C ∧ P)∧(A ∧ Q)

2. Si no me esfuerzo entonces no aprobaré el examen T1, pero no aprobé el

examen T1. Por lo tanto no me esforcé”.
Sea E la proposición: "Me esfuerzo".
Sea A la proposición: "Apruebo el examen T1".

La expresión Lógica seria : (¬E→¬A) ∧ ¬A → ¬E

 1. Equivalencias Lógicas

Dos fórmulas o esquemas moleculares A y B son equivalentes si:

Los valores de verdad de sus matrices principales

son iguales

Al unirlos con una bicondicional el resultado es

una tautología.

A B A≣B
 2.1. Tabla de verdad

Ejemplo
Sea A: ( p → q )   p B:  p  q verificar Si A es equivalente a B
Solución
FORMA 1 FORMA 2

P q (p → q) v ~p ~p v q P q [(p → q) v ~p] (~p v q)

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

IGUALES Tautología
Por lo tanto, A es equivalente a B
Por lo tanto, A es equivalente a B
 1. LEYES CONMUTATIVAS 2. LEYES ASOCIATIVAS

a) pq  qp a) (pq )r p(qr)

b) p q q p b) (pq)r p(q r)
c) pqqp c) (pq)rp(qr)
3. LEYES IMPLICATIVAS o CONDICIONAL 4. LEY BICONDICIONAL

a) p → q   p  q a) p  q = ( p → q )  ( q → p )
b) p → q   ( p   q ) b) p  q = (~ p  q )  (~ q  p )
5. LEYES DISTRIBUTIVAS 6. LEY DE ABSORCION

a) p  (q  r )  (p  q)  (p  r ) a) p  ( p ʌ q)  p
b) p  (q  r)  (p  q)  (p  r ) b) p ʌ ( p  q)  p

c) p→(q r)  (p → q)  (p → r ) c) p ʌ (p  q)  p ʌ q

2.2. Leyes Lógicas d) p→ (q r)  (p→ q)  (p → r)

7. LEYES DE MORGAN
d) p  (p ʌ q)  p  q
8. LEY DE COMPLEMENTO
equivalentes a) (p q)p  q a) p V ~p=V

b) (p q)pq b) p ʌ~p=F

c) p q (pq) c) ~V=F

d) p  q(pq) d) ~F=V
9. LEY DE EXPANSION 10. LEYES DE IDENTIDAD

a) p ʌ ( q   q)  p a) p V F = p e) p V  p  V
b) p  ( q ʌ  q)  p b) p V V = V f) p ʌ  p  F
c) p ʌ ( q ʌ  q)  q ʌ  q c) p ʌ F = F

d) p  ( q   q)  q   q d) p ʌ V = p
11. LEYES DE IDEMPOTENCIA- IDEM 12. LEYES DE DOBLE NEGACIÓN

a) (p p)p a)  (  p )  p
(p p) p 13. LEY CONTRAPOSICIÓN

a) p→q= ~q→~p
 Leyes lógicas de
3. Simplificación de proposiciones equivalencia

Las leyes del álgebra de proposiciones nos permiten reemplazar una

proposición con otra más simple que lógicamente es equivalente.

Ejemplo.- Simplifique: p   (q  p)
p  ( q   p) Ley de Morgan

Ley Conmutativa

Ley Asociativa
Ley de Identidad
Ley de Identidad
 Leyes lógicas de
equivalencia

Ejemplo.- Simplifique: {[p  (q  p)]   p}  q

{[p (q  p)]   p}  q ≡ {[p  (p  q)]   p}  q Ley Conmutativa

≡ (p  p)  q Ley de Absorción

≡ Vq Ley de identidad

≡ q Ley de identidad
 5. IMPLICACION
• La implicación es una estructura en donde una proposición es
consecuencia lógica de otra. La forma de representarla es P => Q, y se
lee “P implica lógicamente a Q” o “Q es una implicación lógica de P”.

P => Q P→q
P implica a Q p= estudio mucho para mi examen
Q es una implicación de P
q= Aprobaré mi examen
la proposición p es llamada en el
antecedente, o hipótesis, y q es llamada la
consecuente, o conclusión.

P → q = Si estudio mucho para mi examen entonces lo aprobare

• La implicación es la conectiva lógica más difícil de comprender y
de asociar con una construcción del lenguaje natural.

P q (~p ˅ q) → (~q → ~p)

V V F V V V F V F

V F F F F V V F F

F V V V V V F V V

F F V V F V V V V
6. Inferencia Lógica

• Es un proceso de razonamiento lógico Forma vertical

el cual consiste en procesar un
conjunto de proposiciones llamadas P1
PREMISAS a otra proposición llamada
CONCLUSIÓN. La Inferencia es una P2
.
condicional de la forma: Premisas .
.

Forma horizontal
Pn

P1 ^ P2 ^ … ^ Pn C Conclusión C

Inferencia válida Razonamiento correcto

Inferencia no válida Razonamiento incorrecto
 LEYES DE INFERENCIA

Ahora, analicemos la validez de la siguiente inferencia:

“Si ahorro entonces progreso económicamente. Sucede

que ahorro. Luego, progreso económicamente”.
progreso
Proposiciones p: Ahorro
simples q: Progreso económicamente

Lenguaje simbólico P1: p → q

de premisas en P2: p
esquema vertical:
C: q
El argumento es válido.
LEYES DE INFERENCIA

Ahora, analicemos la validez de la siguiente inferencia:

“Si termino el ciclo avanzado de inglés entonces
viajaré a EEUU. No viajé a EEUU. Luego, no terminé
el ciclo avanzado de inglés”.
Proposiciones p: Termino el ciclo avanzado de inglés
simples q: Viajaré a EEUU

Lenguaje simbólico P1: p → q

de premisas en P2: ~ q
esquema vertical: C: ~ p

El argumento es válido.
 1. REGLA DE LA ADICIÓN 2. MODUS TOLLENDO PONENS (M.T.P.)
𝑝Δ𝑞 𝑝Δ𝑞 𝑝 ∨ 𝑞 𝑝 ∨ 𝑞
p p
¬p ¬𝑞 ¬𝑞 ¬p
∴𝑝∨𝑞 ∴𝑞∨𝑝 ∴𝑞 ∴𝑝 ∴𝑝 ∴𝑞
3. SIMPLIFICACIÓN 4. MODUS TOLLENDO TOLLENS (M.T.T.)
p∧q p∧q p→𝑞 𝑝 𝑞 p q
∴p ∴q ¬q ¬𝑝 ¬𝑞
∴ ¬𝑝 ∴ ¬𝑞 ∴ ¬p

5. MODUS PONENDO PONENS (M.P.P.) 6. SILOGISMO HIPOTETICO

7. Leyes de 𝑝→𝑞 𝑝 𝑞 𝑝 𝑞 p→𝑞 p→𝑞 p q
p 𝑝 𝑞 𝑞→𝑟 q r
𝑟→𝑝
Implicancias ∴𝑞 ∴𝑞 ∴𝑞 ∴𝑝→𝑟 ∴𝑟→𝑞 ∴𝑝 𝑟
7. MODUS PONENDO TOLLENS ( M.P.T.) 8. DILEMA CONSTRUCTIVO
p→𝑞 𝑝→𝑞 ¬p → 𝑞
𝑝Δ𝑞 𝑝Δ𝑞
𝑝 𝑞
𝑟→s 𝑟 𝑠 ¬r → 𝑠 𝑟 s
p q p∨r
p∨r 𝑝∧r ¬𝑝 ∨ ¬𝑟
∴ ¬𝑞 ∴ ¬p ∴𝑞∨𝑠 ∴𝑞∨𝑠
∴𝑞∨𝑠 ∴𝑞∧𝑠

9. DILEMA DESTRUCTIVO 10. REGLA DE LA CONJUNCI´ÓN

p→q 𝑝Δ𝑞 pΔ𝑞 p
r→𝑠 rΔ𝑠 rΔ𝑠 𝑞
¬q ∨ ¬𝑠 ¬𝑞 ∨ ¬𝑠 𝑝∨r
∴𝑝∨r ∴ ¬𝑞 ∨ ¬s ∴𝑝∧𝑞
∴ ¬𝑝 ∨ ¬𝑟
MÉTODO DE LA TABLA DE VERDAD
Demostrar que el siguiente argumento es válido:
Si Juan esta bien informado del acontecer nacional
entonces tendrá tema de conversación. Pero Juan no
tiene tema de conversación. Por lo tanto no está bien
informado del acontecer nacional.
FORMALIZACIÓN: [( p → q ) ᴧ ¬q ] → ¬p

[ (p → q) ˄ ¬ q] → ¬ p

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

Por tanto, es una tautología, y el argumento es válido.

1. ¿Cuál de las siguientes opciones representa la negación de la proposición:
"Si llueve, entonces Juan lleva sombrero"?

A) "Si no llueve, entonces Juan lleva sombrero."

B) "Juan no lleva sombrero o no llueve."
C) "Juan lleva sombrero y llueve."
D) "Juan no lleva sombrero y no llueve.
Respuesta: D
2. ¿Cuál es el valor de verdad de la proposición (p∧q)∨(¬p∧¬q) cuando p=F y q =F

A) Verdadero
B) Falso
C) Depende del contexto
D) Indeterminado

( p  q)  ( p  q)

F F V v

F V
V Respuesta:
Verdadero
3.
Determine cuáles de las alternativas son equivalente a la proposición dada. “Los
refranes y los mitos no son proposiciones lógicas”.

a) No es cierto que, los refranes y los mitos sean proposiciones

lógicas.
b) No es cierto que, los refranes o los mitos sean proposiciones
lógicas.
c) No es cierto que, los refranes son proposiciones lógicas ya que
los mitos no son proposiciones lógicas.

Respuesta: A
4. Si p = V, q = V , r = F , s = V y t = F. Hallar el valores de
verdad de la siguiente proposición (  r  q )  (p   s )

A) Verdadero
B) Falso
C) Depende del contexto
D) Indeterminado

(r  q )  (p  s)
RESOLUCIÓN

V V V F

V F Respuesta: B
F
5. . A partir de las siguiente condición, determinar la verdad o falsedad de cada una
de las variables proposicionales:
[  ( p  q )  (  q → r ) ] es VERDADERA

a) p=F ; q = V ; r= V RESOLUCIÓN
b) p=V ; q = V ; r= V
c) p=F ; q = F ; r= V
[(pq) (q→ r)] V (p) ≡ F
V (q) ≡ F
F V V V (r) ≡ V
F

F V
V
Respuesta: C
V
6. “Es imposible que no halla buenos profesionales” equivale a decir que:

a) ~~𝑝 ≡ 𝑝 “Hay buenos profesionales”

a) ~𝑝 ≡ 𝑝 “ no hay buenos profesionales”

c) ~𝑝 ≡ ~~𝑝 “ 𝑛𝑜 hay buenos profesionales”

Respuesta: A

7. “Si el Perú incrementa su actividad económica, construirán más hospitales” es equivalente a decir:

a) 𝑝 → 𝑞 ≡ ~𝑝 v 𝑞
Perú no incrementa su actividad económica o se construirán más hospitales ”

b) 𝑝 𝑉 𝑞 ≡ ~𝑝 → 𝑞
Perú no incrementa su actividad económica, se construirán más hospitales ”
C) 𝑝→ 𝑞≡𝑝→𝑞
Perú incrementa su actividad económica, se construirán más hospitales ”
Respuesta: A
8. ¿Qué tipo de proposición es p ∧ ¬p?

A) Tautología
B) Contradicción
C) Contingencia
D) Equivalencia

Respuesta: Contradicción
9. ¿Cuál de las siguientes proposiciones es equivalente a p→q?

A) ¬p ∨ q
B) P ∨ ¬q
C) ¬p ∧ ¬q
D) ¬q → ¬p
Respuesta: A

10. Formaliza la siguiente proposición en lógica proposicional:

"Si la empresa lanza un nuevo producto, entonces las ventas aumentarán.

A) p∧q
B) p∨q
C) p→q
D) ¬pV q
Explicación:
•Sea p: "La empresa lanza un nuevo producto" Respuesta: C
•Sea q: "Las ventas aumentarán"
11. Formaliza la siguiente proposición en lógica proposicional:
"El cliente comprará si el producto está en oferta o si tiene un descuento adicional."

A) p→(q∨r)
B) (p∨q)→r
C) p∧(q∨r)
D) p→q∧r

Explicación:
•Sea p: "El cliente comprará"
•Sea q: "El producto está en oferta"
•Sea r: "Tiene un descuento adicional"

Se establece que si el producto está en oferta o tiene un

descuento adicional, el cliente comprará. Esta es una
implicación que involucra una disyunción como premisa:
Respuesta: A
12.
Formaliza la siguiente proposición en lógica proposicional:
"Si la empresa reduce precios, entonces la demanda aumentará, pero si no reduce precios, la
demanda no cambiará."

A) p→q∧¬p→¬q
B) p→q∧¬p→q
C) p q
D) ¬p→q ∧ p→¬q

Explicación:
•Sea p: "La empresa reduce precios"
•Sea q: "La demanda aumentará"

Respuesta: A
13.
Formaliza la siguiente proposición en lógica proposicional:
"Si el mercado es competitivo, la empresa deberá reducir costos o mejorar su producto para mantenerse."

A) p→(q∨r)
B) p∧q→r
C) p→q∧p→r
D) p∨q→r

Explicación:
•Sea p: "El mercado es competitivo"
•Sea q :"La empresa reduce costos"
•Sea r: "La empresa mejora su producto“

La proposición establece que si el mercado es competitivo, la empresa deberá

Respuesta: A
reducir costos o mejorar su producto. Esto corresponde a una implicación con
una disyunción en la premisa:
14.
Formaliza la siguiente proposición en lógica proposicional:
"Si un país impone aranceles a las importaciones, entonces los precios de los productos aumentarán.
Si los precios aumentan, habrá una disminución en la demanda."

A) p→q∧q→r
B) p→q∨q→r
C) p→q∧p→r
D) p q∧q→r

Explicación:
•Sea p: "Un país impone aranceles a las importaciones"
•Sea q: "Los precios de los productos aumentarán"
•Sea r: "Habrá una disminución en la demanda“

La proposición tiene dos implicaciones:

la primera, que los aranceles aumentan los precios; y la segunda, que el aumento de
los precios lleva a una disminución de la demanda.

Respuesta: A
15.
Formaliza la siguiente proposición en lógica proposicional:
"Si la inflación aumenta, entonces los precios de los productos aumentarán, y si los precios aumentan,
el poder adquisitivo disminuirá."

A) p→q∧q→r
B) p→q∨q→r
C) p→q∧p→r
D) p q∧q→r

Explicación:
•Sea p: "La inflación aumenta"
•Sea q: "Los precios de los productos aumentarán"
•Sea r: "El poder adquisitivo disminuirá"
La proposición tiene dos implicaciones: la primera, que un aumento en la inflación lleva a un
aumento en los precios, y la segunda, que un aumento en los precios disminuye el poder
adquisitivo.

Respuesta: A
16.
Para que conector lógico su tabla de verdad es falsa solo cuando su antecedente
es unaproposición verdadera y su consecuente una falsa .

a. “Y”
b. “Entonces”
c. “o ”
d. “si o solo si”
Respuesta: B

17. Para que conector lógico su tabla de verdad es verdadera solo

cuando ambas proposiciones son verdaderas

a. “Y”
b. “Entonces”
c. “o ” Respuesta: A
d. “si o solo si”
18. Señala aquella proposición que sea ejemplo de una
bicondicional:

a. O Vania es mi hermana o mi prima.

b. Genero viaja a Uruguay si y únicamente si tiene dinero.
c. Rita es administradora y Mauricio también.
d. Belén viaja a América si tiene dinero y pasaporte Respuesta: b

19.
"Si el país tiene una moneda fuerte, entonces sus exportaciones serán más caras."
A) Implicación
B) Conjunción
C) Disyunción
D) Proposición negada

Respuesta: a
Explicación: La proposición presenta una relación condicional entre la fortaleza de
la moneda y el precio de las exportaciones, por lo que es una implicación.
20. La expresión
“Juan es político o tiene escrúpulos, pero no lo uno y lo otro a la vez”.
Estaría expresada en lenguaje proposicional por:
P: Juan es polìico
Q: Juan tiene escrúpulos

a.(P v Q)^ { ¬(P ^ Q)}

b.(P v Q)^ { (¬P ^ Q)}
c.(P v Q)^ { ¬(P ^ ¬Q)}
d.(P v Q)^ { (P ^ Q)}

Respuesta: b
21.
"Es cierto que las tasas de interés han subido."
A) Proposición simple
B) Proposición compuesta
C) Proposición negada
D) Implicación
Respuesta: a
Explicación: La proposición es una afirmación simple que no contiene ninguna conexión entre otras
proposiciones, por lo que es una proposición simple.
22.
"El déficit fiscal ha aumentado, pero la deuda externa ha disminuido."
A) Conjunción
B) Disyunción
C) Implicación
D) Proposición simple
Respuesta: a

Explicación: La proposición está formada por dos proposiciones que se combinan con "pero" (lo
que indica una conjunción), ya que ambas se afirman como verdaderas al mismo tiempo.
Respuesta correcta: A) Conjunción
23. ¿Es la siguiente proposición una tautología, contradicción o
contingencia?

(p∨q)→(q∨p)

A) Tautología
B) Contradicción
C) Contingencia

Respuesta: a
24. ¿Cuándo es falsa la proposición p→q?
A) Cuando p es falsa
B) Cuando q es falsa
C) Cuando p es verdadera y q es falsa
D) Nunca es falsa

Respuesta: a

25.

¿Cuáles de las siguientes enunciados son proposiciones?

I) Los perros ladran II) Francisco Pizarro fundo Lima
II) El pisco es peruano IV) Italia está en Africa.

A) VVFF
B) VVFV Respuesta: d
C) FFVV
D) VVVV
26. Hallar la tabla de verdad de : ¬(p ^ ¬q) ¬(¬q v p)

A) VVFF
B) VVFV
C) FVVF
D) VFFV

Respuesta: C
 EJERCICIOS RESUELTOS
FORMALIZACIÓN DE ARGUMENTOS

EJERCICIO 1- En los polos el frío es intenso únicamente si los planetas giran en torno al sol.
Convenciones simbólicas:

p: en los polos el frío es intenso

q: los planetas giran en torno al sol

Formalización: p → q

EJERCICIO 2- Siempre que los herbívoros corren o el frío en los polos es intenso, los planetas
giran en torno al sol.

Convenciones simbólicas: -

p: los herbívoros corren

q: el frío en los polos es intenso

r: los planetas giran en torno al sol

Formalización: p ∨ q → r

EJERCICIO 3 - Juan es francés si nació el 23 de febrero. Si es bretón, entonces es más bien bajo.
Ahora bien, nació el 23 de febrero o es bretón. Por consiguiente, es francés o es más bien bajo.

Convenciones simbólicas: -

p: Juan es francés

q: Juan nació el 23 de febrero

r: Juan es bretón

s: Juan es más bien bajo

Formalización: q → p, r → s, q ∨ r ├ p ∨ s 2

EJERCICIO 4 - Si es cierto que Aristóteles nació en Estagira y que fue tutor de Alejandro Magno
y, además, que si nació en Estagira era macedonio por su nacimiento, entonces era
efectivamente macedonio.

Convenciones simbólicas: -

p: Aristóteles nació en Estagira

q: Aristóteles fue tutor de Alejandro Magno

r: Aristóteles era macedonio por su nacimiento

Formalización: (p ∧ q) ∧ (p → r) → r
EJERCICIO 5 - Un sólo proveedor no puede afectar los precios si el mercado es libre. Si un sólo
proveedor no puede afectar los precios, es que hay un gran número de proveedores. Es así que
no hay un gran número de proveedores; luego, no es libre el mercado.

Convenciones simbólicas: -

p: un sólo proveedor puede afectar los precios

q: el mercado es libre

r: hay un gran número de proveedores

Formalización: q → ¬p, ¬p → r, ¬r ├ ¬q

EJERCICIO 6 - Si a es un número par y b es un número impar, entonces c es igual a a. Ahora

bien, c no es igual a a a menos que sea mayor que b. Pero c no es mayor que b. Además, a es
un número par. Luego, b no es un número impar.

Convenciones simbólicas: -

p: a es un número par

q: b es un número impar

r: c es igual a a

s: c es mayor que b

Formalización: p ∧ q → r, ¬r ∨ s, ¬s, p ├ ¬q

EJERCICIO 7 - Si se elevan los precios o los salarios habrá inflación. Si hay inflación, el gobierno
ha de regularla o el pueblo sufrirá. Si el pueblo sufre, los gobernantes se harán más
impopulares. Pero es así que el gobierno no regulará la inflación y que, sin embargo, los
gobernantes no se harán más impopulares. Entonces es que no subirán los salarios.

Convenciones simbólicas:

p: se elevan los precios

q: se elevan los salarios

r: habrá inflación

s: el gobierno ha de regular la inflación

t: el pueblo sufre

u: los gobernantes se harán más impopulares

Formalización: p ∨ q → r, r → s ∨ t, t → u, ¬s ∧ ¬u ├ ¬q
 EJERCICIO 8 - Si no hay subsidios del gobierno para la agricultura, hay controles sobre la
agricultura. Si hay controles sobre la agricultura, no hay depresión. Habrá depresión a no ser
que haya sobreproducción agrícola. Ahora bien, no hay sobreproducción. Por tanto, hay
subsidios del gobierno para la agricultura.

Convenciones simbólicas: -

p: hay subsidios del gobierno para la agricultura –

q: hay controles sobre la agricultura –

r: hay depresión –

s: hay sobreproducción agrícola

Formalización: ¬p → q, q → ¬r, r ∨ s, ¬s ├ p

EJERCICIO 9- Caso que ellos quieran la paz de verdad, y que nosotros seamos superiores en
armamento, obstaculizaremos la conferencia de desarme. Habrá guerra a no ser que dejemos
de obstaculizarla. Y la habrá sólo si ellos no desean verdaderamente la paz. Luego, es claro que
ellos no desean la paz de verdad.

Convenciones simbólicas: -

p: ellos quieren la paz de verdad –

q: nosotros somos superiores en armamento –

r: obstaculizamos la conferencia de desarme –

s: habrá guerra

Formalización: p ∧ q → r, s ∨ ¬r, s → ¬p ├ ¬p

EJERCICIO 10 - Los salarios no suben si no aumentan los precios. No obstante, subirán los
salarios y no los precios, a no ser que suban los salarios y simultáneamente se produzca
inflación. Luego, en cualquier caso se producirá inflación.

Convenciones simbólicas: -

p: los salarios suben –

q: aumentan los precios –

r: se produce inflación

Formalización: ¬q → ¬p, (p ∧ ¬q) ∨ (p ∧ r) ├ r

EJERCICIO 11 - Si el tiempo está agradable y el cielo despejado, saldremos a navegar y nos
daremos un baño. No es verdad que el cielo no esté despejado a menos que nos bañemos.
Luego el tiempo no está agradable.

Convenciones simbólicas: -

p: el tiempo está agradable –

q: el cielo está despejado –

r: saldremos a navegar –

s: nos daremos un baño

Formalización: p ∧ q → r ∧ s, ¬(¬q ∨ s) ├ ¬p

EJERCICIO 12 - El ladrón debió entrar por la puerta, a menos que el robo se perpetrara desde
dentro y uno de los sirvientes estuviera implicado en él. Pero sólo podía entrar por la puerta si
alguien le descorría el cerrojo. Si alguien lo hizo, es que uno de los sirvientes estaba implicado
en el robo. Luego, seguro que algún sirviente ha estado implicado.

Convenciones simbólicas: -

p: el ladrón debió entrar por la puerta –

q: el robo se perpetró desde dentro –

r: uno de los sirvientes estuvo implicado en el robo –

s: alguien descorrió el cerrojo

Formalización: p ∨ (q ∧ r), p → s, s → r ├ r

EJERCICIO 13 - La física cuántica describe la naturaleza a base de observables clásicos o a base

de estados abstractos. Si la describe mediante los primeros, entonces nos permite representar
las cosas intuitivamente, pero nos exige renunciar a la causalidad. En cambio, si la describe
mediante los segundos, nos impide la representación intuitiva, pero nos permite conservar la
causalidad. La física cuántica nos permitirá representar las cosas intuitivamente, a no ser que
nos exija renunciar a la causalidad. Por tanto, no es cierto que nos permita representar las
cosas intuitivamente sólo si no renuncia a la causalidad.

Convenciones simbólicas: -

p: la física cuántica describe la naturaleza a base de observables clásicos –

q: la física cuántica describe la naturaleza a base de estados abstractos –

r: la física cuántica nos permite representar las cosas intuitivamente –

s: la física cuántica nos permite conservar la causalidad

Formalización: p ∨ q, p → r ∧ ¬s, q → ¬r ∧ s, r ∨ ¬s ├ ¬(r → ¬¬s)

 EJERCICIO 14 - Perderé mi apuesta a no ser que la palabra “pentágono” signifique
“transparente”. Sucede que las figuras geométricas denominadas “triángulos” tienen
exactamente tres ángulos. Si los triángulos tienen tres ángulos, resulta que alguna relación
habrá entre las características de las figuras geométricas y los nombres que se les asignan. Y
esto es así sólo si la palabra “pentágono” no significa “transparente”. Luego, puedo dar mi
apuesta por perdida.

Convenciones simbólicas: -

p: perderé mi apuesta

q: la palabra “pentágono” significa “transparente”

r: las figuras geométricas denominadas “triángulos” tienen tres ángulos

s: hay alguna relación entre las características de las figuras geométricas y los nombres que se
les asignan

Formalización: p ∨ q, r, r → s, s → ¬q ├ p