deduction theorem - Turco Inglés Diccionario