materia y reacctividad, Ejercicios de Química

¡Descarga materia y reacctividad y más Ejercicios en PDF de Química solo en Docsity!

Métodos para probar la validez de los argumentos Nelson David Delgado Rivera Tutora Luz Mery Rodríguez Grupo 1264 Universidad Nacional Abierta y a Distancia- UNAD Marzo- 2022 Tunja

Introducción La lógica matemática es el estudio formal y simbólico de la lógica y su aplicación a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y el razonamiento matemático. En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que el argumento es deductivamente valido. Para que un argumento sea deductivamente valido, no es necesario que las premisas o la conclusión sean verdaderas, solo se requiere que la conclusión sea una consecuencia lógica de las premisas. Para esto existen unas reglas de inferencia que es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis y devuelve una conclusión, por lo general se conserva la verdad. Esto se puede plasmar en una tabla de verdad que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar. Las tablas nos manifiestan los posibles valores de verdad de cualquier proposición compuesta, así como el análisis de la misma en función de las proposiciones que la integran en donde podemos encontrar: tautologías aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es verdadero, contradicción aquella proposición que en todos los casos posibles de su tabla de verdad su valor siempre es falso y contingencia aquella que en todos los casos posibles de su tabla de verdad sus valores pueden contener valores verdaderos y también falsos. Objetivos Objetivo general Comprender cuales son los métodos para probar la validez de los argumentos Objetivos específicos  Indagar sobre los métodos para probar la validez de los argumentos.  Analizar los ejercicios propuestos en la guía de aprendizaje.  Redactar un trabajo escrito en donde se evidencie la solución a los ejercicios propuestos en la guía de aprendizaje.

Link explicación desarrollo del ejercicio: https://youtu.be/7Cy51gtkRYk Ejercicio 2: Identificación de las reglas de la inferencia lógica A. Expresión simbólica ¬ p → ¬ q ¬ p → r ¬ p → r Proposiciones simples p: Nelson está matriculado al programa de ingeniería agroforestal q: Nelson está estudiando en la UNAD r: La UNAD abre sus matriculas para los programas que ofrece Lenguaje natural: Si Nelson no está matriculado al programa de ingeniería agroforestal entonces Nelson no está estudiando en la UNAD. Nelson no está matriculado al programa de ingeniería agroforestal entonces la UNAD abre sus matriculas para los programas que ofrece. Por lo tanto, Nelson no está matriculado al programa de ingeniería agroforestal entonces la UNAD abre sus matriculas para los programas que ofrece. Ley de inferencia de la expresión: Silogismo hipotético (SH) Expresión simbólica p q p∧ q Proposiciones simples p: Nelson está matriculado al programa de ingeniería agroforestal q: Nelson está estudiando en la UNAD Lenguaje natural: Si Nelson está matriculado al programa de ingeniería agroforestal. Nelson está estudiando en la UNAD. Por lo tanto, Nelson está matriculado al programa de ingeniería agroforestal y Nelson está estudiando en la UNAD. Ley de inferencia de la expresión: Adjunción (A)

Expresión simbólica p → q ¬ q ¬ p Proposiciones simples p: Nelson está matriculado al programa de ingeniería agroforestal q: Nelson está estudiando en la UNAD Lenguaje natural: Si Nelson está matriculado al programa de ingeniería agroforestal entonces Nelson está estudiando en la UNAD. Nelson no está estudiando en la UNAD. Por lo tanto, Nelson no está matriculado al programa de ingeniería agroforestal. Ley de inferencia de la expresión: Modus Tollendo Tollens (MTT) Ejercicio 3: Aplicación de las reglas de la inferencia lógica Si al dividir 12 entre 6 obtenemos 2, entonces la división no tiene residuo. Si la división no tiene residuo, entonces 12 es divisible por 6. a. Lenguaje simbólico: p: al dividir 12 entre 6 obtenemos 2 q: la división no tiene residuo r: 12 es divisible por 6 p → q q → r r b. Ley de inferencia aplicada: Simplificación disyuntiva (DS) c. Conclusión: 12 es divisible por 6 Ejercicio 4: Problemas de aplicación Expresión simbólica: [ (𝑞 ⟶∼ 𝑟) ∧ (𝑝 → 𝑞)] → (𝑝 ⟶ ∼ 𝑟) Premisas: P1: (𝑞 ⟶∼ 𝑟) P2: (𝑝 → 𝑞) Conclusión: (𝑝 ⟶ ∼ 𝑟)

Demostración de la validez del argumento mediante las Leyes de Inferencia: P1: (𝑞 ⟶∼ 𝑟) P2: (𝑝 → 𝑞) Conclusión: (𝑝 ⟶ ∼ 𝑟) 𝑝 → 𝑞 𝑞 ⟶∼ 𝑟 𝑝 ⟶∼ 𝑟………………… Silogismo Hipotético entre P2 y P Conclusiones Las reglas de inferenci nos ayudan a encontrar el valor de verdad de una proposición. Existen diferentes conectores para las proposiciones compuestas. El lenguaje natural nos sirve para argumentar las proposiciones compuestas. Para dar validez aun argumento nuestra tabla de verdad deber ser una tautologia. Referencias