rule of detachment (rule of inference) - Spanisch Englisch Wörterbuch