En logique mathématique, la déduction relie des propositions dites prémisses à une proposition dite conclusion.
Autrement dit, la déduction est une opération par laquelle on établit au moyen de prémisses une conclusion qui en est la conséquence.
Un syllogisme est un raisonnement logique mettant en relations au moins trois propositions : deux ou plus d’entre elles, appelées « prémisses », conduisent à une « conclusion ». Ce mot a été inventé par Aristote.
Exemple de syllogisme :
Prémisses :
- Tous les hommes sont mortels.
- Or tous les Athéniens sont des hommes.
Déduction :
- Donc tous les Athéniens sont mortels.
Ou alors (en excluant les manchots et autres !) :
- Les oiseaux peuvent voler
- Tna est un oiseau
- Tna peut donc voler
Il y’a plusieurs siècles, Aristote (384 av. J.-C) a été le premier à écrire et a formalisé les règles de la logique, dans ses ouvrages L’Organon