Resumen

En este artículo, se aborda las dos posiciones que surgen en las matemáticas y la lógica, a partir de las contradicciones que se evidencian en algunos sistemas teóricos, la formulación de un cálculo proposicional a partir de la lógica paraconsistente, junto con la demostración de algunos teoremas en dicho cálculo; y la jerarquización de una infinitud de cálculos proposicionales con características particulares.