Video Answer

Hello @Harper-Anderson, Before looking at the answer choices, she made an inference that ended up being the correct answer. This was based on the following premises: PR: MT - - - - > not RAEC QS: MT - - some - - STSP We know two things about mathematicians today. 1. None of them would flatly refuse an enormous computation 2. Some of them believe that a simple theorem should have simple proof. There is a "none" statement and a "some" statement about the same group (MT). Therefore, we know that there is going to be overlap. This gives us our answer: MT - -> not RAEC - - some - - STSP You are correct that A is about mathematicians today. I included it in my diagram as well. In the video, you can see that she did diagram this logic in the top right corner. I think that she left MT out next to A just to highlight the conclusion in its most basic terms: Some people who prefer a short simple proof would not flatly refuse the results of an enormous calculation. Which people? Mathematicians today. It is ok if our diagrams are not always identical. People diagram things in whatever way is easiest for them to understand. As long as you don't make any errors in contrapositives or reversing quantifiers, you can represent logic how you please.

Hi @SamA, I'm a little confused by your chain there. Shouldn't the quantifier be at the left side, matching up the "MT"? STSP --some-- MT --> not RAEC STSP --some-- not RAEC Was that a typo or can we combine it in different ways? Thanks.