A continuación se muestra una lista de los borrados más recientes.

• 13:10 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 9 (el contenido era: «<source lang = "isabelle"> chapter {* R9 Programación funcional en Isabelle *} theory R9 imports Main begin text {* ---------------------------------------------------------------- Ejercicio 0. Definir, por recursión, la fu…»)
• 13:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 8 (el contenido era: «<source lang = "isabelle"> chapter {* R8: Argumentación en lógica de primer orden *} theory R8 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relació…»)
• 13:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 7 (el contenido era: «<source lang = "isabelle"> theory R7 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relación es escribir demostraciones usando sólo las reglas bási…»)
• 13:09 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 5 (el contenido era: «=== Relación 5: Sintaxis y semántica de la Lógica de primer orden === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento (ejercicio 5 de LPO de APPLI2), verificando la corrección de la solución: * Todo aquel que ent…»)
• 13:08 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 4 (el contenido era: «<source lang="isabelle"> chapter {* R4: Deducción natural proposicional *} theory R4 imports Main begin text {* --------------------------------------------------------------------- El objetivo de esta relación es demost…»)
• 13:08 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 2 (el contenido era: « === Relación 2: Deducción natural en lógica proposicional === ---- '''Ejercicio 1.''' Demostrar mediante deducción natural: : p ⊧ q → p ---- '''Solución:''' fravilval, roccorcor, sofsanfer, carespher, paurinara, anac…»)
• 13:08 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 14 (el contenido era: «<source lang = "isabelle"> theory R14 imports Main begin text {* -------------------------------------------------------------------------------------------------- Ejercicio 1. Hilbert publicó una axiomatización de la geom…»)
• 13:07 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 13 (el contenido era: «<source lang = "isabelle"> chapter {* R13: Definiciones inductivas: clausuras *} theory R13 imports Main begin section {* La clausura reflexiva transitiva *} text {* · Las definiciones inductivas aceptan parámetros; por tan…»)
• 13:07 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 12 (el contenido era: «<source lang = "isabelle"> chapter {* R12: Recorridos de árboles *} theory R12 imports Main begin text {* --------------------------------------------------------------------- Ejercicio 1. Definir el tipo de datos arbo…»)
• 13:07 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 11 (el contenido era: «<source lang = "isabelle"> chapter {* R11: Razonamiento sobre programas en Isabelle/HOL *} theory R11 imports Main begin text {* --------------------------------------------------------------- En toda la relación de ejerc…»)
• 13:06 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 10 (el contenido era: «<source lang = "isabelle"> chapter {* R10: Programación funcional en Isabelle/HOL *} theory R10 imports Main begin text {* --------------------------------------------------------------- Ejercicio 1. Definir la…»)
• 13:06 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación 1 (el contenido era: «=== Relación 1: Sintaxis y semántica de la lógica proposicional === ---- '''Ejercicio 1.''' Formalizar el siguiente argumento <blockquote> ''Siempre que un número x es divisible por 10, acaba en 0. El número x no acaba en 0…»)
• 13:06 26 jul 2021 Jalonso (discusión | contribuciones) borró la página Relación (el contenido era: «<source lang = "isabelle"> chapter {* R6: Deducción natural en lógica de primer orden *} theory R6 imports Main begin text {* Demostrar o refutar los siguientes lemas usando sólo las reglas básicas de deducción natural…»)