基本属性
- 拼音字母zi you chu xian
- 拼音首字母zycx
- 注音符号ㄗ ㄧㄡ ㄔㄨ ㄒㄧㄢ
扩展释义
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的,则称该变元在该公式中为自由出现.例如,在公式 ( b}.z ) [.x2 }刃中,y的出现是自由的.
「自由出现」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:zì yóu chū xiàn,注音:ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ。
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的,则称该变元在该公式中为自由出现.例如,在公式 ( b}.z ) [.x2 }刃中,y的出现是自由的.