Una inferencia de deducción natural es una forma normal , según Dag Prawitz , si la ausencia de una fórmula es a la vez la premisa principal de una regla de eliminación y la conclusión de una regla de introducción. [1]
Referencias
^ Prawitz, Dag (24 de febrero de 2006). Deducción natural: un estudio teórico de prueba. Publicaciones de Courier Dover. ISBN 978-0-486-44655-4.
