Conclusion logique « du général au particulier ». C’est un passage des prémisses à une conclusion, basée sur une loi logique, en vertu de laquelle la conclusion découle nécessairement des prémisses admises. Une caractéristique de la déduction est qu’elle ne conduit toujours qu’à une conclusion vraie à partir de prémisses vraies.