Diferencia entre revisiones de «Teorema de la deducción»
Contenido eliminado Contenido añadido
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap |
m Mantenimiento de Control de autoridades Etiqueta: Edición móvil avanzada |
||
Línea 59:
{{listaref}}
{{Control de autoridades}}
[[Categoría:Teoremas de lógica|Deducción]]
[[Categoría:Metalógica]]
|