https://github.com/hecta18/matematicadiscreta_python
Este programa será capaz de producir una tabla de verdad, comprobar si una proposición es una tautología, realizar una inferencia lógica y comprobar la equivalencia de 2 proposiciones.
https://github.com/hecta18/matematicadiscreta_python
Last synced: 8 months ago
JSON representation
Este programa será capaz de producir una tabla de verdad, comprobar si una proposición es una tautología, realizar una inferencia lógica y comprobar la equivalencia de 2 proposiciones.
- Host: GitHub
- URL: https://github.com/hecta18/matematicadiscreta_python
- Owner: Hecta18
- License: apache-2.0
- Created: 2025-07-30T16:18:32.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2025-10-02T03:02:23.000Z (8 months ago)
- Last Synced: 2025-10-02T05:23:13.301Z (8 months ago)
- Language: Jupyter Notebook
- Size: 17.6 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# MatematicaDiscreta_Python
Este programa será capaz de producir una tabla de verdad, comprobar si una proposición es una tautología, realizar una inferencia lógica y comprobar la equivalencia de 2 proposiciones.