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