Tarea-2-Métodos para probar la validez de argumentos

Tutora:

Emilse Yamile Becerra Guecha

Estudiante:
Elkin Antonio Martínez

Universidad Nacional Abierta y a Distancia UNAD

Tecnología Producción Agrícola
Escuelas agrícolas, pecuarias y del medio ambiente
Catedra unadista
 Introducción

Para desarrollar este trabajo, sobre las preposiciones, tablas de verdad métodos de
demostración, razonamientos lógicos interferencia y argumentos lógicos; con el uso de los
recursos educativos para desarrollar comprender este tema por cada estudiante, para
afianzar nuestros conocimientos del pensamiento lógico para la solución de problemas en
nuestro entorno.
 Objetivos

Desarrollar, interpretar, aplicando los conceptos de proposiciones simples, tablas de verdad,

métodos de demostración, razonamientos lógicos, inferencia y argumentos lógicos

 Utilizar estrategias basadas en problemas para probar validez de argumentos

 Socializar en el foro el desarrollo de las actividades
 Solución a problemas de razonamientos lógicos
 Identificar las expresiones simbólicas, premisas y conclusión de argumentos
 Solución de problemas mediante el uso de la lógica, con argumentos
 Generar tablas de verdad a partir del lenguaje simbólico, utilizando el simulador
truth
 Generar tablas de verdad utilizando tabas de Excel
Ejercicio 1
Mapa conceptual.

Ejercicio 2
a)Si trabajo entonces tendré dinero. No tengo dinero.
Conclusión: no trabajo
Ley de inferencia aplicada: Ley de inferencia MODUS TOLLENDO TELLENS (TT) (que
significa negando niego)
Lenguaje simbólico:
P “Trabajo”
q “tendré dinero”
p⇒q
¬q⇒¬p

Ejercicio 3
a) Hace un tiempo, Juan, Miguel y Alejandro que son amigos, le prestaron dinero a José, él
no les pagó; ahora nuevamente José le pide a Miguel que le haga un préstamo,
inmediatamente Miguel asume que no le va a pagar ese dinero.
Respuesta:
Si hace un tiempo, juan, miguel y Alejandro que son amigos, y le prestaron dinero a José,
entonces él no les pago; y ahora nuevamente José le pide a miguel que le haga un préstamo,
entonces inmediatamente miguel asume que no le va a pagar ese dinero.
Ejercicio 4
a)Expresión simbólica: [(𝑟 → ¬𝑞) ∧ (𝑝 ∨ 𝑠) ∧ (𝑞 ∧ 𝑝)] → ¬𝑟
Premisas:
P1:𝑟 → ¬𝑞
P2:𝑝 ∨ 𝑠
P3: 𝑞 ∧ 𝑝
Conclusión: ¬𝑟
Definir las proposiciones simples:
p: ir en motocicleta
q: aumentar la velocidad caminando
r: llegar temprano a la Universidad
s: pierdo el examen
Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural
Premisas:
P1: r→¬q: Llegar temprano a la Universidad entonces no aumentar la velocidad caminando

P2: p∨s: Voy en motocicleta o pierdo el examen

P3: q∧p: Aumento la velocidad caminando y voy en motocicleta

Conclusión: ¬r
Generar Tabla de la Verdad.

[(r→¬q)∧(p∨ s)∧(q∧ p)]→¬r

El argumento es Tautología.
 Conclusión

Reforzamos los conocimientos adquiridos en la anterior unidad al dar uso de las formas
básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para
demostrar la validez o no validez de las situaciones problémicas propuestas.