Happy to help. The lesson on quantifiers in the curriculum is an excellent resource for gaining familiarity with solving these types of problems. Reviewing that lesson will undoubtedly help a lot.
In the meantime, let's take a look at this question.
P: X - >C (not C - >not X) P: C: A-some-C
We know that all Xs are Cs, and we need to add a premise to be able to conclude that some As are Cs.
What if some As are Xs (A-some-X)? Well, if some As are Xs, and all Xs are Cs, then we'd definitely be able to conclude that some As are Cs (A-some-C).
P: X - >C (not C - >not X) P: A-some-X C: A-some-C
Thus, (A) is the correct answer choice.
Does this make sense? Let us know if you have any other questions!
