https://github.com/andrewsy1004/logica_matematica

Este proyecto convierte enunciados simples como "como pizza y chocolate" en expresiones lógicas formales, genera su tabla de verdad y determina si es una tautología, contradicción o contingencia. El sistema toma oraciones del usuario, identifica las proposiciones y los conectores lógicos ("y", "o", "no"), crea la expresión correspondiente, evalúa
https://github.com/andrewsy1004/logica_matematica

javascript react-toastify reactjs tailwindcss

Last synced: about 2 months ago
JSON representation

Este proyecto convierte enunciados simples como "como pizza y chocolate" en expresiones lógicas formales, genera su tabla de verdad y determina si es una tautología, contradicción o contingencia. El sistema toma oraciones del usuario, identifica las proposiciones y los conectores lógicos ("y", "o", "no"), crea la expresión correspondiente, evalúa

• Host: GitHub
• URL: https://github.com/andrewsy1004/logica_matematica
• Owner: Andrewsy1004
• Created: 2024-10-24T13:21:43.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-11-18T19:53:24.000Z (6 months ago)
• Last Synced: 2025-02-01T00:32:59.229Z (4 months ago)
• Topics: javascript, react-toastify, reactjs, tailwindcss
• Language: JavaScript
• Homepage: https://logica-matematica.vercel.app
• Size: 1.75 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# 🧠 Lógica Proposicional Automática

Este proyecto convierte enunciados simples como **"como pizza y chocolate"** en expresiones lógicas formales, genera una tabla de verdad y determina si es una tautología, contradicción o contingencia.

## 🚀 Funcionalidades

- 🔍 **Conversión de enunciados a lógica proposicional**: Transforma oraciones naturales en expresiones lógicas usando conectores como `∧`, `∨` y `¬`.

- 📊 **Generación automática de tablas de verdad**: Calcula la tabla de verdad de la expresión lógica.

- ✔️ **Determinación de la validez de la proposición**: Clasifica la expresión como una **tautología**, **contradicción** o **contingencia**.

## 🛠️ Instalación

   ```bash

   git clone https://github.com/usuario/proyecto-logica-proposicional.git

   cd TABLASVERDAD

   npm install

   npm start