INTRODUCCION

Uno de los aspectos más relevantes de la lógica formal consiste en la fundamentación de

un sistema de validaciones para los argumentos que permiten fomentar la
conceptualización a partir de premisas descritas con anterioridad y aceptadas como
ciertas.
En este trabajo se presentan los aspectos teóricos de las demostraciones mediante algunas
reglas de inferencia, así como ejemplos varios de la aplicación de las mismas en la
demostración por argumentación lógica.
Esperamos que el lector disfrute de las temáticas y se permita con esto aclarar la parte
conceptual y el desarrollo de demostraciones mediante la aplicación de las reglas de
inferencia lógica.

OBJETIVOS

General:
Describir el uso de las reglas de inferencia en la argumentación lógica

Específicos:
1. Reconocer el uso de las reglas de adjunción, modus ponendo ponens y
exportación.

2. Desarrollar la prueba de algunas situaciones usando las reglas de inferencia

TAREA 1
Link diapositivas en prezzi:
https://prezi.com/view/SMs6d14sqaJIo7xxiela/

TAREA 2
Luna se encuentra estudiando el material del curso de física general, especialmente el
tema movimiento en una dimensión, entonces se reflexiona un poco para entender el
concepto de desplazamiento, por lo que Luna hace el siguiente razonamiento: “Si camino
7 metros hacia adelante, entonces me desplazo. Pero no es cierto que (si camino 7 metros
hacia adelante y camino 7 metros en sentido contrario, entonces me desplazo). No camino
7 metros hacia adelante. Por lo tanto, camino 7 metros en sentido contrario”.
Sean
p: camino 7 metros hacia adelante
q: camino 7 metros en sentido contrario
r: me desplazo
Premisas:
𝑝→𝑟
~((𝑝 ∧ 𝑞) → 𝑟)
~𝑝
Conclusión: 𝑞

𝑝 𝑞 𝑟 ~𝑝 𝑝→𝑟 𝑝∧𝑞 ~((𝑝 ∧ 𝑞) Premisas * sii

→ 𝑟) (*) conclusión

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

SIMULADOR:
TAREA 3

Después de mucho analizar el caso, el investigador German hace da la siguiente

argumentación: “Si Martha estaba en la tienda a la hora de la novela y Joaquín salió a
buscar a Martha justo cuando se termina la novela, pero Javier afirma que vio a Joaquín
salir de su casa un minuto después de Martha y la tendera Carla afirma que Martha nunca
fue esa noche a la tienda, entonces es probable que los sospechosos estén mintiendo.

Este razonamiento es deductivo puesto que parte de unas hipótesis como hechos
previamente comprobados y se van adhiriendo unos a otros de forma lógica para generar
una conclusión sin que necesariamente estos hechos sean repetitivos ni observables con
un patrón frecuente.