Le pas déductif d’ une démonstration est le modus ponens de la logique. Une démonstration déductive enchaîne les déductions par « recyclage » des conclusions comme le formule Duval (Duval, 1 995).
Suy luận không phải là một cuộc biểu tình là modus ponens logic. Một cuộc biểu tình kết nối suy luận suy diễn của 'tái chế' kết luận như công thức Duval (Duval, 1995).