propositional calculus - Spanish English Dictionary