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 7 (el contenido era: «<source lang="isabelle"> chapter ‹R7: Deducción natural proposicional› theory R7_Deduccion_natural_proposicional_2 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). Para cada ejercicio dar una demostración estructurada y o…»)