propositional function - Spanish English Dictionary