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