1

Tarea 2 - Métodos para probar la validez de argumentos.

Presentado a:

Isaac Esteban Camargo

Tutor

Entregado por:

Francisco Javier Guzmán Herrera

Número de identificación: 1010139955

Grupo: 90004_68

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ECBTI

2 de febrero de 2020

Barranquilla
 2
Ejercicio 2: Aplicación de las reglas de la inferencia Lógica.
c. Si el pastel está hecho con azúcar, entonces el pastel está dulce. El pastel no está dulce.

Desarrollo del ejercicio

p = el pastel está hecho con azúcar
q = el pastel está dulce

Conclusión: El pastel no tiene azúcar

Ley de inferencia aplicada: Modus tollendo tollens

Lenguaje simbólico:
𝑝→𝑞
~𝑞
~𝑝
 3
Bibliografía

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)