Виведення чинне, якщо кожне тлумачення, що підтверджує засновок, підтверджує й висновок. Це явище відоме під назвою «змістова чинність». Збереження У чинності, що зберігає істину, тлумачення, під якими кожна змінна призначається до логічного значення істинності, дає значення істинності.