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