有效性
有

有效性　　　

關(guān)于*形式系統(tǒng)的語(yǔ)義性概念。形式系統(tǒng)中一個(gè)有n個(gè)變?cè)墓皆谀硞€(gè)模型中有效是指：用這個(gè)模型的論域中任意一組n個(gè)元素解釋公式中的變?cè)?，都使公式在這個(gè)模型中的解釋為真。一個(gè)公式有效，是指它在任何一個(gè)模型中都有效。后一種有效性也稱(chēng)為普遍有效性。