自由出現

自由出現(free occurrence)變元非約束的出現一個變元在一公式中的出現如果不是約束的,則稱該變元在該公式中為自由出現.例如,在公式 ( b}.z ) [.x2 }刃中,y的出現是自由的.

相關詞條

熱門詞條

聯絡我們