Deducción

La deducción es un tipo de razonamiento por medio del cual la conclusión es inferida necesariamente por los axiomas y las premisas.

Ejemplos:

- Esta mañana, cuando me levanté no estabas en casa, así que por deducción, supongo que pasaste toda la noche afuera. 

- Todos los novios de Kelsey tienen ojos marrón claro.

Ryland es novio de Kelsey.

Ryland tiene los ojos marrón claro. 

- Todos los perros son animales mamíferos.
Floffy es un perro.
Floffy es un animal mamífero.