Diferencia entre revisiones de «Teorema de la deducción»

247 bytes eliminados ,  hace 7 años
m
Bot: Moviendo 9 enlaces interlingüisticos a d:Q1182249 en Wikidata
m (r2.7.1) (robot Añadido: sv:Deduktionsteoremet)
m (Bot: Moviendo 9 enlaces interlingüisticos a d:Q1182249 en Wikidata)
[[Categoría:Teoremas de lógica|Deducción]]
[[Categoría:Metalógica]]
 
[[de:Deduktionstheorem]]
[[en:Deduction theorem]]
[[fa:قضیه استنتاج]]
[[it:Teorema di deduzione]]
[[ja:演繹定理]]
[[pl:Twierdzenie o dedukcji]]
[[sr:Теорема дедукције]]
[[sv:Deduktionsteoremet]]
[[zh:演绎定理]]
1 053 478

ediciones