Induction et la déduction sont des formes opposées de raisonnement. Déduction est un type de logique formelle dans laquelle vous pouvez arriver à une conclusion fondée sur la vérité de la généralisation. Par exemple, si tous les lamas sont des mammifères, et Edgar est un lama, alors vous pouvez en déduire que Edgar est un mammifère. Induction prend l'approche opposée, d'arriver à une conclusion au moyen d'une série d'observations ou de locaux spécifiques. Si Edgar a un long cou et sabots à deux doigts, a lourds, laineux fourrure, et vient de la Cordillère des Andes, vous pouvez déduire, par induction, qu'il est un lama.