Soundness

Logický argument je zvuk tehdy a jen tehdy, jestliže

Důkazová procedura (např. přirozená dedukce) pro logiku je správná, pokud dokazuje pouze platné vzorce (také tautologie). Formálně: systém je správný, pokud pokud je „“, pak také „“.

Předpokládejme, že máme pádný argument (v tomto případě sylogismus):

Argument je platný (protože závěr je pravdivý na základě předpokladů, to znamená, že závěr následuje předpoklady) a protože předpoklady jsou ve skutečnosti pravdivé, argument je pádný.

Následující argument je platný, ale ne zvuk:

Vzhledem k tomu, že první předpoklad je ve skutečnosti nepravdivý, argument, i když je platný, není pádný.