查询词典 predicate logic

primitive recursive predicate：原始递归渭词

primitive recursive isomorphism 原始递归同构 | primitive recursive predicate 原始递归渭词 | primitive root 原根

primitive recursive predicate：基元遞迴述訪

基元遞迴函數 primitive recursive function | 基元遞迴述訪 primitive recursive predicate | 基元狀態表 primitive state table

PN proper names：专有名称

15. OBJ direct object 直接宾语 | 16. PN proper names 专有名称 | 17. PRD predicate 表属性

propositional calculus：命题演算

关系演算基于数理逻辑的一个分支命题演算(propositional calculus),更精确地说是一阶谓词演算(first-order predicate calculus). 关系演算在逻辑表达式中使用AND和OR这样的运算符来进行关系运算. SEQUEL(结构化英语查询语言)是SQL的前身,由IBM开发,

prosodic：作诗法的

Pearlmutter(1998) 描述的多重限制理论,该理论主张近因/位置和一个次级因素-谓词接近性(predicate proximity)结合词汇的,文法的,作诗法的(prosodic),和上下文的限制决定联接偏好.

pure predicate calculus of first order：一阶纯谓词演算

pure point spectrum 纯离散谱 | pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论

pure set theory：一般集合论

pure predicate calculus of first order 一阶纯谓词演算 | pure set theory 一般集合论 | pure state 纯状态

general recursiveness：一般递归性

general recursive predicate 一般递归谓词 | general recursiveness 一般递归性 | general refrigerated vessel 通用冷藏船

repugnant concepts：别异矛盾概念

变质 obversion | 别异矛盾概念 repugnant concepts | 宾词 predicate

restricted randomization：限制随机化

restricted predicate calculus 狭谓词演算 | restricted randomization 限制随机化 | restriction 限制

HIGH PRIESTESS：女教皇

原来在这房里的床上有一本日记,里面有一首诗它会提示你怎么放,经过了细心的推敲后,决定在左上角摆夜之眼(Eye Of Night)这张,左方的中间就摆女教皇(High Priestess),最下面的中间就放上吊男(Hanged Man);最右手边的中间就放愚者(Fool),

charades：用动作等表演的字谜游戏

characterization 人物塑造 | charades 用动作等表演的字谜游戏 | charisma (大众爱戴的)领袖气质,魅力