I am very confused with a specific relationship between universal quantifiers and existential quantifiers. This confusion becomes annoying in Assumption Questions. Please help! So, basically this is it:

1. "A-->C + A -->B"

2. "A-->C + A -most->B"

3. "A-->C + A some B"

For each of three given premises, we can conclude the same "B some C" relationship. Though the first part is the same "A-->C", the second part is different. I thought that this difference is understandable, because "A-->B" implies "A-most->B" and "A some B". So, we should have the same conclusion for "B some C". But the problem often arises.

For example, PT 24, LR2, Section 3, Question 19. Sufficient Assumption.

"Every student who walks to school goes home for lunch. It follows that some students who have part-time jobs do not walk to school."

The conclusion of the argument follows logically if which one of the following is assumed?

Premise: Walks to schools-->Goes home for lunch.

Conclusion: Part-time jobs (some) Do not walk to school.

Take the contrapositive of the premise, we have "Do not go home for Lunch--> Do not walk to School"

Now, it becomes clear that he Sufficient Assumption to bridge the gap could be:

1. "Do not go home for lunch (some) Part-time jobs". This is the correct answer choice (d).

(d). Some students who do not go home for lunch have part-time jobs.

2. Do not go home for lunch -most-> Part-time jobs.

3. Do not go home for lunch --> Part-time jobs. (conditional)

If we take the contrapositive of 3, we have "No part-time jobs-->Go home for lunch". The contrapostive is logically equivalent to the original. Now, "No part-time jobs-->Go home for lunch" implies

"No part-time jobs -most-> Go home for lunch." and also implies

"No part-time jobs (some) go home for lunch." (This is exactly what the wrong answer choice A says.)

(a). some students who do not have part-time jobs go home for lunch.

Please help me clear this confusion. Is there anything I misunderstood? I really appreciate your help.

0

3 comments

  • Thursday, Mar 06 2014

    Brilliant! Thank you so much. So the "some" is already the sufficient assumption here. And we can't infer --> back from "some".

    0
  • Thursday, Mar 06 2014

    ok, I see what is going on here...hopefully I can elaborate on this question.

    so the p: W--->L

    c: PT--s-->/W

    we need to find a way to connect the premise and the conclusion right?

    what can I do to make PT--s-->/W from W--->L?

    remember the conclusion, we HAVE to find a way to make PT--s--> /W

    so let's flip the premise, to suit the order of the conclusion.

    /L --->/W

    now we know that there has to be a certain connection between

    /L and (some) PT

    we know that /L can guarantee /W for sure so we have to arrange the (some) PT

    in front of the /L in order to arrive at the /W for the conclusion.

    And since there is "some" factor in the conclusion, we have to arrange it like:

    PT--s-->/L

    let that arrangement sink in for a bit.

    so if PT--s-->/L, we know that /L--->/W as well then it follows

    PT--s-->/L--->/W!

    So the sufficient assumption here is some PT --s-->/L

    But we know that "some" can be stated in either direction (--s--)

    so we can also state some who do not L have PT.

    The reason why (A) is wrong is because it is stating about the students

    who do not have PT and the stimulus is not interested in some students who do not have PT but those who have PT.

    This question is not purely logic based but also about some and most relationship as well.

    0
  • Wednesday, Mar 05 2014

    That was crazy

    0

Confirm action

Are you sure?