有效性
有

有效性　　　

關(guān)于*形式系統(tǒng)的語義性概念。形式系統(tǒng)中一個有n個變元的公式在某個模型中有效是指：用這個模型的論域中任意一組n個元素解釋公式中的變元，都使公式在這個模型中的解釋為真。一個公式有效，是指它在任何一個模型中都有效。后一種有效性也稱為普遍有效性。