Diferencia entre revisiones de «Teorema de la deducción»
Contenido eliminado Contenido añadido
m Categorizando en Metalógica ¿nos ayudas? |
m [r2.5.2] robot Añadido: fa:قضیه استنتاج |
||
Línea 64:
[[de:Deduktionstheorem]]
[[en:Deduction theorem]]
[[fa:قضیه استنتاج]]
[[it:Teorema di deduzione]]
[[ja:演繹定理]]
| |||