释
约束出现
yuē shù chū xiàn · ㄩㄝ ㄕㄨˋ ㄔㄨ ㄒㄧㄢˋ
修撰于 2026-06-30 17:53:19
音义
| 拼音 | yuē shù chū xiàn |
|---|---|
| 字母 | yue shu chu xian |
| 首字母 | yscx |
| 注音 | ㄩㄝ ㄕㄨˋ ㄔㄨ ㄒㄧㄢˋ |
| 注音符号 | ㄩㄝ ㄕㄨ ㄔㄨ ㄒㄧㄢ |
广训
一个谓词公式如果其中由一部分公式形如∀xA或∃xA，则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现，而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现，则叫x在此谓词公式中自由出现，而此个体变元X叫此谓词公式的自由变元。