| 释义 |
constant letter 常量字母 In the predicate calculus the constant is represented by the small Latin letter a,b,c,… or the English name of an object or the Chinese Pinying Letter or the identifier. These letters are called the constant letters. 在谓词演算中,用小写拉丁字母a,b,c,…或事物的英文名字或汉语拼音字母或标识符来表示 常量,这些字母称为常量字母。 |