@jaydenca I'm thinking about it this way: I need to know how to take the contrapositive so that I can recognize an alternative version of a claim. So let's say a conclusion in a stimulus is "If it's a dog, then it's a mammal" and the question is to identify what is the conclusion. Most likely they are going to rephrase it to disguise the conclusion using a logical trick, and this is where it's useful to employ the contrapositive. Why? Because it preserves the logical meaning of the conclusion and is just rephrasing it. So I could be faced with the following choice:
A. If it is not a mammal, then it is not a dog.
And I know that that's my answer bc it contraposes the statement: "if it's a dog, then it's a mammal."
But then when do you use the negation? One example is on a question where they ask "which statement, if true, weakens the argument,"you can start by finding a negation to the conditional claim so you can deny the conditional relationship and therefore weaken the argument. Remember, a negation is all about destroying the relationship and a contrapositive is about rephrasing and preserving the validity of a logical relationship.
So let's turn the Jedi example into a question stimulus: To be a Jedi, one must be able to use the Force. After all, the Force is the only known source of power for Jedis in the galaxy.
So if I want to weaken this argument and its conclusion, I need a statement that helps me to achieve its negation, and a possible valid negation is: "Being a Jedi does not require being able to use the Force."
Then I take that negation and I look at my answer choices and find the one that, if true, destroys that conditional relationship by helping me fulfill the negation I came up with. So lets say an answer choice they give me is the following:
D. Instead of the Force, Anakin, a Jedi, has discovered and harnessed the power of the Blob, a new source of power in the galaxy.
This is your correct answer. Why? Because if it's true, it supports the statement (our negation) "Being a Jedi does not require being able to use the Force." Now that Anakin has harnessed the Blob, it's not required for him to use the Force. Boom, conditional relationship negated and destroyed.
TL;DR--finding the negation helps you use it as a metric for questions where you are asked to weaken the argument, because you need to weaken the logical relationship of the conditional. You take the negation of the claim and hold it up to your answer choices and ask "does this answer choice give me the negation?"
A contrapositive helps you rephrase and recognize your claim in other answer choices.
I hope this helps! And if I got something wrong, someone please correct me, I don't want to confuse people.
So basically, everything we learned in quantifiers, we are doing the opposite of it? But how would we know if we need to negate this logic into the LSAT?
@marikitten03 It's not so much about need to, but if you choose to. When reading a stimulus on the LSAT the meaning might come to you immediately from your first glance, but I know from my own personal experience that many times the meaning does not come immediately from first glance. So, to better understand what the stimulus is saying, particularly the conditional relationships, negating or taking the contrapositive helps to clarify what the author is trying to articulate to us.
what I've been doing is turning conditionals into "all" statements. For example "To be a Jedi, one must be able to use the Force" I translate it to "All Jedi use the force". They both diagram to "Jedi -> Force" so i'm assuming I can do this idk tho but it does help me when negating because then I just negate using the "all" negation rule "Some x are not Y". So, it'd be "Some Jedi do not use the force".
I believe this lesson is introducing the idea that not all conditional claims have to be true.
Example: I can make the claim that to go on Love Island, you have to be attractive.
The contrapositive is: If you are not attractive, you cannot go on Love Island.
Meanwhile, the negation is trying to say, "Wait. That's just not true."
The negation would be: It's not the case that if you are not attractive, you cannot go on Love Island. You can go on Love Island and not be attractive. Love Island does not require you to be attractive.
This part of the lesson should be moved earlier in the conditional logic curriculum, before students learn the contrapositive, to avoid confusion. Many people are mixing up negation with the contrapositive.
@AnyahJoseph815 BRO ME TOOOOOOOOOO i feel like he shouldve made that distinction especially after moving on from conditional statements like i was breaking my head
@timwes21 Yeah this is a pretty big oversight. Essentially, A->B is equivalent to /A or B (also called Conditional disintegration), so When you negate (/A or B) your get (A and /B)
can someone explain how this type of negation is not a mistaken negation? How come when we're originally taught about contrapositives, we flip and negate, and for these relationships that's now incorrect?
Hi all, I made another flashcard set. This time for memorizing Quantifiers. Flashcards are what really helped me in undergrad and so I decided to make them to companion my 7sage studies. Thought I'd share to help others who would benefit :) made a folder that I will most likely add more sets to as I go. Much Love and happy studying! https://quizlet.com/user/ehoffmanwallace/folders/lsat-7sage-flashcards
@mattiesas the negation of the whole relationship!
Just like how /A meant the negation of a single condition, the parenthesis show that the negation in /(A->B) applies to the whole relationship rather than just one condition.
@CarlosHernandez03 I'm not entirely certain that that is correct, as our goal in this negation is to deny the conditional relationship; that is, we're trying to say, "We can be A without being B." I believe your statement is saying, "You don't have to be A in order to be B."
The statement, "It is not necessary to be a Jedi to use the force," does not deny the conditional relationship as it is saying, "It is not necessary to be a Jedi to use the force, but you can still be a Jedi and use the force." Therefore, it is not outright denying this conditional relationship, as we're aiming for in negation.
The phrase, "It's not the case that to be a Jedi, one must be able to use the Force," does deny this conditional relationship because it's outright shutting down the idea that there's any causation between Jediship and Force use. "It is not necessary to be a Jedi to use the force," is instead drawing a line in the sand amongst Force users while not denying this causation. Negation is aiming to deny this causation; it's aiming to deny this conditional relationship.
I hope this makes even a lick of sense; logic is incredibly hard to express in English, and I sincerely hope this doesn't come across condescending or overly-corrective in any way! Please give any feedback or thoughts you have!! Have a wonderful day and good luck on your studies!!
I can't seem to understand the difference between negating "all" statements and negating conditional statements. Isn't All A are B (A->B) logically equivalent to If A then B (A-> B)?
@KhushyMandania I was a bit confused by as well as the Lawgic translations are the same but the main difference is the difference in relation it gives between two concepts.
You can see the differences in the negations of each. All A are B is simply stating that relation, for example "All games are fun" so we see with the negation when we deny that relationship we are stating that "it isn't the case that all games are fun" or "Some A are not B" so "Some games are not fun"
Now the difference in a conditional statements is the relationship between the two concepts is different, we are not saying that "All of A is B." We are instead saying "If A happens then B."
Therefore when we deny that relationship in the negation we see the differences there as well. Stating the A is independent of be or "A can occur and B not occur."
"If I find a game is fun then I will play it with my friends"
negation
"One can find a game fun and not play it with friends"
@KhushyMandania The difference is just about whether you are negating the conditional relationship (stating that it is not the case that A is sufficient for B) or negating the "all" statement (stating that it is not the case that ALL members of set A belong to set B). If we take the example of sentence "All dogs are cute" to illustrate this point, if we want to negate the conditional relationship in this sentence, that is to state that it's not sufficient to be a dog in order to be a cute being, we therefore write in Lawgic that we have D conjunction ~C (D and ~C) . It's like saying: "Hey, here's a set in which I have a dog, and look, it's not cute.) Alternatively, if we want to negate the quantifier ALL, meaning that we want to state that NOT ALL dogs are cute, we are therefore saying that some dogs are not cute, which we express in Lawgic by writing D < -- s -- > ~C. So, for all practical purposes, whether we are going to use one kind of negation or the other depends purely on what instructions are we given in English.
@brydon125 Hey ! Could you specify what you mean here? Are you saying that /(A->B) should be /A and B, as opposed to A and /B? I was also a bit confused as to how we're distributing out the contrapositive, but I feel like the statement is correct whichever way, as long as they don't go together, since that's what we're trying to demonstrate.
@businessgoose I came by to see if anyone else had said what @brydon125 did. I think @brydon125's point is that /(J->F) does not strictly require that J and /F be true. J and /F is an interesting case, and a possibility for something that could be true under /(J->F), and in a way that's different than under J->F, but J and /F is not a logical consequence of /(J->F), and cannot be assumed.
@businessgoose Though I think I realized where the authors' confusion may have come from. In a few lessons from now we look at negating the statement "All X-Wings have hyperdrives." If we translate that into Lawgic we might say
X -> H
If we negate that we'll get
/(X->H)
Which is "not all X-Wings have Hyperdrives." And this DOES require that there is one X-Wing that does not have a Hyperdrive, which would be X and /H.
But this is a consequence of the English. If the original statement was "All X-Wings must have Hyperdrives" we'd end up with "It is not the case that all X-Wings must have Hyperdrives." This case does NOT require that an X-Wing without a Hyperdrive must exist, but it does allow for the case.
I think there was some early lesson in Foundations in which J.Y. said something like "subset relationships aren't exactly like conditionals, but for the LSAT you don't need to know the difference." This may be true, but I think this example that the 7Sage authors chose may be breaking that rule.
@iamorganized This issue can come up in quite a few places.
For example, let's say we have a Must Be True question (asking us to pick the answer that MBT based on the given facts). THe stimulus might say:
"Some people think if A is true, B must be true. But that's false."
In that case, the correct answer is likely to come from the idea that "If A, B" is not true. The correct answer might say, "It's possible to have A, but not have B."
Or in an argument-based question, the conclusion might be something like "But the critics are wrong." And to understand that, we have to understand what the critics said. The critics might have said a conditional "All Xs are Y." So to understand what the conclusion means (the critics are wrong), we need to understand that the negation of "All Xs are Y" is "Some Xs are NOT Y."
This is one of the more advanced things the LSAT will require us to do, so it doesn't come up that often. But you'll want to understand how to negate or contradict a conditional on maybe a handful of questions per test.
Contrapositive: Creates equivalent statement. Compared to the original it only provides support, so this helps to make valid inferences from the original conditions.
Must be true question example: To qualify for scholarship, students must have a GPA above 3.5. Bob does not have a GPA above 3.5. (Qualify -> GPA > 3.5)
To know what must be true you need a contrapositive since it provides support to what is known. (/GPA > 3.5 -> /Qualify)
Negation: This purposefully contradicts the original statement. You need this to show what would make the original statement false.
We aren't there yet but this is useful in later lessons like Necessary assumptions to try and destroy an argument.
@BreanaNunez I am confused why wouldn't we negate this as like how we usually do. /sick --> / sleep? How can you tell the difference on which way to make the contrapositive.
@anulirz Hey! so from my understanding... if I were to read out loud /sick -> /sleep it would translate to "if the toddler is not sick then they will not sleep all day", which is completely different from the original statement: "if a toddler is sick then they will want to sleep all day". In this, we are trying to DENY the statement that just because they're sick they will want to sleep all day. How do we deny that? I personally say out loud like okay well that doesn't have to be true the toddler CAN still be sick and NOT want to sleep all day. Then translating to sick AND /sleep. Does that help at all?
172 comments
I was distracted during this lesson because I am trying to figure out when you would need to use a negation like this?
@AmariWilson I tried answering your question in @jaydenca 's question below!
@AmariWilson almost all the time lmao
How would we know when to negate a relationship vs taking the contrapositive? I'm slightly confused about this.
@jaydenca I'm thinking about it this way: I need to know how to take the contrapositive so that I can recognize an alternative version of a claim. So let's say a conclusion in a stimulus is "If it's a dog, then it's a mammal" and the question is to identify what is the conclusion. Most likely they are going to rephrase it to disguise the conclusion using a logical trick, and this is where it's useful to employ the contrapositive. Why? Because it preserves the logical meaning of the conclusion and is just rephrasing it. So I could be faced with the following choice:
A. If it is not a mammal, then it is not a dog.
And I know that that's my answer bc it contraposes the statement: "if it's a dog, then it's a mammal."
But then when do you use the negation? One example is on a question where they ask "which statement, if true, weakens the argument," you can start by finding a negation to the conditional claim so you can deny the conditional relationship and therefore weaken the argument. Remember, a negation is all about destroying the relationship and a contrapositive is about rephrasing and preserving the validity of a logical relationship.
So let's turn the Jedi example into a question stimulus: To be a Jedi, one must be able to use the Force. After all, the Force is the only known source of power for Jedis in the galaxy.
So if I want to weaken this argument and its conclusion, I need a statement that helps me to achieve its negation, and a possible valid negation is: "Being a Jedi does not require being able to use the Force."
Then I take that negation and I look at my answer choices and find the one that, if true, destroys that conditional relationship by helping me fulfill the negation I came up with. So lets say an answer choice they give me is the following:
D. Instead of the Force, Anakin, a Jedi, has discovered and harnessed the power of the Blob, a new source of power in the galaxy.
This is your correct answer. Why? Because if it's true, it supports the statement (our negation) "Being a Jedi does not require being able to use the Force." Now that Anakin has harnessed the Blob, it's not required for him to use the Force. Boom, conditional relationship negated and destroyed.
TL;DR--finding the negation helps you use it as a metric for questions where you are asked to weaken the argument, because you need to weaken the logical relationship of the conditional. You take the negation of the claim and hold it up to your answer choices and ask "does this answer choice give me the negation?"
A contrapositive helps you rephrase and recognize your claim in other answer choices.
I hope this helps! And if I got something wrong, someone please correct me, I don't want to confuse people.
So basically, everything we learned in quantifiers, we are doing the opposite of it? But how would we know if we need to negate this logic into the LSAT?
@marikitten03 It's not so much about need to, but if you choose to. When reading a stimulus on the LSAT the meaning might come to you immediately from your first glance, but I know from my own personal experience that many times the meaning does not come immediately from first glance. So, to better understand what the stimulus is saying, particularly the conditional relationships, negating or taking the contrapositive helps to clarify what the author is trying to articulate to us.
what I've been doing is turning conditionals into "all" statements. For example "To be a Jedi, one must be able to use the Force" I translate it to "All Jedi use the force". They both diagram to "Jedi -> Force" so i'm assuming I can do this idk tho but it does help me when negating because then I just negate using the "all" negation rule "Some x are not Y". So, it'd be "Some Jedi do not use the force".
Original—A → B
To be a Jedi, one must be able to use the Force.
Contrapositive = equivalent
/B → /A
If you can't use the Force, you're not a Jedi.
Inverse ✗ not equiv.
/A → /B
If you're not a Jedi, you can't use the Force.
Negation severs the link
A and /B
One can be a Jedi without being able to use the Force
I believe this lesson is introducing the idea that not all conditional claims have to be true.
Example: I can make the claim that to go on Love Island, you have to be attractive.
The contrapositive is: If you are not attractive, you cannot go on Love Island.
Meanwhile, the negation is trying to say, "Wait. That's just not true."
The negation would be: It's not the case that if you are not attractive, you cannot go on Love Island. You can go on Love Island and not be attractive. Love Island does not require you to be attractive.
@DevanshiPatel thanks, now i can go to love island
@DevanshiPatel makes sm more sense lol thanks!!!!
This part of the lesson should be moved earlier in the conditional logic curriculum, before students learn the contrapositive, to avoid confusion. Many people are mixing up negation with the contrapositive.
Not sure if this is an accurate translation but I also think of it as: To be a Jedi, one does not have to necessarily be able to use the force.
Which gets at the idea that one can be a Jedi and not be able to use the force.
"To be a Jedi, one must not be able to use the Force" melted my brain so hard
@yesterdayseeker
Is saying A can not occur and B can occur (/A and B) still a negation of the conditional instead of saying A can occur and B not occur (A and /B)?
@yougotthis! I have the same question!
I think this whole time I have been using contrapositive and negation as equivalents when they are not.
@AnyahJoseph815 BRO ME TOOOOOOOOOO i feel like he shouldve made that distinction especially after moving on from conditional statements like i was breaking my head
How is an arrow negated to an “and” this was not covered before
@timwes21 Yeah this is a pretty big oversight. Essentially, A->B is equivalent to /A or B (also called Conditional disintegration), so When you negate (/A or B) your get (A and /B)
does "some A are not B" or "A <-s-> /B" work here as well? (Some Jedis do not have to use the force..?}
can someone explain how this type of negation is not a mistaken negation? How come when we're originally taught about contrapositives, we flip and negate, and for these relationships that's now incorrect?
@gbeeven because this is for negation not contrapositives. A user named Johnathan Kailey has a good explanation below.
@ShortBee that helped sm!! thank u!
@gbeeven Negation of a relationship between two claims is not the same thing as taking the contrapositive of a concept.
The contrapositive of A --> B is /B --> /A...these two statements are logically equivalent.
The negation of A --> B is that just because A happens, that does not necessarily mean B has to happen.
Example: To pass the bar, one must be a lawyer.
Negation: It is not the case that to pass the bar, one must be a lawyer.
Lawgic: pass bar --> be lawyer
pass bar and /be lawyer
the trap is definitely trapping
Hi all, I made another flashcard set. This time for memorizing Quantifiers. Flashcards are what really helped me in undergrad and so I decided to make them to companion my 7sage studies. Thought I'd share to help others who would benefit :) made a folder that I will most likely add more sets to as I go. Much Love and happy studying! https://quizlet.com/user/ehoffmanwallace/folders/lsat-7sage-flashcards
What does /(A->B) mean
@mattiesas the negation of the whole relationship!
Just like how /A meant the negation of a single condition, the parenthesis show that the negation in /(A->B) applies to the whole relationship rather than just one condition.
IS this a correct negation?
You can be a Jedi but not be able to use the Force
It is not necessary to be a Jedi to use the force
Is that correct? Flows better to me
@CarlosHernandez03 I'm not entirely certain that that is correct, as our goal in this negation is to deny the conditional relationship; that is, we're trying to say, "We can be A without being B." I believe your statement is saying, "You don't have to be A in order to be B."
The statement, "It is not necessary to be a Jedi to use the force," does not deny the conditional relationship as it is saying, "It is not necessary to be a Jedi to use the force, but you can still be a Jedi and use the force." Therefore, it is not outright denying this conditional relationship, as we're aiming for in negation.
The phrase, "It's not the case that to be a Jedi, one must be able to use the Force," does deny this conditional relationship because it's outright shutting down the idea that there's any causation between Jediship and Force use. "It is not necessary to be a Jedi to use the force," is instead drawing a line in the sand amongst Force users while not denying this causation. Negation is aiming to deny this causation; it's aiming to deny this conditional relationship.
I hope this makes even a lick of sense; logic is incredibly hard to express in English, and I sincerely hope this doesn't come across condescending or overly-corrective in any way! Please give any feedback or thoughts you have!! Have a wonderful day and good luck on your studies!!
I can't seem to understand the difference between negating "all" statements and negating conditional statements. Isn't All A are B (A->B) logically equivalent to If A then B (A-> B)?
@KhushyMandania I was a bit confused by as well as the Lawgic translations are the same but the main difference is the difference in relation it gives between two concepts.
You can see the differences in the negations of each. All A are B is simply stating that relation, for example "All games are fun" so we see with the negation when we deny that relationship we are stating that "it isn't the case that all games are fun" or "Some A are not B" so "Some games are not fun"
Now the difference in a conditional statements is the relationship between the two concepts is different, we are not saying that "All of A is B." We are instead saying "If A happens then B."
Therefore when we deny that relationship in the negation we see the differences there as well. Stating the A is independent of be or "A can occur and B not occur."
"If I find a game is fun then I will play it with my friends"
negation
"One can find a game fun and not play it with friends"
@DouglasNeumeyer Thanks so much for the clarification. It was super helpful!!
@KhushyMandania The difference is just about whether you are negating the conditional relationship (stating that it is not the case that A is sufficient for B) or negating the "all" statement (stating that it is not the case that ALL members of set A belong to set B). If we take the example of sentence "All dogs are cute" to illustrate this point, if we want to negate the conditional relationship in this sentence, that is to state that it's not sufficient to be a dog in order to be a cute being, we therefore write in Lawgic that we have D conjunction ~C (D and ~C) . It's like saying: "Hey, here's a set in which I have a dog, and look, it's not cute.) Alternatively, if we want to negate the quantifier ALL, meaning that we want to state that NOT ALL dogs are cute, we are therefore saying that some dogs are not cute, which we express in Lawgic by writing D < -- s -- > ~C. So, for all practical purposes, whether we are going to use one kind of negation or the other depends purely on what instructions are we given in English.
@Stannis Ah I get it! thanksss
Isn't it inaccurate to say that /(A->B) translates to A ^/B?
Like, /(A->B) does NOT imply A. It could be /A.
We could still say that if /(A -> B) then A^/B could be true, but there is not a biconditional between the two statements.
It is true that A^/B -> /(A -> B) though.
@brydon125 Hey ! Could you specify what you mean here? Are you saying that /(A->B) should be /A and B, as opposed to A and /B? I was also a bit confused as to how we're distributing out the contrapositive, but I feel like the statement is correct whichever way, as long as they don't go together, since that's what we're trying to demonstrate.
@businessgoose I came by to see if anyone else had said what @brydon125 did. I think @brydon125's point is that /(J->F) does not strictly require that J and /F be true. J and /F is an interesting case, and a possibility for something that could be true under /(J->F), and in a way that's different than under J->F, but J and /F is not a logical consequence of /(J->F), and cannot be assumed.
@businessgoose Though /(A->B) IS a logical consequence of the truth of A and /B.
(A and /B) -> /(A->B)
@businessgoose Though I think I realized where the authors' confusion may have come from. In a few lessons from now we look at negating the statement "All X-Wings have hyperdrives." If we translate that into Lawgic we might say
X -> H
If we negate that we'll get
/(X->H)
Which is "not all X-Wings have Hyperdrives." And this DOES require that there is one X-Wing that does not have a Hyperdrive, which would be X and /H.
But this is a consequence of the English. If the original statement was "All X-Wings must have Hyperdrives" we'd end up with "It is not the case that all X-Wings must have Hyperdrives." This case does NOT require that an X-Wing without a Hyperdrive must exist, but it does allow for the case.
I think there was some early lesson in Foundations in which J.Y. said something like "subset relationships aren't exactly like conditionals, but for the LSAT you don't need to know the difference." This may be true, but I think this example that the 7Sage authors chose may be breaking that rule.
@ToweringTextbooks Thank you for writing out this reply/explanation!! The specification really helps.
can someone let me know what is the significance of this : ' (
@iamorganized This issue can come up in quite a few places.
For example, let's say we have a Must Be True question (asking us to pick the answer that MBT based on the given facts). THe stimulus might say:
"Some people think if A is true, B must be true. But that's false."
In that case, the correct answer is likely to come from the idea that "If A, B" is not true. The correct answer might say, "It's possible to have A, but not have B."
Or in an argument-based question, the conclusion might be something like "But the critics are wrong." And to understand that, we have to understand what the critics said. The critics might have said a conditional "All Xs are Y." So to understand what the conclusion means (the critics are wrong), we need to understand that the negation of "All Xs are Y" is "Some Xs are NOT Y."
This is one of the more advanced things the LSAT will require us to do, so it doesn't come up that often. But you'll want to understand how to negate or contradict a conditional on maybe a handful of questions per test.
@Kevin_Lin Ohhh I see thank you!
So I think for contrapositive and negation
Contrapositive: Creates equivalent statement. Compared to the original it only provides support, so this helps to make valid inferences from the original conditions.
Must be true question example: To qualify for scholarship, students must have a GPA above 3.5. Bob does not have a GPA above 3.5. (Qualify -> GPA > 3.5)
To know what must be true you need a contrapositive since it provides support to what is known. (/GPA > 3.5 -> /Qualify)
Negation: This purposefully contradicts the original statement. You need this to show what would make the original statement false.
We aren't there yet but this is useful in later lessons like Necessary assumptions to try and destroy an argument.
Denying/negating the relationship means the sufficient condition can exist without the necessary condition
@VanillaCat ooo i like this thank you
if a toddler is sick then they will want to sleep all day
sick -> sleep
a toddler can be sick and not want to sleep all day
sick and /sleep
@BreanaNunez I am confused why wouldn't we negate this as like how we usually do. /sick --> / sleep? How can you tell the difference on which way to make the contrapositive.
@anulirz Hey! so from my understanding... if I were to read out loud /sick -> /sleep it would translate to "if the toddler is not sick then they will not sleep all day", which is completely different from the original statement: "if a toddler is sick then they will want to sleep all day". In this, we are trying to DENY the statement that just because they're sick they will want to sleep all day. How do we deny that? I personally say out loud like okay well that doesn't have to be true the toddler CAN still be sick and NOT want to sleep all day. Then translating to sick AND /sleep. Does that help at all?