找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 约束出现
一个谓词公式如果其中由一部分公式形如∀xA或∃xA，则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现，而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现，则叫x在此谓词公式中自由出现，而此个体变元X叫此谓词公式的自由变元。 — 拼音 yuē shù chū xiàn，更新 2026-07-12 12:07:53
| 拼音 | yuē shù chū xiàn |
|---|---|
| 拼音字母 | yue shu chu xian |
| 首字母 | yscx |
| 注音 | ㄩㄝ ㄕㄨˋ ㄔㄨ ㄒㄧㄢˋ |
| 注音符号 | ㄩㄝ ㄕㄨ ㄔㄨ ㄒㄧㄢ |