读音信息
- 拼音字母
- zi you chu xian
- 拼音首字母
- zycx
- 注音符号
- ㄗ ㄧㄡ ㄔㄨ ㄒㄧㄢ
- 注音首字母
- ㄗㄧㄔㄒ
百科释义
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.
拆字组词
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.