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