谓词

谓词 [wèi cí]

1. ■ {语} predicate

---

常用词组

1. ■ 谓词变项 predicate variable;

2. ■ 谓词常数 predicate constant;

3. ■ 谓词符号 predicate symbol;

4. ■ 谓词逻辑 predicate logic;

5. ■ 谓词逻辑锁 predicate logic lock;

6. ■ 谓词演算 predicate calculus;

7. ■ 谓词族 family of predicates