Evaluando propuestas

Demostrador de deducción natural

Publicado el 13 Marzo, 2025 en Programación y Tecnología

Sobre este proyecto

Abierto

Quiero un sencillo programa en HTML5 que permita ofrecer demostraciones de razonamientos de deducción natural, de premisas y conclusión que teclee el usuario, con la posibilidad de hacer una demostración directa o por reducción al absurdo, saliendo en una tabla la vía de razonamiento y los pasos a seguir, por ejemplo, modus ponens, tollens, silogismo disyuntivo, etc.

Categoría Programación y Tecnología
Subcategoría Programación Web
¿Cuál es el alcance del proyecto? Crear un nuevo sitio personalizado
¿Es un proyecto o una posición? Un proyecto
Actualmente tengo Tengo una idea
Disponibilidad requerida Según se necesite
Roles necesarios Programador

Plazo de Entrega: No definido

Habilidades necesarias

JavaScript CSS HTML

¿Te gustaría comenzar a trabajar en este proyecto?

Ingresa con tu cuenta de Workana o Regístrate. ¡Potencia tu trabajo freelance!