propositional function - French English Dictionary