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 diễn dịch kết nối các khoản khấu trừ của 'tái chế' kết luận như công thức Duval (Duval, 1995).