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:59 26 jul 2021 Jalonso discusión contribs. borró la página Relación 9 (el contenido era: «<source lang="isabelle"> chapter ‹9: Deducción natural de primer orden› theory R9_Deduccion_natural_de_primer_orden imports Main begin text ‹Demostrar o refutar los siguientes lemas usando sólo las reglas básicas de deducción natural de la lógica proposicional, de los cuantificadores y de la igualdad: · conjI: ⟦P; Q⟧ ⟹ P ∧ Q · conjunct1: P ∧ Q ⟹ P · conjunct2: P ∧ Q ⟹ Q · notnotD: ¬¬ P ⟹ P · mp:…»)