命題 めいだい関数 かんすう
meidaikansū

Noun

1. propositional (sentential) function