Posterior: Teorema de coherencia Arriba: Cálculo proposicional Anterior: Ejercicios

Coherencia y completitud

En esta sección nos restringiremos al Cálculo Proposicional de la deducción natural, $\mbox{\it Pbf}(X)$.