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