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