propositional calculus - Spanisch Englisch Wörterbuch