Deducción Natural en Primer Orden

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.

Se presentan los axiomas básicos para tratar la identidad y las reglas de deducción natural.