En esta página se encuentran enlaces a los sistemas utilizados
en en el curso "Lógica matemmática y fundamentos".
- Programación:
- Formalización:
- Tablas de verdad, árboles de formación y formas
normales:
- Deducción natural:
- Tableros semánticos:
- Resolución:
|