Deducción Natural en Primer Orden - 2016

Se presentan las reglas adicionales de Deducción Natural para Primer Orden. Es por esto que para comprender este material es necesario tener bien presente Deducción Natural para Proposicional.

Estas reglas adicionales tienen que ver con los cuantificadores y agregan un nivel de "cuidados" que hay que tener con las variables para construir derivaciones correctas.