propositional calculus - Allemand Anglais Dictionnaire