Déduction, implication