propositional-function

单词propositional-function

基本解释

网络: 命题函项；命题函数；命题公式