MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
Enviado por JENIFFER LINETH HOROPA AMAYA • 1 de Febrero de 2022 • Tareas • 1.460 Palabras (6 Páginas) • 1.624 Visitas
UNIDAD 1 - TAREA 1 - MÉTODOS PARA PROBAR LA VALIDEZ DE ARGUMENTOS
PRESENTADO POR:
RAPHAEL ANTONIO BETANCOURT ARENAS
1.006.771.708
PRESENTADO A:
ANDREA LIZBETH NOVA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD
ESCUELA DE INGENIERIA INDUSTRIAL
CURSO: PENSAMIENTO LÓGICO Y MATEMÁTICO
CÓDIGO: 200611
08/03/2021
Introducción
En el presente trabajo se lleva a cabo el desarrollo de la Tarea No.1 del curso, proposiciones y tablas de verdad, la cual permitió comprender de una manera diferente los conceptos fundamentales de la lógica proposicional y aplicarlos para la resolución de problemas.
En la lectura de la guía del material didáctico se escogió la letra A para realizar todos los ejercicios y se dio a conocer en el foro correspondiente. Empezando con el primer ejercicio de la unidad, sobre las proposiciones y tablas de verdad, se definió las proposiciones simples del argumento seleccionado, así como su expresión en lenguaje simbólico, en su lenguaje natural lo que permitió desarrollar una tabla de la verdad con el simulador Lógica UNAD y una tabla de verdad manualmente; además se hizo un video explicando cada paso del ejercicio uno. En el ejercicio No.2 del lenguaje simbólico de expresiones que representan algunas leyes de inferencia, se nombraron en cada expresión representada simbólica uno la ley de inferencia y se definieron las proposiciones simples, al final se construyó el lenguaje natural de cada ley de inferencia expresada en lenguaje simbólico. En el ejercicio No.3 en la aplicación de las reglas de la inferencia lógica se identificó la conclusión del argumento, se nombró cada ley de inferencia que se aplica para probar el argumento y se definió la expresión del argumento en lenguaje simbólico o formal. En el ejercicio No.4. Problemas de aplicación se definieron las proposiciones simples en un contexto académico, se reemplazaron las variables expresadas simbólicamente y llevarlas al lenguaje natural lo que permitió desarrollar una tabla de la verdad con el simulador Lógica UNAD y una tabla de verdad manualmente, se demostró la validez del argumento mediante las leyes de la inferencia lógica. Por último, se elaboraron conclusiones del trabajo
Objetivos
Comprender y poder aplicar de la mejor manera los conceptos fundamentales de la lógica proposicional y poderlos aplicar en la solución de problemas debidamente contextualizados.
Actividades a desarrollar
Ejercicio 1: Proposiciones y la Tabla de verdad
Descripción del Ejercicio 1:
A continuación, encontrará las proposiciones simples para el desarrollo del ejercicio 1:
Solución:
- Proposiciones Simples
A. p: La marihuana es legal en Colombia
q: En Colombia disminuye el microtráfico
r: En Colombia disminuye el delito de hurto
- Lenguaje simbólico
p → (q ^ r)
- Escriba la proposición compuesta propuesta en lenguaje natural.
La marihuana es legal en Colombia, entonces en Colombia disminuye el microtráfico y en Colombia disminuye el delito de hurto.
- Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el resultado es una tautología, contingencia o contradicción.
p | q | r | (q ^ r) | p → (q ^ r) |
V | V | V | V | V |
V | V | F | F | F |
V | F | V | F | F |
V | F | F | F | F |
F | V | V | V | V |
F | V | F | F | V |
F | F | V | F | V |
F | F | F | F | V |
[pic 1]
- Se clasifica como una 🡪
- Generar la tabla de verdad a través del simulador Lógica UNAD.
[pic 2]
Descripción del Ejercicio 2:
A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia.
A. Expresión simbólica
p → q
p______
q
- Nombre de la ley inferencia: Silogismo hipotético (SH)
p: Raphael Betancourt estudia la Carrera de Ingeniería Industrial en la Universidad de la UNAD.
q: Raphael aprobara el curso de Pensamiento Lógico y Matemático
- Conclusión: q: Raphael aprobara el curso de pensamiento Lógico y Matemático
- Argumento: Raphael Betancourt estudia la Carrera de Ingeniería Industrial en la Universidad de la UNAD. Por lo tanto Raphael aprobara el curso de Pensamiento Lógico y Matemático.
r
s
_______
r ∧ s
- Nombre de la ley inferencia: Simplificación (S)
r: Raphael realiza el examen de Catedra Unadista
q: Raphael participa en proyectos académicos
Conclusión: r ∧ s: Raphael realiza el examen de Catedra Unadista y Raphael participa en proyectos académicos
- Argumento: Raphael realiza el examen de Catedra Unadista. Raphael participa en proyectos académicos. Por lo tanto Raphael realiza el examen de Catedra Unadista y Raphael participa en proyectos académicos.
p ∧ ¬ q
q______
p
- Nombre de la ley inferencia: Modus Tollendo Ponens (MTP) Disyuntivo
p: Raphael Betancourt estudia la Carrera de Ingeniería Industrial en la Universidad de la UNAD.
q: Aprobara el curso de Pensamiento Lógico y Matemático
- Conclusión p: Raphael Betancourt estudia la Carrera de Ingeniería Industrial en la Universidad de la UNAD.
- Argumento: Raphael Betancourt estudia la Carrera de Ingeniería Industrial en la Universidad de la UNAD y no aprobara el curso de Pensamiento Lógico y Matemático. Aprobará el curso de Pensamiento Lógico y Matemático, por lo tanto Raphael Betancourt estudia la Carrera de Ingeniería Industrial en la Universidad de la UNAD.
Descripción del Ejercicio 3:
- A continuación, encuentra el lenguaje simbólico de expresiones que representan algunas leyes de inferencia.
- Si la suma es 4+3 entonces, es igual a la suma de 6+1. Si la suma es 6+1 entonces es igual a la suma 5+2.
A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:
...