命題関数

めいだいかんすう