Todos los registros públicos

Vista combinada de todos los registros de Razonamiento automático (2019-20). Puedes filtrar la vista seleccionando un tipo de registro, el nombre del usuario o la página afectada. Se distinguen mayúsculas de minúsculas.

• 13:58 26 jul 2021 Jalonso discusión contribs. borró la página Relación 6 (el contenido era: «<source lang="isabelle"> chapter ‹R6: Deducción natural proposicional› theory R6_Deduccion_natural_proposicional_1 imports Main begin text ‹------------------------------------------------------------------ El objetivo de esta relación es demostrar cada uno de los ejercicios usando sólo las reglas básicas de deducción natural de la lógica proposicional (sin usar los método simp ni auto). Las reglas básicas de la deducción natural son las sigui…»)