基本属性
- 拼音字母yue shu chu xian
- 拼音首字母yscx
- 注音符号ㄩㄝ ㄕㄨ ㄔㄨ ㄒㄧㄢ
扩展释义
一个谓词公式如果其中由一部分公式形如∀xA或∃xA,则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现,而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现,则叫x在此谓词公式中自由出现,而此个体变元X叫此谓词公式的自由变元。
「约束出现」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:yuē shù chū xiàn,注音:ㄩㄝ ㄕㄨˋ ㄔㄨ ㄒㄧㄢˋ。
一个谓词公式如果其中由一部分公式形如∀xA或∃xA,则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现,而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现,则叫x在此谓词公式中自由出现,而此个体变元X叫此谓词公式的自由变元。