No mathematician today would flatly refuse to accept the results of an enormous computation as an adequate demonstrat...
Harper-AndersonFebruary 19, 2020
Video Answer
Hello!
I don't understand how answer "A" when diagrammed does not include "MT" (mathematicians today).
I see that it is the correct answer after it is diagrammed, but I do not see how she got those variables out of the answer given.
Thank you!
Replies
Create a free account to read and
take part in forum discussions.
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.
Brett-LindsayJuly 16, 2020
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?
