An instance of the satisfiability problem should have a valid proof if and only if it is satisfiable.
Un exemplu de problemă a satisfiabilității ar trebui să aibă o demonstrație validă dacă și numai dacă este satisfiabilă.