Unidad 3 – Paso 3: Uso de las reglas de inferencia

Presentado por:
Grupo:

Presentado a:
Óscar Jhonny Gómez Suárez
Tutor

Universidad Nacional Abierta y a Distancia – UNAD

Pensamiento Lógico Matemático
Administración en Salud
Medellín, noviembre 2017
Objetivos
Introducción
 Demostración Lógica

Demostración por contraposición

Las demostraciones por contraposición están basadas en que para demostrar p →
q basta demostrar ¬q → ¬p (equivalencia lógica)
En realidad, lo que se hace es construir una demostración directa del contra
positivo de p → q
Ejemplos