专业、全面、易懂的全领域名词百科

自由出现﹡

题型：简答题

所属分类：数学

正确答案：[]

名词解析

自由出现名词解释：变元非约束的出现.一个变元在一公式中的出现如果不是约束的,则称该变元在该公式中为自由出现.例如,在公式(x)[x²y]中,y的出现是自由的.