گزاره‌نما

برابر انگلیک (انگلیسی): propositional function