Este artículo presenta un método para aprovechar el amplio conocimiento de los modelos lingüísticos a gran escala (LLM) para el razonamiento formal. Para abordar el problema de la consistencia lógica en la salida generada por los LLM, proponemos un método que los integra directamente en la función de interpretación semántica formal de la lógica paraconsistente. Demostramos la viabilidad de este método mediante experimentos con varios conjuntos de datos de referencia de factualidad de oraciones cortas. Además, a diferencia de estudios previos, proporcionamos un marco teórico para el razonamiento neurosimbólico que aprovecha el conocimiento de los LLM, preservando la solidez y la integridad de la lógica subyacente.
