20. (E)
Question Type: Matching
This is a tough one because of the quantifier overlap! We can diagram the pattern of reasoning like this:
All M are K
All K are S
Some K are not M
Therefore, some S are not M
Answer (E) matches this pattern:
All B are T
All T are D
Some T are not B
Therefore, some D are not B
By the way, is this logic valid? Let’s try an analogy: If all pants are clothing, and some pants are not denim, then we can certainly conclude that some clothing is not denim.
Notice also that the first part of the argument, that all M are K, doesn’t actually affect the core.
(A) doesn’t match up, and it’s redundant: some D are not C, therefore some D are not C.
(B) is logically flawed: all E is B, and all B are P. Some B are not E, therefore some E is not P. It would be correct if it concluded instead that some P is not E.
(C) is valid, but has slightly different logic. Instead of "all A are B, all B are C," it gives us "all A are B, and all A are C." Tricky!
(D) is logically flawed: All Arc is D, and all D is Art. Some D is not Arc, therefore some Art is not D. It would be correct if it concluded instead that some Art is not Arc.
#officialexplanation