En un sistema de deducción natural, habrá dos reglas para cada operador lógico: una regla de introducción que nos permita probar una oración que la tenga como operador lógico principal y una regla de ...En un sistema de deducción natural, habrá dos reglas para cada operador lógico: una regla de introducción que nos permita probar una oración que la tenga como operador lógico principal y una regla de eliminación que nos permita probar algo dada una oración que la tiene como lógica principal operador. Por lo que la 'R 1' de la línea 2 de la prueba significa que la línea está justificada por la regla de reiteración (R) aplicada a la línea 1.
