Las pruebas naturales de deducción comienzan con suposiciones. Luego se aplican las reglas de inferencia. Los supuestos son “descargados” por las reglas¬Intro\({\rightarrow}\text{Intro}...Las pruebas naturales de deducción comienzan con suposiciones. Luego se aplican las reglas de inferencia. Los supuestos son “descargados” por las reglas¬Intro→Intro,,∨Elim e∃Elim inferencia.
