自由出现
zì yóu chū xiàn
ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ
📖 词语释义
- 拼音字母zi you chu xian
- 首字母zycx
- 注音符号ㄗ ㄧㄡ ㄔㄨ ㄒㄧㄢ
- 更新2026-07-10 03:16:39
更多解释
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.