Registros públicos principales
Apariencia
Vista combinada de todos los registros de Wikilibros. 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.
- 10:23 10 jul 2026 Davileci discusión contribs. creó la página Deducción natural/Falacias (Falacias)
- 14:06 30 jun 2026 Davileci discusión contribs. trasladó la página Discusión:Luanti a Discusión:Mesecons
- 14:06 30 jun 2026 Davileci discusión contribs. trasladó la página Luanti a Mesecons
- 08:02 17 may 2026 Davileci discusión contribs. creó la página Categoría:Páginas que utilizan un formato obsoleto de las etiquetas math (Se creó una página vacía)
- 23:38 21 nov 2025 Davileci discusión contribs. trasladó la página Deducción natural/Eliminación a Deducción natural/Reglas de eliminación
- 23:37 21 nov 2025 Davileci discusión contribs. trasladó la página Deducción natural/Introducción a Deducción natural/Reglas de introducción
- 14:11 21 nov 2025 Davileci discusión contribs. creó la página Deducción natural/Reglas derivadas (Página creada con «{|border="1" cellpadding="7" style="border-collapse:collapse;" !Nombre de la regla !Abreviación !Formalización !Cálculo de secuentes |- align="center" |align="left"|Principio de explosión ''Ex falso sequitur quodlibet Ex contradictione quodlibet'' |EFQ |<math>\frac{A \land \neg A}{B \quad \quad} \qquad \frac{A \leftrightarrow \neg A}{B \quad \quad}</math> |<math>A \land \neg A \vdash B \qquad A \leftrightarrow \neg A \vdash B</math> |- align…»)
- 10:13 21 nov 2025 Davileci discusión contribs. creó la página Deducción natural/Eliminación (Eliminación)
- 09:58 21 nov 2025 Davileci discusión contribs. creó la página Deducción natural/Introducción (Introducción)
- 10:11 7 ago 2025 Davileci discusión contribs. creó la página Luanti (Mesecons)
- 22:17 23 feb 2025 Davileci discusión contribs. creó la página Deducción natural/Carga de premisa (Carga de premisa)
- 22:07 23 feb 2025 Davileci discusión contribs. creó la página Deducción natural (Reglas de deducción natural)
- 17:21 6 abr 2021 Se ha creado automáticamente la cuenta de usuario Davileci discusión contribs.