Acerca del Sistema Frege

Frege es una aplicación interactiva diseñada para la demostración formal de teoremas basados en el Cálculo de Predicados (CP).

Fundamento Lógico

Este sistema se fundamenta en las reglas de inferencia estándar (P, MP, C, MT, D, TE, R, EU, GU, E), permitiendo a los usuarios construir derivaciones paso a paso.

Información Técnica

• Framework Principal: Spring Boot
• Motor de Plantillas: Thymeleaf
• Desarrollo Frontend: JavaScript (ES6+) y Bootstrap
• Generación de PDF: jsPDF y autoTable
• Versión de Software: 1.0.0

Contacto