可駁公式是一種基本公式，指不恆真的公式。與之相對應的是普遍有效公式，亦稱永真公式或恆真公式。
基本介紹
- 中文名：可駁公式
- 外文名：refutable formula
- 適用範圍：數理科學
簡介,有效,普遍有效公式,
簡介
可駁公式是一種基本公式，指不恆真的公式。
設 
是 𝓛 中的一個公式，如果對 𝓛 的某一個模型 𝓤 ，存在某個 n 元組 
，使 𝓤⊨¬
，則稱 φ 是可駁的，即 φ 不是普遍有效的。
有效
(validity)
有效是模型論的基本概念之一，指公式在模型中恆真。
設是 𝓛 中的一個公式，𝓤 是𝓛 的一個模型。如果對任意的 n 元組，皆有𝓤⊨，則稱φ 在𝓤 中有效。
普遍有效公式
普遍有效公式(universally valid formula)亦稱永真公式或恆真公式，是一種基本公式。
普遍有效是數理邏輯用語，狹謂詞演算的一個公式是普遍有效的，若且唯若：對任何個體域，用任一個體常項代人其中的個體變項，用任一命題常項代人其中的命題變項，並且用任一特定的謂詞常項代人其中的謂詞變項，其結果總是真的。一公式普遍有效時，稱為普遍有效公式。狹謂詞邏輯中的普遍有效公式往往顯示了一個邏輯規律。
例如：(∀x)(F(x)∨¬F(x))表示排中律。(∀x)A(x)→(∃x)A(x)表示全稱蘊涵存在。命題邏輯中的普遍有效公式就是重言式。
