Lógica_paraconsistente loading ...