cut rule (logic) - Spanisch Englisch Wörterbuch