Completitud de la Lógica de Predicados de Primer Orden
Perfilado de sección
Completitud de la Lógica de Predicados de Primer Orden
Requisitos de finalización
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 12_PredComp.pdf para ver el archivo.