めいだいかんすう

命題関数

表記・読み：めいだいかんすう

1. 1

   propositional (sentential) function

   名詞