Consider the following conversation:
"Gerda," said Hans, "we must know if Petra went to Berlin." "Well," said Gerda, "we know that if she didn't then she went to Cologne. And we know that she didn't go to both Cologne and Dusseldorf." "Yes, yes," said Hans, "that's all true. And we also know that she went to at least one of Dusseldorf or Essen." "Exactly," said Gerda, "and if she went to Essen she didn't go to Cologne. So your question is answered, Hans."
(a) Gerda clearly thinks that she and Hans have enough information to resolve the issue of Petra's whereabouts. Decide on the conclusion Gerda thinks is correct and symbolize the argument which leads to that conclusion. Remember to give a clear key.
So far I have..
B = Petra went to Berlin C = Petra went to Cologne D = Petra went to Dusseldorf E = Petra went to Essen. ~ = negation E -> ~C , (D v E) v (D & E) , ~(C & D) , ~ B -> C / B.
What I am confused on is that, is this the way to "symbolize the argument which leads to that conclusion." ?