 The truth table test is such a method for the propositional calculus. However, Turing showed that, given his thesis, there can be no effective method in the case of the full first-order predicate calculus.