deduction theorem - Alemán Inglés Diccionario