Reply

SamA January 20, 2020
Hello @annetr0712,It does matter which variable is negated, because the answer that you first provided does not lead to the conclusion. Let's test it.
P1: A - > not B
P2: A - > not C or C - > not A
C: B - > C
Ok, the conclusion gives us B. From premise 1, we get not A. This is what we need to use to get to the conclusion. With the premise 2 that you provided, not A does not lead to the conclusion. It does not guarantee C.
Here is how we need to approach this problem.
P1: A - > not B
P2: ?
C: B - > C
The conclusion gives us B. From premise 1, we get not A. How can we say that not A leads to C? We can simply write:
not A - > C
or
not C - > A
With the correct answer, not A is sufficient for C. This means that it guarantees the conclusion is properly drawn.
With your previous answer, not A is necessary for C. It does not guarantee the conclusion.