Ejercicios

De Lógica matemática y fundamentos [Curso 2019-20]

Revisión del 18:10 17 mar 2020 de Mjoseh (discusión | contribuciones)

(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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 y Solución colaborativa).
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).
Relación 5: Deducción natural en lógica de primer orden. (Enunciado, Solución colaborativa).

Obtenido de «https://www.glc.us.es/~jalonso/LMF2020/index.php?title=Ejercicios&oldid=260»