Consistencia y Completitud en la Lógica Proposicional - 2016
Consistencia y Completitud en la Lógica Proposicional - 2016
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.