Resultados e Discussão

Além disso, um sistema lógico é chamado de paraconsistente quando nos permite distinguir entre teorias contraditórias , no sentido em que  ⊢L  e  ⊢L , para alguma fórmula , e