Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos. El primer ejercicio cubre proposiciones y tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales.
0 calificaciones0% encontró este documento útil (0 votos)
113 vistas13 páginas
Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos. El primer ejercicio cubre proposiciones y tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales.
Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos. El primer ejercicio cubre proposiciones y tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales.
Este documento presenta cuatro ejercicios sobre métodos para probar la validez de argumentos. El primer ejercicio cubre proposiciones y tablas de verdad. El segundo identifica reglas de inferencia lógica. El tercero aplica estas reglas. El cuarto presenta problemas adicionales.
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 13
Métodos para probar la validez de argumentos
Nombre Estudiante: José Luis Soto Grupo: 200611_152
Presentado a: Sandra Johana Domínguez
Universidad Nacional Abierta y a Distancia UNAD
Escuela de Ciencias Básicas Tecnología e Ingeniería Electrónica Bogotá 08-09-2020 Tabla de contenido
1. Introducción.
2. Ejercicio 1: Proposiciones y tablas de verdad.
3. Link video explicativo del ejercicio 1.
4. Ejercicio 2: Identificación de las reglas de la inferencia lógica.
5. Ejercicio 3: Aplicación de las reglas de la inferencia lógica.
6. Ejercicio 4: Problemas de aplicación.
7. Conclusiones.
8. Referencias bibliográficas
. INTRODUCCIÓN
Por medio del curso de la unidad 1 Métodos para probar la validez de
argumentos esta se realizará aprendiendo y aplicando las tablas de la verdad y con el buen uso de las proposiciones simples y compuestas, adicional también se estudiará y se comprenderán las leyes o reglas de la inferencia para la solución de problemas propuestos. Ejercicio 1:
Proposiciones y tablas de verdad Para el desarrollo de este ejercicio, es
necesario que revise en el Entorno de Aprendizaje (Unidad 1 - Contenidos y referentes bibliográficos), la siguiente referencia: • Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid, España: Editorial Tébar Flores. Una vez realizada la lectura, desarrolle el ejercicio propuesto. 3
Descripción del ejercicio:
B.
p: Diego es deportista de alto rendimiento
q: Diego debe entrenar todos los días r: Diego llena una vez por semana su tabla de rendimiento físico
Lenguaje Simbólico:
(𝑝 → 𝑞) ∨ (~𝑟)
Lenguaje Natural:
Si Diego es deportista de alto rendimiento entonces Diego debe entrenar todos
los días o Diego no llena una vez por semana su tabla de rendimiento físico. Tabla de la verdad Manual.
p q r ¬r (p → q) (p → q) v (¬ r) V V V F V V V V F V V V V F V F F F V F F V F V F V V F V V F V F V V V F F V F V V F F F V V V
Esta se clasifica como contingencia ya que contiene un resultado falso.
Ejercicio 2: Identificación de las reglas de la inferencia lógica
Para el desarrollo de este ejercicio, es necesario que revise en el Entorno de
Aprendizaje (Unidad 1 - Contenidos y referentes bibliográficos), las siguientes referencias: • Villalpando, B. J. F. (2014). Matemáticas discretas: aplicaciones y ejercicios. (pp. 19-39). México, D.F, Larousse - Grupo Editorial Patria. • Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49).
Descripción del ejercicio:
B. Nombrar la ley de inferencia que representa cada expresión simbólica Expresión simbólica
s. Se gradúa como profesional t. Gana mucho dinero.
p. Voy a la universidad a clase de Ingles.
q. Voy a la universidad a entrenamiento deportivo. ¬q. No voy a la universidad a entrenamiento deportivo.
Construir el lenguaje natural de cada ley de Inferencia expresada en
lenguaje simbólico.
Silogismo Hipotético (SH)
Si Juan estudia mucho en clases, entonces se graduará como profesional.
Si se gradúa como profesional ganará mucho dinero. Por tanto, si Juan estudia mucho en clases, entonces ganará mucho dinero.
Tollendo Ponens (TP)
Voy a la universidad a clase de Ingles o Voy a la universidad a entrenamiento
deportivo. No voy a la universidad a entrenamiento deportivo. Por tanto, Voy a la universidad a clase de Ingles. Adjunción (A) p. Voy a la universidad a clase de Ingles. q. Voy a la universidad a entrenamiento deportivo. Voy a la universidad a clase de Ingles y voy a la universidad a entrenamiento deportivo.
Ejercicio 3: Aplicación de las reglas de la inferencia lógica
A continuación, encontrará los argumentos para el desarrollo del ejercicio 3:
Descripción del ejercicio:
B. Si como saludable entonces disminuyo el riesgo de padecer enfermedades cardiovasculares. Si disminuyo el riesgo de padecer enfermedades cardiovasculares entonces tendré una larga vida.
p. Como saludable. q. Disminuyo el riesgo de padecer enfermedades cardiovasculares. r. Tendré una larga vida.
a. Conclusión: Si como saludable entonces tendré una larga vida. SH (p → r)
b. Ley de inferencia aplicada: Silogismo Hipotético.
c. Lenguaje simbólico: p→q
q→r
p→r Ejercicio 4: Problemas de aplicación
Descripción del ejercicio:
A continuación, encontrará la expresión simbólica, las premisas y la conclusión de un argumento para el desarrollo del ejercicio 4:
q. Juan se graduará como profesional r. Juan ganara mucho dinero.
Lenguaje Natural
Si Juan estudia mucho en clases entonces Juan se graduará como profesional.
Juan estudia mucho en clases o Juan ganara mucho dinero. Juan no ganará mucho dinero y Juan no se graduará como profesional. Por lo tanto, Juan se graduará como profesional Tabla de la verdad Manual. (¬ r Ʌ ¬ (p → q) Ʌ [(p → q) Ʌ (pVr) Ʌ (¬ r Ʌ ¬ [(p → q) Ʌ (pVr) Ʌ (¬ r Ʌ ¬ p q r ¬r ¬q (p → q) (pVr) q) (pVr) q)] q)]→ q V V V F F V V F V F V
V V F V F V V F V F V
V F V F V F V F F F V
V F F V V F V V F F V
F V V F F V V F F F V
F V F V F V F F F F V
F F V F V V V F V F V
F F F V V V F V F F V
Tabla de la verdad Simulada.
Demostración de la validez del argumento mediante las Leyes de Inferencia:
P5: p Tollendo Ponens (P2 y P4) P6: q Ponendo Ponens (P1 y P5)
Conclusión: q CONCLUSIONES
Con el desarrollo de esta actividad se puede adquiere el conocimiento de las
tablas de la verdad y aplicación de las leyes de inferencia.
También se adquiere el conocimiento de comprender que es una proposición
simple y una compuesta, saberla diferencia y aprender a realizar planteamientos de esta forma para poder dar solución a ejercicios planteados. BIBLIOGRAFIA
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas
y computación. (pp. 9 - 31). Ediciones Elizcom, Madrid. Recuperado de: https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/71192? page=12
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y
teoría de grafos. Córdoba, AR: El Cid Editor. (pp. 40-49). Recuperado de: https://elibro-net.bibliotecavirtual.unad.edu.co/es/ereader/unad/36562? page=59
Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y
