Tarea 2: Métodos para probar validez de argumentos.

Trabajo presentado para la materia de Lógica matemática.

Código:90004

Elaborado Por:
Maribel Asprilla Buenaventura

Grupo: 329

Tutor:
Jhorman Andres Villanueva.

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Administrativas, Contables, Economicas y de Negocios (ECACEN).
Guadalajara de Buga.
2020.

Universidad Nacional Abierta y a Distancia

 Tarea 2: Métodos para probar validez de argumentos.

Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.

Para el desarrollo de este ejercicio, es necesario que el estudiante revise en el Entorno de
Conocimiento (Unidad 2), las siguientes referencias:
 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)
 Gutiérrez, J. (2016). Tutoría Unidad 2 Curso 90004. [Archivo de video]

Una vez realizada la lectura, desarrolle la actividad propuesta. Descripción del ejercicio: A
continuación, encontrará los argumentos para el desarrollo del ejercicio 2:

c) Si el pastel está hecho con azúcar, entonces el pastel está dulce.

El pastel no está dulce.
Conclusión: El pastel no está hecho con azúcar.
Ley de inferencia aplicada: Modus Tollens MT
Lenguaje simbólico: P → Q
¬Q
¬P