Having trouble with the forward direction of this proof. I assume that the decision problem for implication is solvable, so that for any set of sentences $T$, I can arrive at a yes or no answer to whether or not for any sentence $A$, $T \models A$.
I'm having trouble thinking of a way to prove this. I need to think of a sentence $A$ that can help me decide whether $T$ is valid or not. I've tried letting $A$ be a sentence that is true in every interpretation but that leads me nowhere since even if we knew $T \models A$, there could still be a member of $T$ that is false. Letting $A$ be a sentence that is false would be useful for showing that the decision problem for satisfiability is solvable, but this is not the case.
Any help that would lead me to being able to prove this would be greatly appreciated! Thanks in advance.