请问「约束出现」是什么意思?
2026-07-10 13:01:00
「约束出现」读音
拼音 yuē shù chū xiàn,注音 ㄩㄝ ㄕㄨˋ ㄔㄨ ㄒㄧㄢˋ
| 拼音字母 | yue shu chu xian |
|---|---|
| 拼音首字母 | yscx |
| 注音符号 | ㄩㄝ ㄕㄨ ㄔㄨ ㄒㄧㄢ |
| 注音首符号 | ㄩㄕㄔㄒ |
「约束出现」释义
扩展释义 一个谓词公式如果其中由一部分公式形如∀xA或∃xA,则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现,而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现,则叫x在此谓词公式中自由出现,而此个体变元X叫此谓词公式的自由变元。
推荐