複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/自由出現/19063573
複製
複製成功

自由出現

鎖定
自由出現(free occurrence)變元非約束的出現一個變元在一公式中的出現如果不是約束的，則稱該變元在該公式中為自由出現.
中文名
自由出現
外文名
free occurrence
例如，在公式 ( b}.z ) [.x2 }刃中，y的出現是自由的. [1] 
參考資料
  • 1.    數學辭海第4卷