Métodos para Probar Validez de Argumentos: Demostración y Ejercicios, High school final essays of Earth science

Download Métodos para Probar Validez de Argumentos: Demostración y Ejercicios and more High school final essays Earth science in PDF only on Docsity!

Métodos para Probar Validez de Argumentos Omar Orlando López Suarez. Cedula de Ciudadanía. # 4043727 Puerto Leguizamo – Putumayo. Octubre de 2020. Universidad Nacional Abierta y a Distancia. Pensamiento Lógico y Matemático Tutor: José Yesid Aguirre

Introduccion. En el presente trabajo se busca demostrar el avance academico que se ha tenido con respecto al tema metodos para probar valiz de argumentos, esto se logra gracias a la consulta de diferentes textos en los que se encuentra la explicacion del tema en mencion, asi mismo la consulta de videos que nos provee la universidad sobre dicho tema. De acuerdo a los consultado y lo captado se evidencia que existen dos tipos de proposiciones anatomica o simples y moleculares o compuestas, asi mismo exsiste una simbologia matematica que nos permite reducidir las palabras pero tiene en mismo significado. Para probar la validez de un argumento exsisten las tablas de verdad y las reglas de inferencia. Objetivos.  Como objetivo principal nos hemos trazado lograr entender el tema y poder desarrollar los ejercicios propuestos.  Realizar tablas de verdad manuales para probar la validez de argumentos.  Realizar tablas de verdad en el simulador truth para probar la validez de argumentos.  Probar la validez de argumentos mediante la reglas de inferencia.  Para el desarrollo del presente trabajo seleccione los ejerciccios C de la guia de actividades tareaa 1. 1). p: Los estudiantes de la UNAD entregan sus actividades a través de la plataforma q: Algunos estudiantes de la UNAD estudian Administración Financiera r: Los estudiantes hacen uso del correo personal para entregar las actividades

(~ 𝑝 ↔ 𝑞 ) → (~ 𝑞 ∨ 𝑟 )

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems: ➢ Escriba la proposición compuesta propuesta en lenguaje natural. ➢ 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. Desarrollo. Los estudiantes de la UNAD no entregan sus actividades a través de la plataforma si y solo si, algunos estudiantes de la UNAD estudian administración financiera. Entonces, algunos estudiantes de la UNAD no estudian administración financiera o los estudiantes hacen uso del correo personal para entregar sus actividades. p q r -p -q (^) ~ 𝑝 ↔ 𝑞 ~ 𝑞 ∨ 𝑟

(~ 𝑝 ↔ 𝑞 ) → (~ 𝑞 ∨

𝑟 )

V V V F F F V V

V V F F F F F V

V F V F V V V V

V F F F V V V V

F V V V F V V V

F V F V F V F F

F F V V V F F V

F F F V V F F V

Como resultado podríamos decir que su argumento es una contingencia. Enlace YouTube: https://www.youtube.com/watch?v=BeIY1cJPihM&feature=youtu.be. 2). 1. Expresión simbólica. a → b a____ b  Ley de la Indiferencia. Modus ponens (MP)  Proposiciones simples. a: a Omar le gusta la contabilidad. b: Omar será contador Público.  Lenguaje Natural. Si a Omar le gusta la contabilidad entonces Omar será Contador Público, a Omar le gusta la contabilidad por lo tanto Omar será contador Público.

2. Expresión simbólica. r → s -r____ -s

 Ley de la Indiferencia. Modus tollens (MT)  Proposiciones simples. r: a Omar le gusta la contabilidad. s: Omar será contador Público.  Lenguaje Natural. Si a Omar le gusta la contabilidad entonces Omar será Contador Público, a Omar no le gusta la contabilidad por lo tanto Omar no será contador Público. 3). Expresión simbólica. p ∧ q

---

p  Ley de la Indiferencia. Simplificación (SIM)  Proposiciones simples. p: a Omar le gusta la contabilidad. q: Omar será contador Público.

 Lenguaje Natural. A Omar le gusta la contabilidad y Omar será Contador Público, a Omar le gusta la contabilidad. 4). Expresión simbólica: {(𝒑 ∧ ¬𝑞) ∧ (𝒓 → 𝑞) ∧ (𝒓 ∨ ¬𝑞)} → (𝒑 ∧ ¬𝒓) Premisas: P1: 𝒑 ∧ ¬𝑞 P2: 𝒓 → 𝑞 P3: 𝒓 ∨ ¬𝑞 Conclusión: 𝒑 ∧ ¬𝒓 DESARROLLO.  Proposiciones Simples. p: En la UNAD se estudia a distancia. q: Omar estudia en la UNAD. r: A Omar le gusta la contabilidad.  Lenguaje Natural.

En la UNAD se estudia a distancia y Omar no estudia en la UNAD. Si a Omar le gusta la contabilidad entonces Omar estudia en la UNAD. A Omar le gusta la contabilidad o Omar no estudia en la UNAD. En la UNAD se estudia a distancia y a Omar no le gusta la contabilidad.  Tabla de verdad manual. p q r

¬

q

¬

r

𝒑 ∧

¬ 𝑞

𝒓 →

𝑞

𝒓 ∨

¬ 𝑞

𝒑 ∧

¬r

( 𝒑 ∧ ¬ 𝑞 )

∧ ( 𝒓 → 𝑞 )

{( 𝒑 ∧ ¬ 𝑞 ) ∧

( 𝒓 → 𝑞 ) ∧

( 𝒓 ∨ ¬ 𝑞 )}

{( 𝒑 ∧ ¬ 𝑞 ) ∧

( 𝒓 → 𝑞 ) ∧

( 𝒓 ∨ ¬ 𝑞 )} →

( 𝒑 ∧ ¬ 𝒓 )

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

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

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

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

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

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

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

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

 Tabla de verdad Simulador UNAD.

 Demostración de la validez del argumento mediante las Leyes de Inferencia. P1: 𝒑 ∧ ¬𝑞 P2: 𝒓 → 𝑞 P3: 𝒓 ∨ ¬𝑞 P4: Modus Tollendo Ponens entre P1 y P P5: Modus Tollendo Tolles P

Conclusiones  El presente tema o tarea es fundamental para el estudiante de primer semestre, ya que siembra bases firmes en cuanto a la matemática para la continuación de la carrera.  La metodología de estudio para el presente tema esta adecuada para que el estudiante logre su aprendizaje.  Es fundamental al momento de aprender que el estudiante lea los textos y así mismo vea los videos recomendados por la universidad para lograr un aprendizaje optimo.  Al realizar las tablas de verdad podemos identificar la validez de un argumento.  Dominar la simbología matemática es de vital importancia para lograr el desarrollo de los ejercicios impuestos. Bibliografías. https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192?page=12. https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562?page=59. https://elibronet.bibliotecavirtual.unad.edu.co/es/ereader/unad/39454?page=30. https://repository.unad.edu.co/handle/10596/