Los puntos clave no están disponibles para este artículo en este momento.
Recently Ekman gave a derivation in natural deduction such that it either contains a substantial redundant part or else is not normal. It is shown that this problem is caused by a non-normality inherent in the usual modus ponens rule.
Jan von Plato (2000) studied this question.