请解释一下「自由出现」这个词的含义。

助手
自由出现 zì yóu chū xiàn · ㄗˋ ㄧㄡˊ ㄔㄨ ㄒㄧㄢˋ
zi you chu xian
zycx
ㄗ ㄧㄡ ㄔㄨ ㄒㄧㄢ
2026-07-10 21:46:07

扩展释义

自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的,则称该变元在该公式中为自由出现.例如,在公式 ( b}.z ) [.x2 }刃中,y的出现是自由的.