預期釋義

在邏輯中 ， 給定某個形式語言 L ， 可以有意圖應用於 L 的原始符號的某個特權子集的一個釋義 。 例如 ， 一階邏輯的一階語言 L ， 它包含意圖指示真值函數合取 、 析取 、 實質蘊涵 、 否定 ， 全稱量化運算 ， 和某些其他 加法 。 在集合論比如 ZFC 中有一個謂詞符號意圖指示集合論成員關係 。 Y Y