Éduction

Operation de la logique formelle qui tire d'une proposition d'autres propositions equivalentes, par conversion, obversion ou contraposition. Elle opere sur une proposition unique, a la difference du syllogisme.