2026-07-12 03:03:06

自由出现

zì yóu chū xiàn · ㄗˋ ㄧㄡˊ ㄔㄨㄒㄧㄢˋ

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

拆字

文络智义词库，您的专属汉语词典。海量词条，精准释义，成语、近义词、反义词一键查询。专业友好的界面，让词语学习更高效。