最近在查资料时注意到「自由出现」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- zì yóu chū xiàn
- 字母
- zi you chu xian
- 首字母
- zycx
- 注音
- ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.
自由出现
zì yóu chū xiàn · ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ