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

m
robot Modificado: en:Deduction theorem
(Página creada con «En lógica matemática, el '''teorema de la deducción''' es un metateorema de la lógica proposicional, la lógica de primer orden y otros [[Sistema lógico|s...»)
 
m (robot Modificado: en:Deduction theorem)
 
[[de:Deduktionstheorem]]
[[en:TeoremaDeduction de la deduccióntheorem]]
[[it:Teorema di deduzione]]
[[ja:演繹定理]]
553 168

ediciones