Consistencia y Completitud en la Lógica Proposicional
Consistencia y Completitud en la Lógica Proposicional
En este documento, se presenta la relación entre las dos nociones.
Para esto se estudiarán las nociones de Corrección, Consistencia y Completitud en la Lógica Proposicional.
Haga clic en 07_PropComp.pdf para ver el archivo.