unary predicate calculus英式朗读美式朗读基本解释[计] 单谓词演算上一个单词:unary operator下一个单词:unary restricted zero-sided Lindenmayer system