语林词典 - 汉语词语大全 聊天词典

请问「约束出现」是什么意思?

2026-07-10 13:01:00

「约束出现」读音

拼音 yuē shù chū xiàn,注音 ㄩㄝ ㄕㄨˋ ㄔㄨ ㄒㄧㄢˋ

拼音字母yue shu chu xian
拼音首字母yscx
注音符号ㄩㄝ ㄕㄨ ㄔㄨ ㄒㄧㄢ
注音首符号ㄩㄕㄔㄒ

「约束出现」释义

扩展释义 一个谓词公式如果其中由一部分公式形如∀xA或∃xA,则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现,而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现,则叫x在此谓词公式中自由出现,而此个体变元X叫此谓词公式的自由变元。

推荐