命題関数
めいだいかんすう propositional (sentential) function