propositional function - EE Dictionary | EE Dictionary