有效性 逻辑学中一个演绎论证或论据argument是有效的valid当且仅当它没有所有前提为真同时结论为假并且它的结论跟随前提的逻辑否则它是无效的一个有效的演绎论证并不必需要它的部分前提或结论为真但是如果它所有的前提为真那么它的结论必为真 我們可以引入內在矛盾internally contradictory的概念來定義有效性validity對於任何論證而言假設它的所有前提所組成的集合不是內在矛盾的如果由它的所有前提以及對於結論的否定所共同組成的語句集合是內在矛盾的則該論證是有效的在定義中之所以有假設所有的前提所組成的集合不是內在矛盾的這樣的一個但書是因為從矛盾的前提可以推導出任何的結論這一性質在自然演繹法natural deduction中是顯然的 一个论证的有效性可以被检验证明或反驳并取决于它的逻辑形式 在形式演繹系統中一个逻辑公式被称为是有效的如果它在所有释义interpretation下都是真的更一般的說給定一個形式語言 L displaystyle L 當我們說公式 Φ displaystyle Phi  是有效的即表示該形式語言 L displaystyle L 中的所有釋義 I displaystyle I 都是 Φ displaystyle Phi  的模型Model用符號表示即為  L Φ displaystyle models LPhi  另外在邏輯學中我們已經約定對於形式語言 L displaystyle L 的所有釋義 I displaystyle I 都是空集合 ϕ displaystyle phi  的模型所以形式語言 L displaystyle L 中的每一個有效公式 Φ displaystyle Phi  都是空集合 ϕ displaystyle phi  的語意結論semantic consequence用符號來表示即為 ϕ  L Φ displaystyle phi models LPhi  在某些中文邏輯教科書中也將model翻譯成釋模参见模型论或数理逻辑 一个重言式或重言公式是真值泛函有效的不是所有量化逻辑的有效的公式都是重言式参见真值表