自由出现

（数学名词）
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.
知识树
时光轴
论点集
总题库
领域
数学
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》