谓词符号的英文翻译

中文:谓词符号

英文翻译:【计】 predicate symbol免费