Completitud de la Lógica de Predicados de Primer Orden - 2016
Completitud de la Lógica de Predicados de Primer Orden - 2016
Se presenta la completitud de la Lógica de Primer Orden, siguiendo un esquema similar al seguido en Prop pero con las diferencias inherentes al primer orden: es necesario constuir un modelo.
Haga clic en 13_15_PredCompletitud.pdf para ver el archivo.