The flaw in the argument is that it assumes the only way to check whether a formula is satisfiable is to check every truth-value assignment to the variables. There is no reason to think that. There might be more clever algorithms.