释
自由出现
zì yóu chū xiàn · ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ
修撰于 2026-07-01 03:43:17
音义
| 拼音 | zì yóu chū xiàn |
|---|---|
| 字母 | zi you chu xian |
| 首字母 | zycx |
| 注音 | ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ |
| 注音符号 | ㄗ ㄧㄡ ㄔㄨ ㄒㄧㄢ |
广训
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.