LOGICA MATEMATICA Y DIGITAL

SEMANA 4

Juan Ignacio Peña Martinez

11 de Septiembre 2023
Técnico en automatización y control
DESARROLLO
1. Dados los siguientes argumentos, identifica premisas y conclusión, luego simboliza en el
lenguaje de la Lógica Proposicional, según ejemplo mostrado.
Argumento
1 Si el cajero activa la alarma,
entonces la policía hubiera
llegado a tiempo. Si la policía
llega a tiempo, el ladrón no
hubiera podido huir. El
ladrón pudo huir. Por tanto,
el cajero no activó la alarma
2 Si ahorro entonces puedo
viajar a Europa. Si viajo a
Europa entonces conoceré
Venecia. Si conozco Venecia
entonces pasearé en
góndola por sus canales.
Luego, si ahorro entonces
pasearé en góndola por los
canales de Venecia
3 O bien María aprueba el
examen de lógica o entrega
su proyecto de Física, o bien
está muy ocupada el fin de
semana. Si María está muy
ocupada el fin de semana
entonces obtiene altas
calificaciones. No es cierto
que o María obtiene altas
calificaciones o entrega su
proyecto de Física. Por tanto,
María aprueba su examen de
Lógica.
Premisas y conclusión Representación simbólica
Premisa 1: Si el cajero activa la p⊃q
alarma, entonces la policía q⊃¬r
hubiera llegado a tiempo. r___
Premisa 2: Si la policía llega a ¬p
tiempo, el ladrón no hubiera
podido huir.
Premisa 3: El ladrón pudo huir.
Conclusión: El cajero no activó la
alarma
Premisa 1: Si ahorro entonces p⊃q
puedo viajar a Europa. q⊃r
Premisa 2: Si viajo a Europa r⊃s
entonces conoceré Venecia. _____
Premisa 3: Si conozco Venecia p⊃s
entonces pasearé en góndola por
sus canales.
Conclusión: Luego, si ahorro
entonces pasearé en góndola por
los canales de Venecia
Premisa 1: O bien María aprueba V (p V q)
el examen de lógica o entrega su Vr
proyecto de Física r⊃s
Premisa 2: o bien está muy ¬sVq
ocupada el fin de semana ________
Premisa 3: Si María está muy p
ocupada el fin de semana
entonces obtiene altas
calificaciones.
Premisa 4: No es cierto que o
María obtiene altas calificaciones
o entrega su proyecto de Física.
Conclusión: Por tanto, María
aprueba su examen de Lógica.
2. Dados los siguientes argumentos, construye una demostración de validez mediante el método
demostrativo, con el uso de las reglas de inferencia.

¬p ⊃ ¬ (q V ¬r)

r⊃ (s • t)

┐P ________

s•t

- Regla de inferencia de modus tollens a la premisa ¬p ⊃ ¬ (q V ¬r) y a la premisa ¬ p para llegar a

¬(q V ¬r):

¬p ⊃ ¬ (q V ¬r)

¬p

¬ (q V ¬r)

- Regla de inferencia simplificada a ¬ (q V ¬r) para llegar a ¬q y ¬r:

¬ (q V ¬r)
¬q
¬r

- Regla de inferencia de modus ponens a la premisa r ⊃ (s • t) y la premisa ¬r para obtener ¬(s • t):

r⊃ (s • t)

¬r

¬r(s • t)

- Regla de inferencia de doble negación a ¬(s • t) para obtener ┐(┐s V ┐t):

¬(s • t)

┐(┐s V ┐t)

- Regla de inferencia de De Morgan a ┐(┐s V ┐t) para obtener s • t:

┐(┐s V ┐t)

s•t

Como conclusión s • t es lo que se quería demostrar. Así se ha logrado mediante los utilizando el método
demostrativo y las reglas de inferencia.
3. Partiendo de la regla de inferencia indicada, construye un argumento, indicando premisas y conclusión,
aplicado a la investigación sobre las nuevas presentaciones (tamaño y material del envase) de un
producto lácteo libre de sello, que lleva años como líder en este rubro, según ejemplo mostrado
Regla de inferencia
a) Modus Ponendo Ponens
(MPP)
b) Dilema Constructivo (DC)
c) Condicional Contra recíproca
(CC)
Simbología Argumento (premisas y conclusión)
p⊃q p: hoy voy a la fiesta q = mañana me como un yogurt
p_____ Premisa 1: Si hoy voy a la fiesta entonces mañana
q me como un yogurt.
Premisa 2: Voy a la fiesta.
Conclusión: Mañana me como un yogurt.
Razonamiento: “Si hoy voy a la fiesta entonces
mañana me como un yogurt. Voy a la fiesta. Por
tanto, me como un yogurt mañana.”
A⊃B p: Si fabricamos un envase de cartón
C⊃D q: Será biodegradable
AVC r: Si fabricamos uno de plástico
BVD s: Estaremos contaminando
Premisa 1: Fabricamos un envase de cartón que será
biodegradable
Premisa 2: Fabricamos un envase de plástico y
estaremos contaminando
Premisa 3: O fabricamos de cartón o fabricamos de
plástico
Conclusión: Sera biodegradable o estaremos
contaminando
Razonamiento: Si fabricamos un envase de cartón
entonces será biodegradable. Si fabricamos uno de
plástico entonces estaremos contaminando.
Fabricamos de cartón o fabricamos de plástico.
Luego o será biodegradable o estaremos
contaminando
p⊃
p: Si fabricamos de cartón q: será biodegradable
Si fabricamos de cartón entonces será
biodegradable. Si no fabricamos de cartón entonces
q no son biodegradables.
¬p
⊃
 ¬q
p⊃
q
¬p
⊃
¬q
p⊃q
______
¬q ⊃ ¬p

REFERENCIAS BIBLIOGRÁFICAS

IACC. (2021). Lógica matemática y digital en la modalidad online. Reglas de inferencia. Semana 4