自由出现
更新时间:2024-09-18 09:30:25
自由出现的词语属性
拼音zì yóu chū xiàn
拼音字母zi you chu xian
拼音首字母zycx
自由出现的百科含义
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的,则称该变元在该公式中为自由出现.例如,在公式 ( b}.z ) [.x2 }刃中,y的出现是自由的.
自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的,则称该变元在该公式中为自由出现.例如,在公式 ( b}.z ) [.x2 }刃中,y的出现是自由的.