命題関数
【めいだいかんすう】
【meidaikansuu】
命题函数