Lógica básica paraconsistente y paracompleta con negación clásica uri icon