![Lógica matemática y fundamentos [Curso 2019-20]](/~jalonso/imagenes/logoUS.jpg)
Ejercicios
De Lógica matemática y fundamentos [Curso 2019-20]
Revisión del 08:46 31 mar 2020 de Mjoseh (discusión | contribuciones)
En esta página se encuentran los ejercicios para resolver de manera colaborativa que complementan al libro de ejercicios.
- Relación 1: Sintaxis y semántica de la lógica proposicional. (Enunciado, Solución colaborativa, Una solución).
- Relación 2: Deducción natural proposicional con Isabelle (Enunciado, Solución colaborativa, Una solución).
- Relación 3: Deducción natural proposicional con Isabelle (II) (Enunciado, Solución colaborativa, Una solución).
- Relación 4: Sintaxis y semántica de la lógica de primer orden. (Enunciado, Solución colaborativa, Una solución).).
- Relación 5: Deducción natural en lógica de primer orden. (Enunciado, Solución colaborativa, Una solución).
- Relación 6: Formalización y argumentación con Isabelle/HOL. (Enunciado, Solución colaborativa , Una solución).
- Relación 7: Lógica de de primer orden con igualdad: deducción natural,formalización y argumentación con Isabelle/HOL. (Enunciado, Solución colaborativa).